Using Integer Constraint Solving in Reuse Based Requirements Engineering.
Camille SalinesiRaúl MazoDaniel DiazOlfa DjebbiPublished in: RE (2010)
Keyphrases
- constraint solving
- requirements engineering
- software engineering
- constraint propagation
- life cycle
- software development process
- constraint logic programming
- tool support
- constraint satisfaction problems
- goal oriented
- systems engineering
- requirements specification
- constraint satisfaction
- constraint solver
- requirements elicitation
- software development
- constraint programming
- development process
- software intensive systems
- business process
- requirements engineering process
- security requirements
- constraint solvers
- systems development
- activity diagrams
- search space
- branch and bound