Introduction |
Organizing Committee |
Program Committee |
Reviewers |
Tutorial |
Timed Multi-Threaded Formal Object Modeling Techniques / Jin Song Dong |
Application of Formal Methods to Railway Systems / Jim Woodcock |
Global Information Processing Technology |
Opening Address / Kenji Ohmori |
Invited Speech |
Complexity: Concept, Causes and Control / John A. McDermid |
Reactive Systems |
Managing Complexity in Real-Time Reactive Systems / V. Alagar ; O. Ormandjieva ; M. Zheng |
Verification Criteria for a Compositional Model for Reactive Systems / P. Bellini ; M. Bruno ; P. Nesi |
Dependability Engineering of Complex Computing Systems / M. Kaaniche ; J.-C. Laprie ; J.-P. Blanquart |
Parallel Sessions |
System Modeling / Jeff A. OffuttSession 1: |
Domain Modeling of Software Process Models / H. Gomaa ; L. Kerschberg ; G. Farrukh |
Integration of the Domain Modeling Method for Families of Systems with the SOFL Formal Specification Language / S. Liu ; M. Shin |
Experience Using Formal Methods for Specifying a Multi-Agent System / C. Rouff ; J. Rash ; M. Hinchey |
Special Session: Network Software I / Yasushi WakaharaSession 2: |
Engineering Software for the Net / Tadashi Ohta ; Mauro Pezze |
Systems Development / Paolo Nesi |
Distributed Development of Complex Software Systems with Object Make / Y. Sugiyama |
An Intelligent-Agent Based Decision Support System for a Complex Command and Control Application / P. Petrov ; A. Stoyen |
Using the Right Tool for the Job / W. Howerton |
Special Session: Network Software II |
Interworking among Intelligent Networks and Different Networks: Service Control Interfaces and Their Applications / R. Takeuchi ; A. Miura ; M. Yoshimi |
Mobile IP Route Optimization Method for a Carrier-Scale IP Network / T. Ihara ; H. Ohnishi ; Y. Takagi |
Multiple Backup Virtual Paths Reservation Problem and Its Solution / S. Inoue ; Y. Kakuda |
PNNI Data Management for Dynamic Routing in ATM Network / H.-S. Shin |
Closing Address / Yoshiaki Kakuda |
Overcoming Software Complexity by Constructing Abstraction Hierarchies--The Principles and Applications / Shaoying Liu ; Tosiyasu L. Kunii ; Masayuki Hisada |
Embedded, Concurrent, and Distributed Systems / Yoshinori Yamaguchi |
Definitions of Equivalence for Transformational Synthesis of Embedded Systems / L. Cortes ; P. Eles ; Z. Peng |
Scalable Data Mining with Log Based Consistency DSM for High Performance Distributed Computing / H. Hirayama ; H. Honda ; T. Yuba |
Concurrent Programming Made Easy / R. Ramirez ; A. Santosa ; R. Yap |
Special Session: Formal Engineering Method--SOFL |
SOFL Language and Method for Software Development |
Reusable Semantics for SOFL / J. Dong |
Generating Test Data from SOFL Specifications / J. Offutt |
Software Verification, Management, and Business Application Using SOFL / H. Tomioka ; F. Nagoya |
Dynamically Detecting Relevant Program Invariants / Alexander D. Stoyen ; David Notkin |
Testing and Verification |
A Test Class Framework for Generating Test Cases from Z Specifications / M. Huaikou ; L. Ling |
An Analysis Tool for Coupling-Based Integration Testing / A. Abdurazik ; R. Alexander |
Evaluation of Three Specification-Based Testing Criteria / P. Ammann ; W. Ding |
Automated Result Verification with AWK / B. Bakar ; T. Janowski |
Principles and Mechnisms for Evolving Software Systems: A Report from a Project on Software Evolution Principles / Tetsuo Tamai ; Takuya Katayama |
Communication and Control Systems / Kenji Toda |
Reducation of the Number of Terminal Assisgnments for Detecting Feature Interactions in Telecommunication Services / T. Yoneda ; T. Ohta |
A Flexible Scheduling for Automobile Control Using Imprecise Computation and Its Fundamental Evaluation / F. Nakanishi ; S. Hiraike ; K. Toda |
New Measure and Experimental Evaluation for Multiagent-Based Reservation of Backup Virtual Paths in ATM Networks / M. Terabe |
Cost Models for Electronic Architecture Trade Studies / J. Axelsson |
Panel--Software Complexity of the Net |
Author Index |