1782 search results - page 275 / 357 » Tool Support for Proof Engineering |
103
click to vote
ICSE
2007
IEEE-ACM
16 years 3 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
16 years 3 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...
120
Voted
CISIS
2010
IEEE
2010
IEEE
Semantic Integration of Heterogeneous Data Sources for Monitoring Frequent-Release Software Projects
15 years 10 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 ...
143
click to vote
IDTRUST
2010
ACM
15 years 10 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 ...
126
click to vote
LCTRTS
2010
Springer
15 years 10 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...