VOLT 2012/2013 Special Section

By: Eugene Syriani, Manuel Wimmer

Abstract

This JOT special section contains three extended and peer reviewed papers from the first and second editions of the International Workshop on Verification Of modeL Transformation (VOLT). The first edition of VOLT was held on April 21st, 2012 in Montreal, Canada as satellite event of the 5th International Conference on Software Testing, Verification and Validation (ICST 2012). The second edition was held on June 17th, 2013 in Budapest, Hungary as a satellite event of Federated Conferences on Software Technologies: Applications and Foundations (STAF 2013).

Keywords

Model Transformation, Verification, Model Transformation Properties

Cite as:

Eugene Syriani, Manuel Wimmer, “VOLT 2012/2013 Special Section”, Journal of Object Technology, Volume 14, no. 3 (August 2015), doi:10.5381/jot.2015.14.3.e1.

HTML | DOI | BiBTeX | Tweet this | Post to CiteULike | Share on LinkedIn

The JOT Journal   |   ISSN 1660-1769   |   DOI 10.5381/jot   |   AITO   |   Open Access   |    Contact