EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Research Project: GRASLAND: Graphs for Software Language Definitions
Home Policy Brochure Browse Search User Area Contact Help

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

2010

Ghamarian, A.H. and de Mol, M.J. and Rensink, A. and Zambon, Eduardo and Zimakova, M.V. (2010) Modelling and Analysis Using GROOVE. Technical Report TR-CTIT-10-18, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Hülsbusch, M. and König, B. and Rensink, A. and Semenyak, M. and Soltenborn, C. and Wehrheim, H. (2010) Full Semantics Preservation in Model Transformation - A Comparison of Proof Techniques. Technical Report TR-CTIT-10-09, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

2009

Paige, R.F. and Hartman, A. and Rensink, A., ed. (2009) Model Driven Architecture - Foundations and Applications. Lecture Notes in Computer Science 5562. Springer Verlag, Berlin. ISSN 0302-9743 ISBN 978-3-642-02673-7
de Mol, M.J. and Zimakova, M.V. (2009) A GROOVE Solution for the BPMN to BPEL Model Transformation. Technical Report TR-CTIT-09-31, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Rensink, A. and Zimakova, M.V. (2009) Flow Diagram Decomposition Using Graph Transformations. Technical Report TR-CTIT-09-30, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Rensink, A. and Zimakova, M.V. (2009) Towards model structuring based on flow diagram decomposition. In: Proceedings of the 1st Workshop on Behaviour Modelling in Model-Driven Architecture, 23 Jun 2009, Enschede, The Netherlands. 5:1-5:8. ACM International Conference Proceeding Series 379. ACM. ISBN 978-1-60558-503-1

2008

Engels, G. and Kleppe, A.G. and Rensink, A. and Semenyak, M. and Soltenborn, C. and Wehrheim, H. (2008) From UML Activities to TAAL: Towards behaviour-preserving model transformations. In: European Conference on Model Driven Architecture - Foundations and Applications (ECMDA-FA), 10-12 Jun 2008, Berlin, Germany. pp. 94-109. Lecture Notes in Computer Science 5095. Springer Verlag. ISSN 1611-3349 ISBN 978-3-540-69095-5
Kleppe, A.G. and Rensink, A. (2008) A Graph-Based Semantics for UML Class and Object Diagrams. Technical Report TR-CTIT-08-06, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Kleppe, A.G. and Rensink, A. (2008) On a Graph-Based Semantics for UML Class and Object Diagrams. In: Graph Transformation and Visual Modelling Techniques, 29-30 Apr 2008, Budapest, Hungary. Electronic Communications of the EASST 10. EASST. ISSN 1863-2122
Rensink, A. and Nederpel, R. (2008) Graph Transformation Semantics for a QVT Language. In: International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT), Apr 2006, Vienna, Austria. pp. 51-62. Electronic Notes in Theoretical Computer Science 211. Elsevier. ISSN 1571-0661

2007

Kleppe, A.G. (2007) A Language Description is More than a Metamodel. In: Fourth International Workshop on Software Language Engineering, 1 Oct 2007, Nashville, USA. megaplanet.org. ISBN not assigned
Kleppe, A.G. (2007) Towards the Generation of a Text-Based IDE from a Language Metamodel. In: Model Driven Architecture - Foundations and Applications, 11-15 June 2007, Haifa, Israel. pp. 114-129. Lecture Notes in Computer Science 4350. Springer Verlag. ISSN 1611-3349 ISBN 978-3-540-72900-6

2006

Rensink, A. and Warmer, J., ed. (2006) Model Driven Architecture - Foundations and Applications. Lecture Notes in Computer Science 4066. Springer-Verlag, Berlin. ISBN 3-540-35909-5
Kastenberg, H. and Kleppe, A.G. and Rensink, A. (2006) Engineering Object-Oriented Semantics Using Graph Transformations. Technical Report TR-CTIT-06-12, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Kastenberg, H. and Kleppe, A.G. and Rensink, A. (2006) Defining Object-Oriented Execution Semantics Using Graph Transformations. In: Proceedings of the 8th IFIP International Conference on Formal Methods for Open-Object Based Distributed Systems, 14-16 June 2006, Bologna, Italy. pp. 186-201. Lecture Notes in Computer Science 4037. Springer Verlag. ISBN 978-3-540-34893-1
Kleppe, A.G. (2006) MCC: A Model Transformation Environment. In: Model Driven Architecture - Foundations and Applications: Second European Conference, ECMDA-FA 2006, Proceedings, 10 Jul - 13 Jul 2006, Bilboa, Spain. pp. 173-187. Lecture Notes in Computer Science 4066. Springer Verlag. ISBN 978-3-540-35909-8
Smelik, R. and Rensink, A. and Kastenberg, H. (2006) Specification and Construction of Control Flow Semantics. In: Visual Languages and Human-Centric Computing (VL/HCC), Sep 2006, Brighton, U.K.. pp. 65-72. IEEE Computer Society. ISBN 0-7695-2586-5
Warmer, J.B. and Kleppe, A.G. (2006) Building a Flexible Software Factory Using Partial Domain Specific Models. In: Sixth OOPSLA Workshop on Domain-Specific Modeling (DSM'06), 22 Oct 2006, Portland, Oregon, USA. pp. 15-22. University of Jyvaskyla. ISSN 1239-291X ISBN 951-39-2631-1