The relationship between design and verification.

Margaret H. Hamilton Saydean Zeldin

Published in: J. Syst. Softw. (1979)

Keyphrases

case study
user interface
functional verification
building blocks
design decisions
genetic algorithm
high level
objective function
low cost
knowledge based systems
computer aided
conceptual framework
engineering design
design space