The SCR Method for Formally Specifying, Verifying, and Validating Requirements: Tool Support.

Constance L. Heitmeyer James Kirby Bruce G. Labaw

Published in: ICSE (1997)

Keyphrases

significant improvement
high accuracy
tool support
computational cost
cost function
computational complexity
feature set
pairwise
feature space
error rate
high precision
training set
user interface
database systems
artificial intelligence
edge detection
real world