Sciweavers

Share
WCRE
1999
IEEE

A Formal Approach for Reverse Engineering: A Case Study

9 years 1 months ago
A Formal Approach for Reverse Engineering: A Case Study
As a program evolves, it becomes increasingly difficult to understand and reason about changes in the source code. Eventually, if enough changes are made, reverse engineering and design recovery techniques must be used in order to understand the current behavior of a system. In this context, the effective use of complementary approaches can facilitate program and system understanding by taking advantage of the relative benefits of different approaches. This paper presents an approach to reverse engineering that combines the use of both informal and formal methods and describes a case study project involving the reverse engineering of a mission control system used by the NASA Jet Propulsion Laboratory to command unmanned spacecraft.
Gerald C. Gannod, Betty H. C. Cheng
Added 04 Aug 2010
Updated 04 Aug 2010
Type Conference
Year 1999
Where WCRE
Authors Gerald C. Gannod, Betty H. C. Cheng
Comments (0)
books