996 search results - page 4 / 200 » A Compositional Model for Software Reuse |
CBSE
2006
Springer
13 years 11 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
INFSOF
2008
13 years 7 months ago
2008
ECOOP
1995
Springer
13 years 11 months ago
1995
Springer
Abstract. Meta-levels are complex pieces of software with diverse demands in both the computation and interaction domains. Common techniques using just code to express behaviour fa...
ECMDAFA
2008
Springer
13 years 9 months ago
2008
Springer
The increasing complexity of software applications requires improved software development techniques in order to cope with, a.o., software reuse and evolution, the management of he...
ICSR
2004
Springer
14 years 24 days ago
2004
Springer
