Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation.

Fernando Orejas Esther Guerra Juan de Lara Hartmut Ehrig

Published in: CALCO (2009)

Keyphrases

experimental data
mathematical model
high level
statistical model
database
computational model
theoretical analysis
linear model
theoretical foundation
sensitivity analysis
theoretical framework
model selection
least squares
probability distribution
objective function
artificial intelligence
genetic algorithm