VOLT 2014 Workshop Report Moussa Amrani1 , Eugene Syriani2 , Manuel Wimmer3 , Robert Bill3 , Martin Gogolla4 , Frank Hermann5 , and Kevin Lano6 1 University of Namur, Belgium

First Page		Document Content
Date: 2014-12-03 03:08:26 Software Graph rewriting VIATRA Formal methods Logic in computer science Object Constraint Language Model transformation language Kermeta Formal verification Unified Modeling Language Systems engineering Software engineering		VOLT 2014 Workshop Report Moussa Amrani1 , Eugene Syriani2 , Manuel Wimmer3 , Robert Bill3 , Martin Gogolla4 , Frank Hermann5 , and Kevin Lano6 1 University of Namur, Belgium Add to Reading List Source URL: www.db.informatik.uni-bremen.de Download Document from Source Website File Size: 142,35 KB Share Document on Facebook

	JTL: a bidirectional and change propagating transformation language Antonio Cicchetti1 , Davide Di Ruscio2 , Romina Eramo2 , and Alfonso Pierantonio2 1 School of Innovation, Design and Engineering DocID: 1qsaX - View Document
	Pattern Matching in MOLA Agris Sostaks IMCS University of Latvia, Latvia Abstract. This paper addresses the pattern matching problem for model DocID: 1pZr2 - View Document
	Limitations of Automating Model Migration in Response to Metamodel Adaptation Markus Herrmannsdoerfer and Daniel Ratiu Institut f¨ ur Informatik Technische Universit¨ DocID: 1pgCE - View Document
	Microsoft Word - Doct_LNCS_20081125_Final.doc DocID: 1p8t6 - View Document
	Managing model conflicts in distributed development ? A. Cicchetti, D. Di Ruscio, and A. Pierantonio Universit`a degli Studi dell’Aquila, Dipartimento di Informatica via Vetoio, Coppito I-67010, L’Aquila, Italy {cicc DocID: 1p7NZ - View Document