Now showing items 1-1 of 1
A Framework for Machine-Assisted Software Architecture Validation
(University of Waterloo, 2000)
In this thesis we propose a formal framework for specifying and validating properties of software system architectures. The framework is founded on a model of software architecture description languages (ADLs) and uses ...