A black-box and contract-based verification of model transformations.

Meriem Lahrouni Eric Cariou Abdelaziz El Fazziki

Published in: Int. Arab J. Inf. Technol. (2019)

Keyphrases

black box
mathematical model
metamodel
computational model
experimental data
neural network
learning algorithm
similarity measure
data model
probabilistic model
quality assessment