DocumentCode
2893425
Title
Compositional specification of parallel time-critical systems
Author
Trescher, Joachim
Author_Institution
GMD Res. Lab., Karlsruhe Univ., Germany
fYear
1992
fDate
20-23 Apr 1992
Firstpage
212
Lastpage
221
Abstract
The work discussed originated in an attempt to shape a practical specification tool that closely integrates a formal specification method into a software development process of parallel time-critical systems. The principal new feature is the concept of incorporating the specification of the dynamic behavior of a system component as part of its type information. Two well-formedness conditions for the `composition´ operation guarantee statically that a composite component is constructed correctly with respect to its specification and the specifications of its subcomponents
Keywords
formal specification; parallel programming; specification languages; Wanda; formal specification method; parallel time-critical systems; software development process; specification language; specification tool; Acoustical engineering; Algebra; Algorithm design and analysis; Calculus; Formal specifications; Laboratories; Logic functions; Programming; Shape; Time factors;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Languages, 1992., Proceedings of the 1992 International Conference on
Conference_Location
Oakland, CA
Print_ISBN
0-8186-2585-6
Type
conf
DOI
10.1109/ICCL.1992.185485
Filename
185485
Link To Document