54 search results - page 2 / 11 » (Behavioural) Design Patterns as Composition Operators |
SIGSOFT
2009
ACM
14 years 6 months ago
2009
ACM
System specifications have long been expressed through automata-based languages, enabling verification techniques such as model checking. These verification techniques can assess ...
SIGSOFT
2008
ACM
14 years 6 months ago
2008
ACM
Synthesis of system configurations from a given set of features is an important and very challenging problem. This paper makes a step towards this goal by describing an efficient ...
EDOC
2006
IEEE
13 years 11 months ago
2006
IEEE
Increasingly, distributed systems are being constructed by composing a number of discrete components. This practice, termed composition, is particularly prevalent within the Web s...
FORTE
2003
13 years 6 months ago
2003
Abstract. Component based design is a new methodology for the construction of distributed systems and applications. In this new setting, a system is built by the assembly of (pre)-...
ADT
2005
13 years 5 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...