Design-by-contract for software architectures
We propose a design by contract (DbC) approach to specify and maintain architectural level properties of software. Such properties are typically relevant in the design phase of the development cycle but may also impact the execution of systems. We give a formal framework for specifying software arch...
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
University of Leicester
2014
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.617624 |