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
1975-04-01
Conference paper
No indication
English
Defining Software Flexibility in Space Systems
AIAA | 2004
|Defining review levels for software documentation
Tema Archive | 1996
|The Discipline of Defining the Software Product
British Library Conference Proceedings | 1993
|