City Research Online

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: UNSPECIFIED (pp. 67-76). IEEE Computer Society. ISBN 0-7695-1360-3 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
[img]
Preview
PDF
Download (138kB) | Preview

Export

Downloads

Downloads per month over past year

View more statistics

Actions (login required)

Admin Login Admin Login