JPL Technical Report Server

Using Formal Methods and Object-Oriented Analysis to Reverse Engineer Shuttle Software

Using Formal Methods and Object-Oriented Analysis to Reverse Engineer Shuttle Software

Auernheimer, Betty
URI: http://hdl.handle.net/2014/22116
Date: 1997-05
Citation: USA

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.

Show full item record

Items in TRS are protected by copyright, but are furnished with U.S. government purpose use rights.

Files in this item

Thumbnail
Name: 97-0569.pdf
Size: 2.196Mb
Format: PDF
View/Open

This item appears in the following Collection(s)

Search


Browse

My Account