A survey of approaches for verifying model transformations.

Lukman Ab. Rahim Jon Whittle

Published in: Softw. Syst. Model. (2015)

Keyphrases

computational model
mathematical model
theoretical framework
statistical model
em algorithm
analytical model
decision making
neural network model
prior knowledge
least squares
learning models
input data
database
probabilistic model
artificial neural networks
high level
case study
genetic algorithm
neural network