Proceedings, Sixth IEEE International Conference on Engineering of Complex Computer Systems: ICECCS 2000 : September 11-14, 2000, Tokyo, Japan |
Contents
Concept Causes and Control | 2 |
Managing Complexity in RealTime Reactive Systems | 12 |
Verification Criteria for a Compositional Model for Reactive Systems | 25 |
Copyright | |
19 other sections not shown
Other editions - View all
Common terms and phrases
abstraction activities agents Aggregation Hierarchy algorithm analysis application architecture backup VP behavior build rules CDFD checking clause client communication diagrams complexity concurrent CORBA count-up coverage criteria cycle data flow data flow diagrams data mining defined definition Degribber dependability described description file diagram domain model embedded systems environment error evaluation example execution fault forecasting fault tolerance feature interactions Figure formal methods functions GRIB hash tree implementation input integration item-sets kernel mechanisms method module nodes notation object object-oriented operation optional output parse.o performance Petri nets port process drivers process model Prototyping real-time reactive systems requirements Reservation reuse Section server simulation SOFL software components Software Engineering space spiral model sub-object subsystem target system techniques temporal constraints terminal variables test class tion tool transition user interface valid verification VP's Waterfall Model