157 search results - page 24 / 32 » A Structured Demonstration of Program Comprehension Tools |
CN
2000
14 years 11 months ago
2000
Simulation offers significant advantages as a basis for academic projects in computer networking. many unimportant details can be abstracted away, and also because simulations can...
SIGCSE
2006
ACM
15 years 5 months ago
2006
ACM
interactive teaching materials, primarily because of its integration with the web through the applet mechanism. The 1997 and 1998 ITiCSE conferences convened working groups to deve...
182
click to vote
POPL
2006
ACM
15 years 12 months ago
2006
ACM
We describe a novel method for verifying programs that manipulate linked lists, based on two new predicates that characterize reachability of heap cells. These predicates allow re...
ICSE
2005
IEEE-ACM
15 years 11 months ago
2005
IEEE-ACM
We present Binary Refactoring: a software engineering technique for improving the implementation of programs without modifying their source code. While related to regular refactor...
103
click to vote
IWPSE
2005
IEEE
15 years 5 months ago
2005
IEEE
Visualizing software evolution is essential for identifying design erosions that have occurred over the past releases. Making evolutionary aspects explicit via visual representati...