DocumentCode
289510
Title
IEE Colloquium on `Methods and Techniques for Real-Time System Development´ (Digest No.1994/202)
fYear
1994
fDate
1994
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;
fLanguage
English
Publisher
iet
Conference_Titel
Methods and Techniques for Real-Time System Development, IEE Colloquium on
Conference_Location
London
Type
conf
Filename
383671
Link To Document