1782 search results - page 275 / 357 » Tool Support for Proof Engineering |
ICSE
2007
IEEE-ACM
14 years 9 months ago
2007
IEEE-ACM
This paper presents POLUS, a software maintenance tool capable of iteratively evolving running software into newer versions. POLUS's primary goal is to increase the dependabi...
ICSE
2008
IEEE-ACM
14 years 9 months ago
2008
IEEE-ACM
Maintaining a developer's awareness of changes in the software on which she depends is challenging. Awareness is often impeded at two ends of the spectrum: a lack of informat...
CISIS
2010
IEEE
2010
IEEE
Semantic Integration of Heterogeneous Data Sources for Monitoring Frequent-Release Software Projects
14 years 3 months ago
Abstract—Open source software teams routinely develop complex software products in frequent-release settings with rather lightweight processes and project documentation. In this ...
IDTRUST
2010
ACM
14 years 3 months ago
2010
ACM
Natural-language policies found in X.509 PKI describe an organization’s stated policy as a set of requirements for trust. The widespread use of X.509 underscores the importance ...
LCTRTS
2010
Springer
14 years 3 months ago
2010
Springer
In this paper, we present a novel system modeling language which targets primarily the development of source-level multiprocessor memory aware optimizations. In contrast to previo...