A Formal Specification for Product Configuration in Software Product Lines.
Huilin YeYuqing LinPublished in: SEKE (2007)
Keyphrases
- formal specification
- product configuration
- software product line
- formal methods
- software engineering
- decision support
- knowledge compilation
- constraint satisfaction
- model checking
- constraint satisfaction problems
- life cycle
- future directions
- reverse engineering
- software development
- process planning
- learning methodologies
- adult literacy
- software components
- decision support system
- computer aided design
- mathematical programming
- lessons learned
- normal form
- databases
- database design
- object oriented
- knowledge discovery
- search algorithm
- case study