Title :
IEE Colloquium on `Methods and Techniques for Real-Time System Development´ (Digest No.1994/202)
Abstract :
The following topics were dealt with: temporal aspects of real-time system design; design evaluation: dynamic and static checking from a single model; animation prototyping in real-time systems: application to system specification, formal methods and concurrent system design; system animation using RDD-100; and visual analysis as part of executable specification
Keywords :
computer animation; computer architecture; formal specification; real-time systems; software engineering; systems analysis; RDD-100; animation prototyping; concurrent system design; design evaluation; dynamic checking; executable specification; formal methods; real-time system design; real-time system development; static checking; system animation; system specification; temporal aspects; visual analysis;
Conference_Titel :
Methods and Techniques for Real-Time System Development, IEE Colloquium on
Conference_Location :
London
