4209 search results - page 698 / 842 » Software Change and Evolution |
SIGSOFT
2007
ACM
14 years 11 months ago
2007
ACM
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
SIGSOFT
2007
ACM
14 years 11 months ago
2007
ACM
The practice of software development can likely be improved if an externalized model of each programmer's knowledge of a particular code base is available. Some tools already...
SIGSOFT
2007
ACM
14 years 11 months ago
2007
ACM
Atomicity is a desirable property that safeguards application consistency for service compositions. A service composition exhibiting this property could either complete or cancel ...
SIGSOFT
2005
ACM
14 years 11 months ago
2005
ACM
Before performing a modification task, a developer usually has to investigate the source code of a system to understand how to carry out the task. Discovering the code relevant to...
EUROSYS
2009
ACM
14 years 7 months ago
2009
ACM
Ksplice allows system administrators to apply patches to their operating system kernels without rebooting. Unlike previous hot update systems, Ksplice operates at the object code ...