NASA NTRS · 20060035219
Using Formal Methods and Object-Oriented Analysis to Reverse Engineer Shuttle Software
Abstract
This paper describes the application of formal methods and object-oriented modeling to reverse engineering, in which formal specifications are developed for existing, or legacy, code.
Explore related subjects
Keep this discovery
Explore connections, maps & timelines
Auernheimer, Betty. 1997-05-01. Using Formal Methods and Object-Oriented Analysis to Reverse Engineer Shuttle Software. https://ntrs.nasa.gov/citations/20060035219
Cite the original work for its findings. Save a collection to share your selection of sources.