JPL Technical Report Server

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

Show simple item record

dc.contributor.author Auernheimer, Betty en_US
dc.date.accessioned 2004-09-26
dc.date.available 2004-09-26
dc.date.issued 1997-05 en_US
dc.identifier.citation USA en_US
dc.identifier.clearanceno 97-0569 en_US
dc.identifier.uri http://hdl.handle.net/2014/22116
dc.description.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. en_US
dc.format.extent 2303215 bytes
dc.format.mimetype application/pdf
dc.language.iso en_US
dc.subject.other Engineer Shuttle en_US
dc.title Using Formal Methods and Object-Oriented Analysis to Reverse Engineer Shuttle Software en_US


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search


Browse

My Account