Consistency checking of SCR-style requirements specifications.

Constance L. Heitmeyer Bruce G. Labaw Daniel L. Kiskis

Published in: RE (1995)

Keyphrases

consistency checking
functional requirements
stochastic search
query answering
written in natural language
formal specification
data sets
database systems
relational databases
special case
dynamic programming
data integration
heuristic search
path consistency