996 search results - page 61 / 200 » A Compositional Model for Software Reuse |
183
click to vote
ISSTA
1998
ACM
15 years 10 months ago
1998
ACM
Symbolic model checking has proved highly successful for large nite-state systems, in which states can be compactly encoded using binary decision diagrams (BDDs) or their variants...
174
click to vote
FOSSACS
2004
Springer
15 years 11 months ago
2004
Springer
We introduce a game model for an Algol-like programming language with primitives for parallel composition and synchronization on semaphores. The semantics is based on a simplifie...
148
click to vote
AVI
2010
15 years 7 months ago
2010
This paper reports on an empirical study designed as a follow-up of a theoretical model intended to support reasoning about the composition of smart artifacts by end-users. We hav...
165
click to vote
FOSSACS
2007
Springer
16 years 4 days ago
2007
Springer
A web service is modeled here as a finite state machine. A composition problem for web services is to decide if a given web service can be constructed from a given set of web serv...
134
click to vote
MIDDLEWARE
2004
Springer
15 years 11 months ago
2004
Springer
Reuse is an important topic in software engineering as it promises advantages like faster time-to-market and cost reduction. Reuse s on an abstract level is more beneficial than o...