Keyphrases
- tool support
- constraint satisfaction problems
- software development
- software tools
- design decisions
- decomposition methods
- requirements engineering
- software engineering
- constraint satisfaction
- software projects
- arc consistency
- constraint programming
- constraint propagation
- np complete
- trade off
- database
- test cases
- test suite
- training set
- multi agent