Using Integer Constraint Solving in Reuse Based Requirements Engineering.
Camille SalinesiRaúl MazoDaniel DiazOlfa DjebbiPublished in: CoRR (2023)
Keyphrases
- constraint solving
- requirements engineering
- software engineering
- constraint logic programming
- constraint propagation
- goal oriented
- life cycle
- tool support
- software development process
- systems engineering
- constraint satisfaction problems
- software development
- requirements specification
- constraint solver
- requirements elicitation
- constraint satisfaction
- constraint programming
- requirements engineering process
- development process
- business process
- software intensive systems
- security requirements
- systems development
- databases
- literature review
- constraint solvers
- activity diagrams
- qualitative and quantitative
- access control
- data model
- knowledge base
- information systems
- artificial intelligence