Browsing Theses by Author "Tysowski, Piotr"

Now showing items 1-2 of 2

Executable Model Synthesis and Property Validation for Message Sequence Chart Specifications

Tysowski, Piotr (University of Waterloo, 2000)

Message sequence charts (MSC’s) are a formal language for the speciﬁcation of scenarios in concurrent real-time systems. The thesis addresses the synthesis of executable object-oriented design-time models from MSC ...
Highly Scalable and Secure Mobile Applications in Cloud Computing Systems

Tysowski, Piotr (University of Waterloo, 2013-04-25)

Cloud computing provides scalable processing and storage resources that are hosted on a third-party provider to permit clients to economically meet real-time service demands. The confidentiality of client data outsourced ...