Verification of Software Product Line Artefacts: A Checklist to Support Feature Model Inspections.
Rafael Maiani de MelloEldânae NogueiraMarcelo SchotsCláudia Maria Lima WernerGuilherme Horta TravassosPublished in: J. Univers. Comput. Sci. (2014)
Keyphrases
- formal model
- experimental data
- mathematical model
- probabilistic model
- computational model
- distributed systems
- data sets
- management system
- probability distribution
- software product line
- statistical model
- software engineering
- hidden markov models
- feature vectors
- information technology
- bayesian networks
- feature extraction
- high level
- feature selection