Browsing Engineering (Faculty of) by Supervisor "Leue, Stefan"
Now showing items 1-1 of 1
-
Executable Model Synthesis and Property Validation for Message Sequence Chart Specifications
(University of Waterloo, 2000)Message sequence charts (MSC’s) are a formal language for the specification of scenarios in concurrent real-time systems. The thesis addresses the synthesis of executable object-oriented design-time models from MSC ...