62 search results - page 13 / 13 » ENFORCe: A System for Ensuring Formal Correctness of High-le... |
JUCS
2008
13 years 5 months ago
2008
: One focus of current software development is the re-use of components in the construction of systems. Software Adaptation facilitates the consequent need to adapt these component...
JFP
2010
13 years 3 months ago
2010
Transient faults that arise in large-scale software systems can often be repaired by re-executing the code in which they occur. Ascribing a meaningful semantics for safe re-execut...