DocumentCode
273990
Title
Embedded systems software specification and design methods
Author
Sacha, K.M.
Author_Institution
Warsaw Univ. of Technol., Poland
fYear
1989
fDate
18-20 Sep 1989
Firstpage
260
Lastpage
264
Abstract
The method presented follows the transformational approach to software development. It enables automatic transformation and simulation of a software structure. The method has been applied manually in small scale examples
Keywords
formal specification; real-time systems; software engineering; automatic transformation; design description languages; simulation; software development; software structure; transformational;
fLanguage
English
Publisher
iet
Conference_Titel
Software Engineering for Real Time Systems, 1989., Second International Conference on
Conference_Location
Cirencester
Type
conf
Filename
51763
Link To Document