Higher Order Software - Evaluation and Critique

Abstract

Higher Order Software (HOS) is presented as a methodology for system design and implementation based on a functional view of a system and its development process. This abstract methodology is implemented as a set of integrated tools, collectively called USEIT. This report addresses and evaluates the theoretical aspects of HOS as well as the practical aspects of its implementation in the form of USEIT. Keywords: Software specifications; Functional programming; Abstract data type; Efficiency; Productivity; Automatic documentation.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Aug 01, 1987
Accession Number
ADA198753

Entities

People

  • Hartmut G. Huber

Organizations

  • Naval Surface Warfare Center

Tags

Communities of Interest

  • Weapons Technologies

DTIC Thesaurus Topics

  • Abstracts
  • Algorithms
  • Complex Systems
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Consistency
  • Control Systems
  • Language
  • Object Code
  • Programming Languages
  • Recursive Functions
  • Software Development
  • Standards
  • Surface Warfare
  • Test And Evaluation

Fields of Study

  • Computer science
  • Engineering

Readers

  • Software Engineering.
  • Theoretical Analysis.