Supporting the Selection of Constraints for Requirements Monitoring from Automatically Mined Constraint Candidates.
Thomas KrismayerPeter KronbergerRick RabiserPaul GrünbacherPublished in: REFSQ (2019)
Keyphrases
- linear constraints
- constraint solving
- global constraints
- resource constraints
- physical constraints
- constraint language
- association rules
- constraint sets
- decision support
- linear inequalities
- penalty function
- consistency constraints
- inequality constraints
- constraint solver
- equality constraints
- constraint networks
- monitoring system
- constraint satisfaction
- constraint programming
- automatically generated
- application specific
- constrained problems
- hard constraints
- cardinality constraints
- spatial constraints
- capacity constraints
- constrained optimization
- constraint graph
- constraint violations
- constraint solvers
- linear arithmetic constraints
- selection algorithm
- constraint propagation
- neural network
- soft constraints
- linear programming
- relational databases