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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    High order software - A methodology for defining software


    Contributors:
    Hamilton, M. (author) / Zeldin, S. (author)

    Conference:

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


    Publication date :

    1975-04-01


    Type of media :

    Conference paper


    Type of material :

    No indication


    Language :

    English




    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


    Defining review levels for software documentation

    Clayton, C. | Tema Archive | 1996


    The Discipline of Defining the Software Product

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