2 search results - page 1 / 1 » Behavioural Contracts for a Sound Assembly of Components |
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 4 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...