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.
|Pages (de - à)||1-9|
|Nombre de pages||9|
|journal||CEUR Workshop Proceedings|
|Etat de la publication||Publié - 1 janv. 2014|