Report on the third workshop on verification of model transformations (VOLT 2014)

Moussa Amrani, Eugene Syriani, Manuel Wimmer, Robert Bill, Martin Gogolla, Frank Hermann, Kevin Lano

Résultats de recherche: Contribution à un journal/une revueArticleRevue par des pairs

Résumé

This report is a summary of the Third International Workshop on the Verification Of modeL Transformation (VOLT 2014) held at the STAF 2014 conference. The workshop brought together researchers from model-driven engineering, in particular from model transformation language engineering and modelbased verification. The major aims of VOLT 2014 were to identify motivations, problems, and requirements for model transformation verification as well as to present different proposals supporting different kinds of model transformations and verification techniques.

langue originaleAnglais
Pages (de - à)1-9
Nombre de pages9
journalCEUR Workshop Proceedings
Volume1325
Etat de la publicationPublié - 1 janv. 2014

Contient cette citation