Model transformations are everywhere in software development, implicitly or explicitly. They became first-class citizens with the advent of MDD–with explicit models also came explicit model transformations. VOLT 2012 is the first workshop to offer researchers a dedicated forum to classify, discuss, propose, and advance verification techniques dedicated to model transformations.
Submissions: | February 6, 2012 |
Notification: | February 25, 2012 |
Event: | April 21, 2012-April 21, 2012 |