Formalised EMFTVM bytecode language for sound verification of model transformations.

Zheng Cheng Rosemary Monahan James F. Power

Published in: Softw. Syst. Model. (2018)

Keyphrases

data sets
management system
computational model
conceptual model
prior knowledge
theoretical analysis
mathematical model
high level
similarity measure
probability distribution
programming language
process model
statistical model
experimental data
language learning