Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
2012
Ghamarian, A.H. and de Mol, M.J. and Rensink, A. and Zambon, Eduardo and Zimakova, M.V.
(2012)
Modelling and analysis using GROOVE.
International journal on software tools for technology transfer, 14 (1).
pp. 15-40.
ISSN 1433-2779
de Mol, M.J. and Rensink, A. and Hunt, J.J.
(2012)
Graph Transforming Java Data.
In: Proceedings of the 15th International Conference on Fundamental Approaches to Software Engineering (FASE 2012), 26-29 Mar 2012, Talinn, Estonia.
pp. 209-223.
Lecture Notes in Computer Science 7212.
Springer Verlag.
ISBN 978-3-642-28872-2
2011
Ghamarian, A.H. and de Mol, M.J. and Rensink, A. and Zambon, Eduardo
(2011)
Saying Hello World with GROOVE - A Solution to the TTC 2011 Instructive Case.
In: Proceedings of the Fifth Transformation Tool Contest (TTC 2011), 29-30 June 2011, Zurich, Switzerland.
pp. 215-222.
Electronic Proceedings in Theoretical Computer Science (EPTCS) 74.
Open Publishing Association.
ISBN not assigned
de Mol, M.J. and Rensink, A.
(2011)
Formal Semantics of the CHART Transformation Language.
Technical Report TR-CTIT-12-03,
Centre for Telematics and Information Technology University of Twente, Enschede.
ISSN 1381-3625
2010
Corradini, A. and de Mol, M.J.
(2010)
ICGT 2010 Doctoral Symposium [Preface].
In: Proceedings of the Fifth Internal Conference on Graph Transformations (ICGT 2010), 27 Sep - 02 Oct 2010, Enschede, Netherlands.
pp. 379-380.
Lecture Notes in Computer Science 6372.
Springer Verlag.
ISBN 978-3-642-15927-5
de Mol, M.J. and Rensink, A.
(2010)
On A Graph Formalism for Ordered Edges.
In: Proceedings of the Ninth International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2010), 20 Mar - 21 Mar 2010, Paphos, Cyprus.
Electronic Communications of the EASST 29.
The European Association for the Study of Science and Technology.
ISSN 1863-2122
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||