Compositional specification of parallel time-critical systems
J. A. Trescher · 2003
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.>