City Research Online - SPIN-ning Software Architectures: A Method for Exploring Complex Systems

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

Preview

PDF
Download (138kB) | Preview

Official URL: http://dx.doi.org/10.1109/WICSA.2001.948409

Export

Downloads

Downloads per month over past year

View more statistics

Metadata

Altmetric

CORE (COnnecting REpositories)

Actions (login required)

Admin Login

Creators:	Kloukinas, C. Issarny, V.
Event Title:	Working IEEE/IFIP Conference on Software Architecture
Event Type:	Conference
Event Location:	Amsterdam, Holland
Event Dates:	28 - 31 Aug 2001
Status:	Published
Refereed:	Yes
Journal or Publication Title:	WICSA
Publisher:	IEEE Computer Society
ISBN:	0-7695-1360-3
URI:	https://openaccess.city.ac.uk/id/eprint/2898
Date available in CRO:	28 Nov 2013 11:19
Dates:	Date Event 2001 Published