Refactoring verification using model transformation.
Makoto IchiiDaisuke ShimbaraYasufumi SuzukiHideto OgawaPublished in: IWoR@ASE (2016)
Keyphrases
- high level
- cost function
- probability distribution
- mathematical model
- em algorithm
- verification method
- linear model
- prediction model
- formal model
- sensitivity analysis
- model checking
- parameter estimation
- theoretical analysis
- decision making
- object oriented
- prior knowledge
- objective function
- image segmentation
- case study
- knowledge base