Gannod, Gerald C. | Search NASA

NASA NTRS2002

Using a Formal Approach for Reverse Engineering and Design Recovery to Support Software Reuse

This document describes 3rd year accomplishments and summarizes overall project accomplishments. Included as attachments are all published papers from year three. Note that the budget for this project was discontinued after year two, but that a residual budget from year two allowed minimal continuance into year three. Accomplishments include initial investigations into log-file based reverse engineering, service-based software reuse, and a source to XML generator.

Gannod, Gerald C.↗

NASA NTRS1996

Integration of Informal and Formal Methods 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 facillitate the understanding of a system that may be in a.

program code Reverse engineering C programs↗