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.
High order software - A methodology for defining software
American Institute of Aeronautics and Astronautics, Digital Avionics System Conference ; 1975 ; Boston, MA
01.04.1975
Aufsatz (Konferenz)
Keine Angabe
Englisch
Defining review levels for software documentation
Tema Archiv | 1996
|Defining Software Flexibility in Space Systems
AIAA | 2004
|The Discipline of Defining the Software Product
British Library Conference Proceedings | 1993
|