Higher Order Software - A Methodology for Defining Software.

Margaret H. Hamilton Saydean Zeldin

Published in: IEEE Trans. Software Eng. (1976)

Keyphrases

computer systems
higher order
software developers
information retrieval
genetic algorithm
decision trees
image segmentation
source code
process model
analysis tool
computer software