Using Constraint Satisfaction and Optimization for Pattern-Based Software Design.
Sriharsha VathsavayiOuti Sievi-KorteKai KoskimiesKari SystäPublished in: Australian Software Engineering Conference (2014)
Keyphrases
- constraint satisfaction
- software design
- russian doll search
- constraint satisfaction problems
- design patterns
- software development
- software systems
- software engineering
- constraint propagation
- phase transition
- object oriented design
- constraint relaxation
- arc consistency
- educational software
- constraint programming
- constraint solving
- sat solvers
- heuristic search
- constrained problems
- robust fault detection
- information systems
- constraint networks
- combinatorial problems
- combinatorial optimization
- product configuration
- optimization problems
- database
- optimization method
- constraint problems
- multi agent