A formal approach to model refactoring and model refinement.
Ragnhild Van Der StraetenViviane JonckersTom MensPublished in: Softw. Syst. Model. (2007)
Keyphrases
- formal model
- computational model
- experimental data
- neural network model
- mathematical model
- machine learning
- object model
- objective function
- prior knowledge
- theoretical analysis
- theoretical framework
- linear model
- prediction model
- simulation model
- conceptual model
- closed form
- process model
- input data
- management system
- probability distribution
- probabilistic model
- multiscale
- e learning