Title :
Embedded systems software specification and design methods
Author_Institution :
Warsaw Univ. of Technol., Poland
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;
Conference_Titel :
Software Engineering for Real Time Systems, 1989., Second International Conference on
Conference_Location :
Cirencester
