204 search results - page 15 / 41 » Interface theories with component reuse |
89
Voted
SEFM
2007
IEEE
15 years 3 months ago
2007
IEEE
Reuse of software entities such as components or web services raise composition issues since, most of the time, they present mismatching behavioural interfaces. Here, we particula...
84
Voted
JNSM
2000
14 years 9 months ago
2000
: As service management systems are deployed in an open service market environment, the pressures on their developers to shorten development times and improve the flexibility of sy...
ACSC
2005
IEEE
15 years 3 months ago
2005
IEEE
Component based software engineering (CBSE), can in principle lead to savings in the time and cost of software development, by encouraging software reuse. However the reality is t...
IV
2003
IEEE
15 years 2 months ago
2003
IEEE
In this paper we present a “lightweight” visual formalism that can be used to examine the state space complexity of an interface. The method can form a basis for designing, te...
80
Voted
FROCOS
2007
Springer
15 years 3 months ago
2007
Springer
Constraint solvers are key modules in many systems with reasoning capabilities (e.g., automated theorem provers). To incorporate constraint solvers in such systems, the capability ...