6. ICECCS 2000: Tokyo, Japan

@proceedings{DBLP:conf/iceccs/2000,
  title     = {6th International Conference on Engineering of Complex Computer
               Systems (ICECCS 2000), 11-15 September 2000, Tokyo, Japan},
  booktitle = {ICECCS},
  publisher = {IEEE Computer Society},
  year      = {2000},
  isbn      = {0-7695-0583-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Speech

• John A. McDermid:
  Complexity: Concept, Causes and Control. 2-
  

Reactive Systems

• Vangalur S. Alagar, Olga Ormandjieva, Mao Zheng:
  Managing Complexity in Real-Time Reactive Systems. 12-24
  
• Pierfrancesco Bellini, Mario Andres Bruno, Paolo Nesi:
  Verification Criteria for a Compositional Model for Reactive Systems. 25-35
  
• Mohamed Kaâniche, Jean-Claude Laprie, Jean-Paul Blanquart:
  Dependability Engineering of Complex Computing Systems. 36-
  

System Modeling

• Hassan Gomaa, Larry Kerschberg, Ghulam A. Farrukh:
  Domain Modeling of Software Process Models. 50-60
  
• Hassan Gomaa, Shaoying Liu, Michael E. Shin:
  Integration of the Domain Modeling Method for Families of Systems with the SOFL Formal Specification Language. 61-71
  
• Christopher Rouff, James L. Rash, Michael G. Hinchey:
  Experience Using Formal Methods for Specifying a Multi-Agent System. 72-
  

Systems Development

• Yasuhiro Sugiyama:
  Distributed Development of Complex Software Systems with Object Make. 82-93
  
• Plamen V. Petrov, Alexander D. Stoyen:
  An Intelligent-Agent Based Decision Support System for a Complex Command and Control Application. 94-104
  
• William G. Howerton, Michael G. Hinchey:
  Using the Right Tool for the Job. 105-
  

Special Session: Network Software II

• Ryo Takeuchi, Akira Miura, Masanobu Yoshimi:
  Interworking among Intelligent Networks and Different Networks: Service Control Interfaces and Their Applications. 118-119
  
• Takeshi Ihara, Hiroyuki Ohnishi, Yasushi Takagi:
  Mobile IP Route Optimization Method for a Carrier-Scale IP Network. 120-121
  
• Shinji Inoue, Yoshiaki Kakuda:
  Multiple Backup Virtual Paths Reservation Problem and Its Solution. 122-
  

Invited Speech

• Tosiyasu L. Kunii, Masayuki Hisada:
  Overcoming Software Complexity by Constructing Abstraction Hierarchies - The Principles and Applications. 126-
  

Embedded, Concurrent, and Distributed Systems

• Luis Alejandro Cortés, Petru Eles, Zebo Peng:
  Definitions of Equivalence for Transformational Synthesis of Embedded Systems. 134-142
  
• Hideaki Hirayama, Hiroki Honda, Toshitsugu Yuba:
  Scalable Data Mining with Log Based Consistency DSM for High Performance Distributed Computing. 143-150
  
• Rafael Ramirez, Andrew E. Santosa, Roland H. C. Yap:
  Concurrent Programming Made Easy. 151-
  

Invited Speech

• David Notkin:
  Dynamically Detecting Relevant Program Invariants. 162-
  

Testing and Verification

• Huaikou Miao, Ling Liu:
  A Test Class Framework for Generating Test Cases from Z Specifications. 164-171
  
• A. Jefferson Offutt, Aynur Abdurazik, Roger T. Alexander:
  An Analysis Tool for Coupling-Based Integration Testing. 172-178
  
• Aynur Abdurazik, Paul Ammann, Wei Ding, A. Jefferson Offutt:
  Evaluation of Three Specification-Based Testing Criteria. 179-187
  
• Balkhis Abu Bakar, Tomasz Janowski:
  Automated Result Verification with AWK. 188-
  

Invited Speech

• Takuya Katayama:
  Principles and Mechnisms for Evolving Software Systems: A Report from a Project on Software Evolution Principles. 200-
  

Communication and Control Systems

• Tae Yoneda, Tadashi Ohta:
  Reduction of the Number of Terminal Assisgnments for Detecting Feature Interactions in Telecommuncation Services. 202-209
  
• Fuminori Nakanishi, Shinnya Hiraike, Shinji Inoue, Yoshiaki Kakuda, Kenji Toda:
  A Flexible Scheduling for Automobile Control Using Imprecise Computation and Its Fundamental Evaluation. 210-217
  
• S. Inoue, Y. Kakuda, M. Terabe:
  New Measure and Experimental Evaluation for Multiagent-Based Reservation of Backup Virtual Paths in ATM Networks. 218-228
  
• Jakob Axelsson:
  Cost Models for Electronic Architecture Trade Studies. 229-