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

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

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

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

Faculte d'informatique

Résultats de recherche: Contribution à un journal/une revue › Article › Revue par des pairs

Résumé

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.

langue originale	Anglais
Pages (de - à)	1-9
Nombre de pages	9
journal	CEUR Workshop Proceedings
Volume	1325
Etat de la publication	Publié - 1 janv. 2014

Autres fichiers et liens

Link to publication in Scopus

Contient cette citation

@article{c4d62cc780d0448c91ae1ed3990d4919,

title = "Report on the third workshop on verification of model transformations (VOLT 2014)",

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.",

author = "Moussa Amrani and Eugene Syriani and Manuel Wimmer and Robert Bill and Martin Gogolla and Frank Hermann and Kevin Lano",

year = "2014",

month = jan,

day = "1",

language = "English",

volume = "1325",

pages = "1--9",

journal = "CEUR Workshop Proceedings",

issn = "1613-0073",

publisher = "CEUR-WS",

}

TY - JOUR

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

AU - Amrani, Moussa

AU - Syriani, Eugene

AU - Wimmer, Manuel

AU - Bill, Robert

AU - Gogolla, Martin

AU - Hermann, Frank

AU - Lano, Kevin

PY - 2014/1/1

Y1 - 2014/1/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84921025684&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:84921025684

SN - 1613-0073

VL - 1325

SP - 1

EP - 9

JO - CEUR Workshop Proceedings

JF - CEUR Workshop Proceedings

ER -

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

Résumé

Autres fichiers et liens

Empreinte digitale

Contient cette citation