Contains the keyword Viatra + IncQuery

Ujhelyi Z. Static Type Checking of Model Transformation Programs. In: Conference of PhD Students in Computer Science. Szeged; 2010. 74.

Bergmann G. Új formalizmus eseményvezérelt gráftranszformációhoz. In: XV. Fiatal Műszakiak Tudományos Ülésszaka. Erdélyi Múzeum-Egyesület; 2010.
Ujhelyi Z. Static Type Checking of Model Transformation Programs. In: ICGT'10 Doctoral Symposium. University of Twente, Enschede, The Netherlands: Springer Berlin / Heidelberg; 2010. p. 413-5.
Hegedüs Á, Bergmann G, Ráth I, Varró D. Back-annotation of Simulation Traces with Change-Driven Model Transformations. In: Proceedings of the Eighth International Conference on Software Engineering and Formal Methods. Pisa: IEEE Computer Society; 2010. p. 145-55. Abstract
Acceptance rate: 22%
Horváth Á, Bergmann G, Ráth I, Varró D. Experimental Assessment of Combining Pattern Matching Strategies with VIATRA2. International Journal on Software Tools for Technology Transfer. 2010;12(3-4):211-30. Abstract
Hegedüs Á, Ráth I, Varró D. From BPEL to SAL and Back: a Tool Demo on Back-Annotation with VIATRA2. Consiglio Nazionale delle Ricerche (CNR); 2010. Abstract
Accepted for the SEFM'2010 "Posters and Tool Demo Session" Track
Bergmann G, Horváth Á, Ráth I, Varró D. Efficient Model Transformations by Combining Pattern Matching Strategies. In: Paige RF, editor. Theory and Practice of Model Transformations, Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings. Vol 5563. Springer; 2009. p. 20-34. (Lecture Notes in Computer Science; vol 5563). Abstract
Acceptance rate: 22%
Tartalom átvétel