Zen-CC: An Automated and Incremental Conformance Checking Solution to Support Interactive Product Configuration.
Hong LuTao YueShaukat AliKunming NieLi ZhangPublished in: ISSRE (2014)
Keyphrases
- product configuration
- decision support
- knowledge compilation
- constraint satisfaction problems
- constraint satisfaction
- process planning
- mass customization
- decision support system
- information retrieval
- decision making
- computer vision
- decision makers
- industrial applications
- formal methods
- optimal solution
- databases
- knowledge acquisition
- knowledge management
- search space