Automatic pattern-based consistency checking in model refactoring: introducing a formal behavioral preserving method.
Saeedeh Ghaedi HeidariShohreh AjoudanianPublished in: Innov. Syst. Softw. Eng. (2024)
Keyphrases
- objective function
- mathematical model
- em algorithm
- fully automatic
- statistical model
- consistency checking
- cost function
- probabilistic model
- parameter estimation
- prediction model
- similarity measure
- formal model
- prior knowledge
- input data
- object oriented
- databases
- computational complexity
- integrity constraints
- qualitative and quantitative
- reinforcement learning
- high level
- data mining