Systematic aid for developing middleware architectures
Communications of the ACM - Adaptive middleware
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
Synthesis of component and connector models from crosscutting structural views
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Hi-index | 0.00 |
When designing complex 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. This 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.