Hasso-Plattner-Institut
  
Hasso-Plattner-Institut
Prof. Dr. Holger Giese
  
 

VOLT 2014

3rd International Workshop on the Verification Of modeL Transformation

July 21, 2014 - York, UK

Affiliated with STAF (Software Technologies: Applications and Foundations)

http://volt2014.big.tuwien.ac.at/index.html

Model transformations are everywhere in software development, implicitly or explicitly. They became first-class citizens with the advent of MDD. Despite some recent activity in the field, the work on the verification of model transformations remains scattered and a clear perspective on the subject is still not in sight. Furthermore, current model transformation tools lack verification techniques to support such activities.

The Third International Workshop on the Verification Of modeL Transformation (VOLT 2014) is one of the most accurate venues to offer researchers a dedicated forum to classify, discuss, propose, and advance verification techniques dedicated to model transformations.