Abstract is missing.
- Complexity: Concept, Causes and ControlJohn A. McDermid. 2 [doi]
- Managing Complexity in Real-Time Reactive SystemsVangalur S. Alagar, Olga Ormandjieva, Mao Zheng. 12-24 [doi]
- Verification Criteria for a Compositional Model for Reactive SystemsPierfrancesco Bellini, Mario Andres Bruno, Paolo Nesi. 25-35 [doi]
- Dependability Engineering of Complex Computing SystemsMohamed Kaâniche, Jean-Claude Laprie, Jean-Paul Blanquart. 36 [doi]
- Domain Modeling of Software Process ModelsHassan Gomaa, Larry Kerschberg, Ghulam A. Farrukh. 50-60 [doi]
- Integration of the Domain Modeling Method for Families of Systems with the SOFL Formal Specification LanguageHassan Gomaa, Shaoying Liu, Michael E. Shin. 61-71 [doi]
- Experience Using Formal Methods for Specifying a Multi-Agent SystemChristopher Rouff, James L. Rash, Michael G. Hinchey. 72 [doi]
- Distributed Development of Complex Software Systems with Object MakeYasuhiro Sugiyama. 82-93 [doi]
- An Intelligent-Agent Based Decision Support System for a Complex Command and Control ApplicationPlamen V. Petrov, Alexander D. Stoyen. 94-104 [doi]
- Using the Right Tool for the JobWilliam G. Howerton, Michael G. Hinchey. 105 [doi]
- Interworking among Intelligent Networks and Different Networks: Service Control Interfaces and Their ApplicationsRyo Takeuchi, Akira Miura, Masanobu Yoshimi. 118-119 [doi]
- Mobile IP Route Optimization Method for a Carrier-Scale IP NetworkTakeshi Ihara, Hiroyuki Ohnishi, Yasushi Takagi. 120-121 [doi]
- Multiple Backup Virtual Paths Reservation Problem and Its SolutionShinji Inoue, Yoshiaki Kakuda. 122 [doi]
- Overcoming Software Complexity by Constructing Abstraction Hierarchies - The Principles and ApplicationsTosiyasu L. Kunii, Masayuki Hisada. 126 [doi]
- Definitions of Equivalence for Transformational Synthesis of Embedded SystemsLuis Alejandro Cortés, Petru Eles, Zebo Peng. 134-142 [doi]
- Scalable Data Mining with Log Based Consistency DSM for High Performance Distributed ComputingHideaki Hirayama, Hiroki Honda, Toshitsugu Yuba. 143-150 [doi]
- Concurrent Programming Made EasyRafael Ramirez, Andrew E. Santosa, Roland H. C. Yap. 151 [doi]
- Dynamically Detecting Relevant Program InvariantsDavid Notkin. 162 [doi]
- A Test Class Framework for Generating Test Cases from Z SpecificationsHuaikou Miao, Ling Liu. 164-171 [doi]
- An Analysis Tool for Coupling-Based Integration TestingA. Jefferson Offutt, Aynur Abdurazik, Roger T. Alexander. 172-178 [doi]
- Evaluation of Three Specification-Based Testing CriteriaAynur Abdurazik, Paul Ammann, Wei Ding, A. Jefferson Offutt. 179-187 [doi]
- Automated Result Verification with AWKBalkhis Abu Bakar, Tomasz Janowski. 188 [doi]
- Principles and Mechnisms for Evolving Software Systems: A Report from a Project on Software Evolution PrinciplesTakuya Katayama. 200 [doi]
- Reduction of the Number of Terminal Assisgnments for Detecting Feature Interactions in Telecommuncation ServicesTae Yoneda, Tadashi Ohta. 202-209 [doi]
- A Flexible Scheduling for Automobile Control Using Imprecise Computation and Its Fundamental EvaluationFuminori Nakanishi, Shinnya Hiraike, Shinji Inoue, Yoshiaki Kakuda, Kenji Toda. 210-217 [doi]
- New Measure and Experimental Evaluation for Multiagent-Based Reservation of Backup Virtual Paths in ATM NetworksS. Inoue, Y. Kakuda, M. Terabe. 218-228 [doi]
- Cost Models for Electronic Architecture Trade StudiesJakob Axelsson. 229 [doi]