359 search results - page 22 / 72 » Abstract Patterns of Compositional Reasoning |
ECOOP
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. Because Remote Procedure Calls do not compose efficiently, designers of distributed object systems use Data Transfer and Remote Fac?ade patterns to create large-granulari...
EPEW
2005
Springer
14 years 2 months ago
2005
Springer
Software composition via workflow specifications has received a great deal of attention recently. One reason is the high degree of fit with the encapsulation of software modules...
FASE
2009
Springer
14 years 17 days ago
2009
Springer
Abstract. We present a novel algorithm for interface generation of software components. Given a component, our algorithm uses learning techniques to compute a permissive interface ...
CAV
2007
Springer
14 years 20 days ago
2007
Springer
Abstract. A recent approach to automated assume-guarantee reasoning (AGR) for concurrent systems relies on computing environment assumptions for components using the L algorithm fo...
SOCO
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Behavioral specifications that are integrated into component interfaces are an important means for the correct construction of component-based systems. Currently, such s...