Sciweavers

84 search results - page 3 / 17
» On Inserting Program Understanding Technology into the Softw...
Sort
View
WCRE
1995
IEEE
13 years 11 months ago
Strongest Postcondition Semantics as the Formal Basis for Reverse Engineering
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...
Gerald C. Gannod, Betty H. C. Cheng
ISPASS
2010
IEEE
14 years 2 months ago
Dynamic program analysis of Microsoft Windows applications
—Software instrumentation is a powerful and flexible technique for analyzing the dynamic behavior of programs. By inserting extra code in an application, it is possible to study...
Alex Skaletsky, Tevi Devor, Nadav Chachmon, Robert...
ICSM
1996
IEEE
13 years 11 months ago
Using Informal and Formal Techniques for the Reverse Engineering of C Programs
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...
Gerald C. Gannod, Betty H. C. Cheng
ICSE
2008
IEEE-ACM
14 years 8 months ago
SpyWare: a change-aware development toolset
Our research is driven by the motivation that change must be put in the center, if one wants to understand the complex processes of software evolution. We built a toolset named Sp...
Romain Robbes, Michele Lanza
ROBOCUP
2005
Springer
85views Robotics» more  ROBOCUP 2005»
14 years 25 days ago
Lightweight Management - Taming the RoboCup Development Process
RoboCup projects can face a lack of progress and continuity. The teams change continuously and knowledge gets lost. The approach used in previous years is no longer valid due to ru...
Tijn van der Zant, Paul-Gerhard Plöger