DocumentCode
289505
Title
Design evaluation: dynamic and static checking from a single model
Author
Budgen, David
Author_Institution
Dept. of Comput. Sci., Keele Univ., UK
fYear
1994
fDate
1994
Firstpage
42401
Lastpage
42407
Abstract
Describes the underlying rationale behind the GOOSE (Generalised Object Oriented Support Environment) system and provides a framework that can be used to describe an integrated design model. The manner in which this has been realised in GOOSE is described, and we then consider the benefits of being able to manipulate a single integrated design model while developing a real-time design
Keywords
data integrity; design engineering; object-oriented methods; project support environments; real-time systems; GOOSE; Generalised Object Oriented Support Environment; design evaluation; dynamic checking; integrated design model; real-time design; static checking;
fLanguage
English
Publisher
iet
Conference_Titel
Methods and Techniques for Real-Time System Development, IEE Colloquium on
Conference_Location
London
Type
conf
Filename
383666
Link To Document