Towards an Automatic PL Requirements Configuration through Constraints Reasoning.
Olfa DjebbiCamille SalinesiPublished in: VaMoS (2008)
Keyphrases
- consistency checking
- constrained optimization
- configuration problems
- resource constraints
- reasoning systems
- real time systems
- constraint satisfaction
- fully automatic
- semi automatic
- data driven
- constraint programming
- user requirements
- genetic algorithm
- spatial reasoning
- qualitative reasoning
- reasoning tasks
- reasoning process
- knowledge representation