Correctness is paramount for safety-critical software control systems. Critical software failures in medical radiation treatment, communications, and defencse are familiar to the public.


    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 Flight Software


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

    Erscheinungsdatum :

    1993-12-01


    Medientyp :

    Sonstige


    Format :

    Keine Angabe


    Sprache :

    Englisch






    The Feasibility of Applying Object-Oriented Technologies to Operational Flight Software

    DuBois, T. A. / IEEE / AIAA | British Library Conference Proceedings | 2000


    Generation of Object-Oriented Formal Software Specifications

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


    The Knowledge-Based Software Assistant: A Formal, Object Oriented, Software Development Environment

    Gerken, M. J. / Roberts, N. A. / White, D. A. et al. | British Library Conference Proceedings | 1996