996 search results - page 86 / 200 » A Compositional Model for Software Reuse |
158
Voted
WWW
2010
ACM
15 years 11 months ago
2010
ACM
Middleware for Web service compositions, such as BPEL engines, provides the execution environment for services as well as additional functionalities, such as monitoring and self-t...
164
click to vote
SNPD
2008
15 years 5 months ago
2008
: Software for safety-critical systems has to deal with the hazards identified by safety analysis in order to make the system safe, risk-free and fail-safe. Software safety is a co...
130
Voted
WWW
2008
ACM
16 years 4 months ago
2008
ACM
This paper proposes an approach for solving the problem of composite process oriented service discovery with preserving business and timed relation. Key to our approach is the def...
134
Voted
ISSRE
2006
IEEE
15 years 10 months ago
2006
IEEE
In a Model-Driven Development context (MDE), model transformations allow memorizing and reusing design know-how, and thus automate parts of the design and refinement steps of a so...
139
click to vote
IFM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...