| 2000 | 6th International Conference on Engineering of Complex Computer Systems (ICECCS 2000), 11-15 September 2000, Tokyo, Japan |
| 2000 | A Flexible Scheduling for Automobile Control Using Imprecise Computation and Its Fundamental Evaluation. Fuminori Nakanishi, Shinnya Hiraike, Shinji Inoue, Yoshiaki Kakuda, Kenji Toda |
| 2000 | A Test Class Framework for Generating Test Cases from Z Specifications. Huaikou Miao, Ling Liu |
| 2000 | An Analysis Tool for Coupling-Based Integration Testing. A. Jefferson Offutt, Aynur Abdurazik, Roger T. Alexander |
| 2000 | An Intelligent-Agent Based Decision Support System for a Complex Command and Control Application. Plamen V. Petrov, Alexander D. Stoyen |
| 2000 | Automated Result Verification with AWK. Balkhis Abu Bakar, Tomasz Janowski |
| 2000 | Complexity: Concept, Causes and Control. John Alexander McDermid |
| 2000 | Concurrent Programming Made Easy. Rafael Ramírez, Andrew E. Santosa, Roland H. C. Yap |
| 2000 | Cost Models for Electronic Architecture Trade Studies. Jakob Axelsson |
| 2000 | Definitions of Equivalence for Transformational Synthesis of Embedded Systems. Luis Alejandro Cortés, Petru Eles, Zebo Peng |
| 2000 | Dependability Engineering of Complex Computing Systems. Mohamed Kaâniche, Jean-Claude Laprie, Jean-Paul Blanquart |
| 2000 | Distributed Development of Complex Software Systems with Object Make. Yasuhiro Sugiyama |
| 2000 | Domain Modeling of Software Process Models. Hassan Gomaa, Larry Kerschberg, Ghulam A. Farrukh |
| 2000 | Dynamically Detecting Relevant Program Invariants. David Notkin |
| 2000 | Evaluation of Three Specification-Based Testing Criteria. Aynur Abdurazik, Paul Ammann, Wei Ding, A. Jefferson Offutt |
| 2000 | Experience Using Formal Methods for Specifying a Multi-Agent System. Christopher A. Rouff, James L. Rash, Michael G. Hinchey |
| 2000 | Integration of the Domain Modeling Method for Families of Systems with the SOFL Formal Specification Language. Hassan Gomaa, Shaoying Liu, Michael E. Shin |
| 2000 | Interworking among Intelligent Networks and Different Networks: Service Control Interfaces and Their Applications. Ryo Takeuchi, Akira Miura, Masanobu Yoshimi |
| 2000 | Managing Complexity in Real-Time Reactive Systems. Vangalur S. Alagar, Olga Ormandjieva, Mao Zheng |
| 2000 | Mobile IP Route Optimization Method for a Carrier-Scale IP Network. Takeshi Ihara, Hiroyuki Ohnishi, Yasushi Takagi |
| 2000 | Multiple Backup Virtual Paths Reservation Problem and Its Solution. Shinji Inoue, Yoshiaki Kakuda |
| 2000 | New Measure and Experimental Evaluation for Multiagent-Based Reservation of Backup Virtual Paths in ATM Networks. Shinji Inoue, Yoshiaki Kakuda, Masahiro Terabe |
| 2000 | Overcoming Software Complexity by Constructing Abstraction Hierarchies - The Principles and Applications. Tosiyasu L. Kunii, Masayuki Hisada |
| 2000 | Principles and Mechnisms for Evolving Software Systems: A Report from a Project on Software Evolution Principles. Takuya Katayama |
| 2000 | Reduction of the Number of Terminal Assisgnments for Detecting Feature Interactions in Telecommuncation Services. Tae Yoneda, Tadashi Ohta |
| 2000 | Scalable Data Mining with Log Based Consistency DSM for High Performance Distributed Computing. Hideaki Hirayama, Hiroki Honda, Toshitsugu Yuba |
| 2000 | Using the Right Tool for the Job. William G. Howerton, Michael G. Hinchey |
| 2000 | Verification Criteria for a Compositional Model for Reactive Systems. Pierfrancesco Bellini, Mario Andres Bruno, Paolo Nesi |