Keyphrases
- functional requirements
- consistency checking
- development process
- software design
- software systems
- query answering
- software architecture
- temporal constraints
- temporal reasoning
- quality attributes
- constraint satisfaction problems
- constraint propagation
- databases
- data exchange
- source code
- data sources
- arc consistency
- cooperative
- case study
- path consistency
- database