1. Home
  2. Proceedings
  3. ICECCS
  4. ICECCS 2000
Default Cover Image

Engineering of Complex Computer Systems, IEEE International Conference on

Sept. 11 2000 to Sept. 15 2000

Tokyo, Japan

ISBN: 0-7695-0583-X

Table of Contents

Sixth IEEE International Conference On Engineering Of Complex Computer SystemsFreely available from IEEE.pp. iii,iv,v,vi,vii,viii
IntroductionFreely available from IEEE.pp. ix
Organizing CommitteeFreely available from IEEE.pp. x
Program CommitteeFreely available from IEEE.pp. xi
ReviewersFreely available from IEEE.pp. xiii
Invited Speech
Complexity: Concept, Causes and ControlFull-text access may be available. Sign in or learn about subscription options.pp. 0002
by J.A. McDermid
Reactive Systems
Managing Complexity in Real-Time Reactive SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 0012
by V.S. Alagar, O. Ormandjieva, M. Zheng
Reactive Systems
Verification Criteria for a Compositional Model for Reactive SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 0025
by P. Bellini, M.A. Bruno, P. Nesi
Reactive Systems
Dependability Engineering of Complex Computing SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 0036
by M. Kaaniche, J.-C. Laprie, J.-P. Blanquart
Session 1 - System Modeling
Domain Modeling of Software Process ModelsFull-text access may be available. Sign in or learn about subscription options.pp. 0050
by H. Gomaa, L. Kerschberg, G.A. Farrukh
Session 1 - System Modeling
Integration of the Domain Modeling Method for Families of Systems with the SOFL Formal Specification LanguageFull-text access may be available. Sign in or learn about subscription options.pp. 0061
by H. Gomaa, Shaoying Liu, M.E. Shin
Session 1 - System Modeling
Experience Using Formal Methods for Specifying a Multi-Agent SystemFull-text access may be available. Sign in or learn about subscription options.pp. 0072
by C. Rouff, J. Rash, M.G. Hinchey
Proceedings 2000 International Conference on Parallel ProcessingFreely available from IEEE.pp. 229-229
Session 1 - Systems Development
Distributed Development of Complex Software Systems with Object MakeFull-text access may be available. Sign in or learn about subscription options.pp. 0082
by Y. Sugiyama
Session 1 - Systems Development
An Intelligent-Agent Based Decision Support System for a Complex Command and Control ApplicationFull-text access may be available. Sign in or learn about subscription options.pp. 0094
by P.V. Petrov, A.D. Stoyen
Session 1 - Systems Development
Using the Right Tool for the JobFull-text access may be available. Sign in or learn about subscription options.pp. 0105
by W.G. Howerton, M.G. Hinchey
Session 2 - Special Session: Network Software II
Interworking among Intelligent Networks and Different Networks: Service Control Interfaces and Their ApplicationsFull-text access may be available. Sign in or learn about subscription options.pp. 0118
by R. Takeuchi, A. Miura, M. Yoshimi
Session 2 - Special Session: Network Software II
Mobile IP Route Optimization Method for a Carrier-Scale IP NetworkFull-text access may be available. Sign in or learn about subscription options.pp. 0120
by T. Ihara, H. Ohnishi, Y. Takagi
Session 2 - Special Session: Network Software II
Multiple Backup Virtual Paths Reservation Problem and Its SolutionFull-text access may be available. Sign in or learn about subscription options.pp. 0122
by S. Inoue, Y. Kakuda
Session 2 - Special Session: Network Software II
PNNI Data Management for Dynamic Routing in ATM NetworkFull-text access may be available. Sign in or learn about subscription options.
by H.-S. Shin
Invited Speech
Overcoming Software Complexity by Constructing Abstraction Hierarchies - The Principles and ApplicationsFull-text access may be available. Sign in or learn about subscription options.pp. 0126
by T.L. Kunii, M. Hisada
Session 1 - Embedded, Concurrent, and Distributed Systems
Definitions of Equivalence for Transformational Synthesis of Embedded SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 0134
by L.A. Cortes, P. Eles, Zebo Peng
Session 1 - Embedded, Concurrent, and Distributed Systems
Scalable Data Mining with Log Based Consistency DSM for High Performance Distributed ComputingFull-text access may be available. Sign in or learn about subscription options.pp. 0143
by H. Hirayama, H. Honda, T. Yuba
Session 1 - Embedded, Concurrent, and Distributed Systems
Concurrent Programming Made EasyFull-text access may be available. Sign in or learn about subscription options.pp. 0151
by R. Ramirez, A.E. Santosa, R.H.C. Yap
Session 2 - Special Session: Formal Engineering Method - SOFL
Software Verification, Management, and Business Application Using SOFLFull-text access may be available. Sign in or learn about subscription options.
by H. Tomioka, F. Nagoya
Invited Speech
Dynamically Detecting Relevant Program InvariantsFull-text access may be available. Sign in or learn about subscription options.pp. 0162
by David Notkin
Testing and Verification
A Test Class Framework for Generating Test Cases from Z SpecificationsFull-text access may be available. Sign in or learn about subscription options.pp. 0164
by Miao Huaikou, Liu Ling
Testing and Verification
An Analysis Tool for Coupling-Based Integration TestingFull-text access may be available. Sign in or learn about subscription options.pp. 0172
by A.J. Offutt, A. Abdurazik, R.T. Alexander
Testing and Verification
Evaluation of Three Specification-Based Testing CriteriaFull-text access may be available. Sign in or learn about subscription options.pp. 0179
by A. Abdurazik, P. Ammann, Wei Ding, J. Offutt
Testing and Verification
Automated Result Verification with AWKFull-text access may be available. Sign in or learn about subscription options.pp. 0188
by B.A. Bakar, T. Janowski
Principles and mechanisms for evolving software systemsFull-text access may be available. Sign in or learn about subscription options.pp. 200-200
by T. Katayama
Communication and Control Systems
Reduction of the Number of Terminal Assisgnments for Detecting Feature Interactions in Telecommuncation ServicesFull-text access may be available. Sign in or learn about subscription options.pp. 0202
by T. Yoneda, T. Ohta
Communication and Control Systems
A Flexible Scheduling for Automobile Control Using Imprecise Computation and Its Fundamental EvaluationFull-text access may be available. Sign in or learn about subscription options.pp. 0210
by F. Nakanishi, S. Hiraike, S. Inoue, Y. Kakuda, K. Toda
Communication and Control Systems
New Measure and Experimental Evaluation for Multiagent-Based Reservation of Backup Virtual Paths in ATM NetworksFull-text access may be available. Sign in or learn about subscription options.pp. 218
by S. Inoue, Y. Kakuda, M. Terabe
Communication and Control Systems
Cost Models for Electronic Architecture Trade StudiesFull-text access may be available. Sign in or learn about subscription options.pp. 0229
by Jakob Axelsson
Panel - Software Complexity of the Net
Author IndexFreely available from IEEE.pp. 240
Showing 36 out of 36