359 search results - page 4 / 72 » Abstract Patterns of Compositional Reasoning |
CAV
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Proofs of progress properties often require fairness assumptions. Incorporating global fairness assumptions in a compositional method is a challenge, however, given the l...
ISOLA
2010
Springer
13 years 6 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...
LOBJET
2006
13 years 8 months ago
2006
ABSTRACT. Design patterns are well-known couples of problems-solutions for software engineering. By nature, they often lack support from languages and this further complicates the ...
ECWEB
2005
Springer
14 years 2 months ago
2005
Springer
We describe a methodology for assembling composite services based on three basic processes which are independent of the concrete implementation: Abstraction Process, Service Compos...
QEST
2006
IEEE
14 years 2 months ago
2006
IEEE
Abstract. We present a compositional theory of system verification, where specifications assign real-numbered costs to systems. These costs can express a wide variety of quantita...