7 search results - page 1 / 2 » Verification of evolving software via component substitutabi... |
FMSD
2008
13 years 5 months ago
2008
FM
2005
Springer
13 years 10 months ago
2005
Springer
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
ISSTA
2006
ACM
13 years 11 months ago
2006
ACM
In a component-based software system the components are specified, designed and implemented with the intention to be reused, and are assembled in various contexts in order to pro...
SIGSOFT
2005
ACM
14 years 5 months ago
2005
ACM
The continuous requirements of evolving a delivered software system and the rising cost of shutting down a running software system are forcing researchers and practitioners to fin...
EWSPT
2001
Springer
13 years 9 months ago
2001
Springer
We describe an approach based upon software process technology to on-the-fly monitoring, redeployment, reconfiguration, and in general dynamic adaptation of distributed software ap...