Higher order software (HOS) is a formal methodology for reliable systems specification and development. HOS is concerned only with computable functions and their relationships for any given system. Questions of methodology are considered, taking into account aspects of formulation meta-language principles, and HOS analyzers. Details of system design are discussed, giving attention to aspects of immediate self-control and indirect self-control. A description is given of the approaches used for software management.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    High order software - A methodology for defining software


    Beteiligte:
    Hamilton, M. (Autor:in) / Zeldin, S. (Autor:in)

    Kongress:

    American Institute of Aeronautics and Astronautics, Digital Avionics System Conference ; 1975 ; Boston, MA


    Erscheinungsdatum :

    01.04.1975


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Keine Angabe


    Sprache :

    Englisch




    High order software - A methodology for defining software

    HAMILTON, M. / ZELDIN, S. | AIAA | 1975




    Defining Software Flexibility in Space Systems

    Nilchiani, Roshanak / Hastings, Daniel | AIAA | 2004


    The Discipline of Defining the Software Product

    Bergey, J. K. / North Atlantic Treaty Organization | British Library Conference Proceedings | 1993