Consistency of model transformation contracts.

Christiano Braga Cassio Santos Viviane Torres da Silva

Published in: Sci. Comput. Program. (2014)

Keyphrases

high level
real time
statistical model
mathematical model
computational model
probabilistic model
objective function
management system
formal model
database
conceptual model
probability distribution
cost function
prior knowledge
multi agent
website
information systems
learning algorithm
data sets