359 search results - page 22 / 72 » Abstract Patterns of Compositional Reasoning |
216
click to vote
ECOOP
2009
Springer
16 years 2 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...
128
click to vote
EPEW
2005
Springer
15 years 7 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...
107
click to vote
FASE
2009
Springer
15 years 6 months 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 ...
117
click to vote
CAV
2007
Springer
15 years 6 months 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...
110
Voted
SOCO
2005
Springer
15 years 7 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...