6 search results - page 1 / 2 » Composing pattern-based components and verifying correctness |
JSS
2007
13 years 4 months ago
2007
Designing large software systems out of reusable components has become increasingly popular. Although liberal composition of reusable components saves time and expense, many exper...
KBSE
1997
IEEE
13 years 9 months ago
1997
IEEE
Modern software systems are designed and implemented in a modular fashion by composing individual components. Early validation of individual module designs and implementations off...
SP
2002
IEEE
13 years 4 months ago
2002
IEEE
When complex systems are constructed from simpler components it is important to know how properties of the components behave under composition. In this article, we present various...
ISOLA
2010
Springer
13 years 2 months ago
2010
Springer
Abstract. Service-oriented systems have recently emerged as context-independent component-based systems. Unlike components, services can be created, invoked, composed, and destroye...
HYBRID
1998
Springer
13 years 9 months ago
1998
Springer
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....