996 search results - page 65 / 200 » A Compositional Model for Software Reuse |
146
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
We explore the problem of specification and verification of compliance in agent based Web service compositions. We use the formalism of temporal-epistemic logic suitably extended ...
131
click to vote
ECLIPSE
2004
ACM
15 years 9 months ago
2004
ACM
Feature modeling is a key technique used in product-line development to model commonalities and variabilities of productline members. In this paper, we present FeaturePlugin, a fe...
114
click to vote
WCRE
2000
IEEE
15 years 8 months ago
2000
IEEE
Recently exchange formats have gained lots of attention. Multiple tools need to interact and/or work on the same software system. Especially there is a need to reuse parser techno...
121
click to vote
SOCO
2005
Springer
15 years 9 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...
137
click to vote
ENTCS
2006
15 years 3 months ago
2006
Web Services are software services that can be advertised by providers and invoked by customers using Web technologies. This concept is currently carried further to address the co...