SPIN-ning Software Architectures: A Method for Exploring Complex Systems
Kloukinas, C. & Issarny, V. (2001). SPIN-ning Software Architectures: A Method for Exploring Complex Systems. In: WICSA. Working IEEE/IFIP Conference on Software Architecture, 28 - 31 Aug 2001, Amsterdam, Holland. doi: 10.1109/WICSA.2001.948409
Abstract
When designing complex software systems that provide multiple non-functional properties, it is usual to try to reuse (and finally compose) simpler existing designs, which deal with each of these properties in solitude. The paper describes a method for automatically and quickly identifying all the different ways one can compose such designs, with the aid of a model checker
| Publication Type: | Conference or Workshop Item (Paper) |
|---|---|
| Subjects: | Q Science > QA Mathematics > QA76 Computer software |
| Departments: | School of Science & Technology > Computer Science |
Download (138kB) | Preview
Export
Downloads
Downloads per month over past year
Metadata
MetadataActions (login required)
Admin Login