King's College London

Research portal

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

Research output: Chapter in Book/Report/Conference proceedingChapter

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

Original languageEnglish
Title of host publicationCEUR Workshop Proceedings
PublisherCEUR-WS
Pages1-9
Number of pages9
Volume1325
Publication statusPublished - 2014
Event3rd International Workshop on Verification of Model Transformations, VOLT 2014 - York, United Kingdom
Duration: 21 Jul 201421 Jul 2014

Conference

Conference3rd International Workshop on Verification of Model Transformations, VOLT 2014
CountryUnited Kingdom
CityYork
Period21/07/201421/07/2014

Links

King's Authors

Abstract

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.

View graph of relations

© 2018 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454