Browsing Engineering (Faculty of) by Subject "Validation"
Now showing items 1-2 of 2
-
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 ... -
User Interface Design and Validation for the Automated Rehabilitation System
(University of Waterloo, 2015-10-27)In current physical rehabilitation protocols, patients typically perform exercises with intermittent feedback or guidance following the initial demonstrations from the physiotherapist. Although many patient-centered systems ...