DocumentCode
276854
Title
Prototyping real time engineering systems
Author
Fensome, D.A.
Author_Institution
Hatfield Polytech., UK
fYear
1992
fDate
33617
Abstract
Summary form only given. The aims of the research are: to evaluate the suitability of existing concurrent programming systems as tools for prototyping real time engineering systems; to establish the role of formal techniques in the development of prototypes; to identify ways that this formality could subsequently be reused in the development of a well engineered software product; and to provide an environment to improve the prototyping process. Prototyping in the context of this research means the examination of areas of uncertainty in the functional requirements by execution of a software model
Keywords
engineering computing; multiprogramming; real-time systems; software prototyping; concurrent programming systems; formal techniques; functional requirements; real time engineering systems; software engineering; software model; software prototyping;
fLanguage
English
Publisher
iet
Conference_Titel
Automating Formal Methods for Computer Assisted Prototying, IEE Colloquium on
Conference_Location
London
Type
conf
Filename
167612
Link To Document