Higher Order Software—A Methodology for Defining Software

@article{Hamilton1976HigherOS,
  title={Higher Order Software—A Methodology for Defining Software},
  author={M. Hamilton and S. Zeldin},
  journal={IEEE Transactions on Software Engineering},
  year={1976},
  volume={SE-2},
  pages={9-32}
}
  • M. Hamilton, S. Zeldin
  • Published 1976
  • Computer Science
  • IEEE Transactions on Software Engineering
  • The key to software reliability is to design, develop, and manage software with a formalized methodology which can be used by computer scientists and applications engineers to describe and communicate interfaces between systems. These interfaces include: software to software; software to other systems; software to management; as well as discipline to discipline within the complete software development process. The formal methodology of Higher Order Software (HOS), specifically aimed toward… CONTINUE READING
    112 Citations
    Methods and tools for system design
    Verification of HOS Software Specification by a Hierarchical Software Understanding Approach
    • 1
    SAM—a computer aided design tool for specifying and analyzing modular, heirarchical systems
    • 7
    The Software Development System
    • 117
    Design Methodology for Embedded Systems.
    • 1
    A Framework for Discipline in Programming
    • P. Hsia, F. Petry
    • Computer Science
    • IEEE Transactions on Software Engineering
    • 1980
    • 10
    The evolution of specification techniques
    • 1

    References

    SHOWING 1-9 OF 9 REFERENCES
    BLISS: a language for systems programming
    • 226
    • PDF
    A tool for enforcing system structure
    • 7
    The "single-assignment" approach to parallel processing
    • 38
    • PDF
    Higher order software techniques applied to a space shuttle prototype program
    • 3
    A technique for software module specification with examples
    • 639
    • PDF
    On the criteria to be used in decomposing systems into modules
    • 5,214
    • PDF
    On a 'Buzzword': Hierarchical Structure
    • 185
    DAIS avionic software development techniques
    • 2