Automated Consistency Checking of Requirements Specifications.
Constance L. HeitmeyerRalph D. JeffordsBruce G. LabawPublished in: ACM Trans. Softw. Eng. Methodol. (1996)
Keyphrases
- consistency checking
- functional requirements
- stochastic search
- automated tools
- written in natural language
- query answering
- constraint satisfaction problems
- data sets
- temporal constraints
- database design
- temporal reasoning
- software requirements
- path consistency
- qualitative and quantitative
- dynamic environments
- linear programming
- knowledge representation
- database systems