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. In this project, several layers of formal specifications were constructed for a portion of the NASA Space Shuttle Digital Auto Pilot (DAP), a software module that is used to control the position of the spacecraft through appropriate jet firings.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Applying Formal Methods and Object-Oriented Analysis to Existing Space Shuttle Software


    Beteiligte:
    Cheng, B. (Autor:in) / Auernheimer, B. (Autor:in)

    Erscheinungsdatum :

    01.01.1994


    Medientyp :

    Preprint


    Format :

    Keine Angabe


    Sprache :

    Englisch





    Formal modeling of space shuttle software change requests using SCR

    Wiels, V. / Easterbrook, S. | Tema Archiv | 1999


    Generation of Object-Oriented Formal Software Specifications

    Karagias, T. / Hartrum, T. / IEEE | British Library Conference Proceedings | 1997



    Space Shuttle software

    Sheridan, C.T. | Tema Archiv | 1978