Measurement and prediction of the verification cost of the design in a formalized methodology.

Luis Fernández José Javier Dolado

Published in: Inf. Softw. Technol. (1999)

Keyphrases

real time
conceptual framework
formal verification
data sets
user interface
low cost
building blocks
prediction accuracy
design principles
design methodology
optimal design
regression model
software architecture
functional verification
weak signal detection