A Functional Correctness Model of Program Verification.

Marvin V. Zelkowitz

Published in: Computer (1990)

Keyphrases

high level
sensitivity analysis
formal model
classification models
data sets
objective function
data structure
prior knowledge
management system
least squares
theoretical analysis
parameter estimation
process model
experimental data
conceptual model
parameter values