Specifying the correctness properties of model transformations.

Anantha Narayanan Gabor Karsai

Published in: GRaMoT@ICSE (2008)

Keyphrases

statistical model
conceptual model
mathematical model
real time
computational model
network model
probabilistic model
objective function
prior knowledge
reinforcement learning
d objects
theoretical analysis
high level
machine learning
neural network
databases
formal model
parameter values
metamodel
database