580 search results - page 25 / 116 » History-based Tools for Navigation |
ACSAC
2003
IEEE
14 years 2 months ago
2003
IEEE
Routers are critical components of IP networks, but hardly any tool support for analyzing their security exists to date. We have developed such a tool, named CROCODILE, that track...
SCCC
1998
IEEE
14 years 1 months ago
1998
IEEE
Frameworks promote design and code reuse, at a higher level of granularity. The use of frameworks is a hard task though, because usually they lack documentation and instructions o...
ICSM
1996
IEEE
14 years 1 months ago
1996
IEEE
During the maintenance of legacy systems, the structure and the documentationofthe system usually deteriorates, and hence the maintenance becomesprogressively harder and harder. I...
DAGSTUHL
2001
13 years 10 months ago
2001
This paper argues that "formal methods" can (continue to) provide the thinking tools for the future of computing science. Every significant engineering or scientific disc...
ACSC
2005
IEEE
14 years 2 months ago
2005
IEEE
Support for program understanding in development and maintenance tasks can be facilitated by program analysis techniques. Both control-flow and data-flow analysis can support pr...