Browsing Theses by Subject "software architecture validation theorem proving model"
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 ...