Login / Signup
On the Specification, Verification and Implementation of Model Transformations with Transformation Contracts.
Christiano Braga
Roberto Menezes
Thiago Comicio
Cassio Santos
Edson Landim
Published in:
SBMF (2011)
Keyphrases
</>
mathematical model
conceptual model
formal model
database
multiscale
cost function
management system
experimental data
closed form
probabilistic model
probability distribution
input data
metamodel
specification language