131 search results - page 4 / 27 » On the Observable Behaviour of Composite Components |
ADT
2005
13 years 7 months ago
2005
Component based design is a new paradigm to build distributed systems and applications. The problem of compositional verification of such systems is however still open. We investig...
SPIN
2005
Springer
14 years 28 days ago
2005
Springer
We describe a method for the specification and verification of the dynamic behaviour of component systems. Building applications using a component framework allows the developers...
CBSE
2010
Springer
13 years 10 months ago
2010
Springer
Design patterns are typically defined informally, albeit in a standard format, and have to be programmed by the software designer into each new application. Thus although patterns ...
ACSD
2003
IEEE
14 years 23 days ago
2003
IEEE
In this paper, we present a mathematical model for the composition of software components, at a semantic modelling level. We describe a mathematical concept of a single software c...
CONCUR
2009
Springer
14 years 2 months ago
2009
Springer
We present a compositional method for deriving control constraints on a network of interconnected, partially observable and partially controllable plant components. The constraint ...