Verification of Model Transformations: A Survey of the State-of-the-Art.

Daniel Calegari Nora Szasz

Published in: CLEI Selected Papers (2012)

Keyphrases

mathematical model
computational model
information systems
prior knowledge
formal model
least squares
statistical model
knowledge base
high level
reinforcement learning
probabilistic model
probability distribution
theoretical analysis
theoretical framework
neural network model