A Formal Framework for Incremental Model Slicing.
Gabriele TaentzerTimo KehrerChristopher PietschUdo KelterPublished in: SE/SWM (2019)
Keyphrases
- formal model
- probabilistic model
- computational model
- conceptual model
- conceptual framework
- modeling framework
- metamodel
- theoretical foundation
- theoretical framework
- mathematical framework
- computational framework
- data sets
- bayesian networks
- similarity measure
- high level
- generic model
- unified model
- prediction model
- mathematical model
- parameter estimation
- main contribution
- theoretical analysis
- management system
- objective function