Logic-Based Analysis and Verification of Software Product Line Variant Requirement Model.
Shamim Hasnat RiponSk. Jahir HossainMoshiur Mahamud PiashPublished in: Int. J. Knowl. Syst. Sci. (2014)
Keyphrases
- probabilistic model
- computational model
- high level
- colored petri nets
- software product line
- empirical data
- objective function
- mathematical model
- statistical analysis
- probability distribution
- future directions
- conceptual model
- statistical model
- parameter estimation
- databases
- artificial neural networks
- data analysis
- image sequences
- case study
- artificial intelligence
- machine learning