Referenced Items are not available for this document.
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
Published in:
Software Architecture, 2001. Proceedings. Working IEEE/IFIP Conference on
Date of Conference: 2001
- Page(s):
- 67 - 76
- Meeting Date :
- 28 Aug 2001-31 Aug 2001
- Print ISBN:
- 0-7695-1360-3
- INSPEC Accession Number:
- 7092791
- Conference Location :
- Amsterdam
- Digital Object Identifier :
- 10.1109/WICSA.2001.948409
- Product Type:
- Conference Publications
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
