1782 search results - page 175 / 357 » Tool Support for Proof Engineering |
177
click to vote
ICSM
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper presents a model of change propagation during software maintenance and evolution. Change propagation is modeled as a sequence of snapshots, where each snapshot represen...
155
click to vote
COMPSAC
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract--Vulnerabilities in operating systems and web applications have been and are being put into various classifications, leading to a better understanding of their causes and ...
179
click to vote
CSMR
2004
IEEE
15 years 10 months ago
2004
IEEE
A common problem in software maintenance is the lack of documentation required for carrying out the maintenance tasks. Both expected and unexpected maintenance tasks use and produ...
197
click to vote
PC
1998
15 years 6 months ago
1998
Current communications tools and libraries for high performance computing are designed for platforms and applications that exhibit relatively stable computational and communicatio...
185
click to vote
RE
2008
Springer
15 years 6 months ago
2008
Springer
NASA spends millions designing and building spacecraft for its missions. The dependence on software is growing as spacecraft become more complex. With the increasing dependence on...