Computer aided software design via inference and constraint propagation.
Gordon S. Novak Jr.Published in: Integr. Comput. Aided Eng. (2009)
Keyphrases
- computer aided
- constraint propagation
- software design
- constraint satisfaction problems
- software engineering
- constraint satisfaction
- software systems
- temporal constraints
- software development
- constraint programming
- computer aided diagnosis
- constraint solving
- truth maintenance systems
- diagnosis of breast cancer
- computer aided design
- arc consistency
- capsule endoscopy
- quantifier elimination
- design patterns
- finite domain
- image analysis
- search space
- computer vision
- constrained problems
- differential diagnosis
- early diagnosis
- database
- constraint graph
- linear programming
- machine learning
- process planning
- lower bound