Sign in
OCL contracts for the verification of model transformations.
Eric Cariou
Nicolas Belloir
Franck Barbier
Nidal Djemam
Published in:
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2009)
Keyphrases
</>
mathematical model
probabilistic model
formal model
prediction model
metamodel
autoregressive
parameter estimation
computational model
theoretical framework
experimental data
case study
image segmentation
high level
objective function
model checking