On the inadequacy of ordinary preconditions for the practical design and verification of programs.

Robert L. Baber

Published in: ISSRE (1998)

Keyphrases

design process
optimal design
design space
data sets
information retrieval
case study
reinforcement learning
software engineering
engineering design
formal methods
automatic programming