Requirements for a model comparison language.

James R. Williams Dimitrios S. Kolovos Fiona A. C. Polack Richard F. Paige

Published in: IWMCP@ICMT (2011)

Keyphrases

probabilistic model
prior knowledge
management system
process model
conceptual model
input data
theoretical framework
formal model
objective function
cost function
logic programs
computational model
mathematical model