A. Afroozeh, J. Bach, M. Brand, A. Johnstone, M. Manders et al., Island Grammar-Based Parsing Using GLL and Tom, Software Language Engineering, pp.224-243, 2012.
DOI : 10.1007/978-3-642-36089-3_13

URL : https://hal.archives-ouvertes.fr/hal-00722878

T. Arendt, E. Biermann, S. Jurack, C. Krause, and G. Taentzer, Henshin: Advanced Concepts and Tools for In-Place EMF Model Transformations, Lecture Notes in Computer Science, vol.6394, issue.1, pp.121-135, 2010.
DOI : 10.1007/978-3-642-16145-2_9

W. Andrew, M. Appel, T. Jr-conçalves-freddy-allilaire, and . Idrissi, Hash-consing garbage collection Adt : Eclipse development tools for atl, Proceedings of the Second European Workshop on Model Driven Architecture (MDA) with an emphasis on Methodologies and Transformations (EWMDA- 2), pp.171-178, 1993.

T. [. Atkinson, A. Kuhneakrs06-]-carsten-amelunxen, T. Königs, A. Rötschke, and . Schürr, Model-driven development : a metamodeling foundation . Software Moflon : A standard-compliant metamodeling framework with graph transformations, ECMDA-FA [AKS03] Aditya Agrawal, Gabor Karsai, and Feng Shi. Graph transformations on domain-specific models. Journal on Software and Systems Modeling, pp.36-41, 2003.

K. Beck and C. Bach, Extreme Programming Explained : Embrace Change Une approche hybride GPL-DSL pour transformer des modèles, Technique et Science Informatiques, vol.33, issue.3, pp.40175-201, 2004.

E. Balland, Conception d'un langage dédiédédiéà l'analyse et la transformation de programmes. These, p.20, 2009.

J. Bézivin and J. Briot, Sur les principes de base de l'ingénierie des modèles, Objet (Paris), vol.10, issue.4, pp.147-157, 2004.

E. Moreau and M. Pantel, Antoine Reilles, and Cláudia Tavares. Documentation of Tom 2, p.35, 2013.

E. Balland, P. Brauner, R. Kopetz, P. Moreau, A. R. et al., Tom : piggybacking rewriting on java Interactive theorem proving and program development ? Coq'Art :the calculus of inductive constructions, Proceedings of the 18th international conference on Term rewriting and applications, RTA'07, pp.36-47, 2004.

J. Bach, X. Crégut, P. Moreau, M. Pantel, M. G. Van-den-brand et al., Model transformations with tom The ASF+SDF Meta-Environment : a Component-Based Language Development Environment, Proceedings of the Twelfth Workshop on Language Descriptions, Tools, and Applications, LDTA '12 CC'01 : Proceedings of the 10th International Conference on Compiler Construction, pp.1-4, 2001.

J. Bézivin, G. Dupé, F. Jouault, G. Pitette, and J. E. Rougui, First experiments with the atl model transformation language : Transforming xslt into xquery, 2nd OOPSLA Workshop on Generative Techniques in the context of Model Driven Architecture, p.37, 2003.

K. Beck, E. Brottier, F. Fleurey, J. Steel, B. Baudry et al., Metamodel-based test generation for model transformations : an algorithm and a tool Towards a precise definition of the omg/mda framework, ISSRE '06. 17th International Symposium on Automated Software Engineering Proceedings. 16th Annual International Conference on, pp.40-85, 2001.

J. Bézivin, F. Jouault, P. Rosenthal, and P. Valduriez, Modeling in the Large and Modeling in the Small, Model Driven Architecture, pp.33-46, 2005.
DOI : 10.1007/11538097_3

M. Bezem, J. W. Klop, and . Vrijer, Term rewriting systems, pp.12-96, 2003.

P. Borovansk´yborovansk´y, C. Kirchner, P. Héì-ene-kirchner, M. Moreau, and . Vittek, ELAN : A logical framework based on computational systems, WRLA'96 : Proceedings of the 1st International Workshop on Rewriting Logic and its Applications, p.13, 1996.

P. Borovansk´yborovansk´y, C. Kirchner, P. Héì-ene-kirchner, C. Moreau, and . Ringeissen, An Overview of ELAN, Electronic Notes in Theoretical Computer Science, vol.15, issue.13, pp.55-70, 1998.
DOI : 10.1016/S1571-0661(05)82552-6

E. Balland, C. Kirchner, and P. Moreau, Formal islands Complementary use of runtime validation and model checking, Proceedings of the 11th international conference on Algebraic Methodology and Software Technology, AMAST'06 Proceedings of the 2005 IEEE/ACM International Conference on Computer-aided Design, ICCAD '05, pp.51-65, 2005.

A. Boronat and J. Meseguer, MOMENT2 : EMF Model Transformations in Maude, pp.178-179, 2009.

J. Bach, P. Moreau, and M. Pantel, Tom-based tools to transform EMF models in avionics context, ITSLE, p.2012
URL : https://hal.archives-ouvertes.fr/hal-00730738

E. Balland, P. Moreau, and A. Reilles, Rewriting Strategies in Java, Electronic Notes in Theoretical Computer Science, vol.219, issue.19, pp.97-111, 2008.
DOI : 10.1016/j.entcs.2008.10.037

URL : https://hal.archives-ouvertes.fr/inria-00274919

E. Balland, P. Moreau, and A. Reilles, Effective strategic programming for java developers. Software : Practice and Experience, pp.129-162
URL : https://hal.archives-ouvertes.fr/hal-01265319

D. Balasubramanian, A. Narayanan, C. Van-buskirk, and G. Karsai, The graph rewriting and transformation language : GReAT, Electronic Communications of the EASST, vol.1, p.37, 2007.

A. Boronat and P. Olveczky, Formal Real-Time Model Transformations in MOMENT2, Fundamental Approaches to Software Engineering IJCAR, pp.29-43, 2004.
DOI : 10.1007/978-3-642-12029-9_3

P. Brauner, Fondements et mise en oeuvre de la Super Déduction Modulo, p.24, 2010.

A. W. Brown, B. Berthomieu, P. Ribet, and F. Vernadat, Model driven architecture : Principles and practice. Software and Systems Modeling The tool tina ? construction of abstract state spaces for petri nets and time petri nets, International Journal of Production Research, vol.3, issue.4214, pp.314-327, 2004.

X. Blanc and O. Salvatori, MDA en action : Ingénierie logicielle guidée par les modèles, Editions Eyrolles, pp.31-33, 2005.

G. Burel, Bonnes démonstrations en déduction modulo, p.24, 2009.

J. Bézivin, On the unification power of models. Software & Systems Modeling, pp.171-188, 2005.

J. Bézivin, Model Driven Engineering: An Emerging Technical Space, Generative and Transformational Techniques in Software Engineering, pp.36-64, 2006.
DOI : 10.1007/11877028_2

. Bibliographie-[-cde-+-02-]-m, F. Clavel, S. Durán, P. Eker, N. Lincoln et al., Maude : specification and programming in rewriting logic Rewriting Logic and its Applications, Theoretical Computer Science, vol.285, issue.13, pp.187-243, 2002.

M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Mart?-oliet et al., Maude manual (version 2.6) Principles of maude RWLW96, First International Workshop on Rewriting Logic and its Applications Quickcheck : A lightweight tool for random testing of haskell programs Classification of model transformation approaches, Proceedings of the 2nd OOPSLA Workshop on Generative Techniques in the Context of the Model Driven Architecture, pp.13-9665, 1996.

S. [. Czarnecki and . Helsen, Feature-based survey of model transformation approaches, IBM Systems Journal, vol.45, issue.3, pp.621-645, 2006.
DOI : 10.1147/sj.453.0621

M. Clavel and J. Meseguer, Reflection and strategies in rewriting logic Electronic Notes in Theoretical Computer Science, RWLW96, First International Workshop on Rewriting Logic and its Applications, pp.126-148, 1996.

M. Clavel and J. Meseguer, Reflection in conditional rewriting logic, Theoretical Computer Science, vol.285, issue.2, pp.245-288, 2002.
DOI : 10.1016/S0304-3975(01)00360-7

M. Francisco-durán, J. Roldán, E. Bach, M. Balland, J. R. Van-den-brand et al., The third rewrite engines competition, Proceedings of the 8th international conference on Rewriting logic and its applications, pp.243-261, 2010.

[. Earle and L. Fredlund, Testing java with quickcheck, p.40, 2013.

S. Eker, N. Martí-oliet, J. Meseguer, and A. Verdejo, Deduction , strategies, and rewriting. Electronic Notes in Theoretical Computer Science, FBMT09] Franck Fleurey, Benoit Baudry, Pierre-Alain Muller, and YvesLe Traon. Qualifying input test data for model transformations. Software & Systems Modeling, pp.3-25, 2007.

J. Favre, J. Estublier, and M. Blay-fornarino, L'ingénierie dirigée par les modèles : audeì a du MDA, Informatique et Systèmes d'Information . Hermes Science, p.30, 2006.

J. Falleri, M. Huchard, and C. Nebut, Towards a traceability framework for model transformations in kermeta, ECMDA- TW'06 : ECMDA Traceability Workshop, pp.31-40, 2006.
URL : https://hal.archives-ouvertes.fr/lirmm-00102855

M. Fowler, F. Refactoring, J. Fleurey, B. Steel, and . Baudry, Validation in model-driven engineering : testing model transformations In Model, Design and Validation Cadp 2010 : A toolbox for the construction and analysis of distributed processes, Improving the Design of Existing Code Proceedings . 2004 First International Workshop onGLMS11] Hubert Garavel, Frédéric Lang, Radu Mateescu, and Wendelin Serwe Tools and Algorithms for the Construction and Analysis of Systems, pp.31-60, 1999.

A. Gerber, M. Lawley, K. Raymond, J. Steel, and A. Wood, Transformation: The Missing Link of MDA, Graph Transformation , volume 2505 of Lecture Notes in Computer Science, pp.90-105
DOI : 10.1007/3-540-45832-8_9

P. Giner and V. Pelechano, Test-Driven Development of Model Transformations, Model Driven Engineering Languages and Systems Companion of the 18th Annual ACM SIGPLAN Conference on Object-oriented Programming, Systems, Languages, and Applications, OOPSLA '03, pp.748-752, 2003.
DOI : 10.1016/j.entcs.2008.04.031

J. Hughes, Software Testing with QuickCheck, Zoltán Horváth, Rinus Plasmeijer , and Viktória Zsók, pp.183-223
DOI : 10.1049/ip-sen:20020540

F. Jouault, F. Allilaire, J. Bézivin, I. Jakumeit, S. Buchwald et al., ATL, Companion to the 21st ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications , OOPSLA '06, pp.4031-39263, 2005.
DOI : 10.1145/1176617.1176691

URL : https://hal.archives-ouvertes.fr/hal-00448120

I. Kurtev, J. Bézivin, and M. Ak¸sitak¸sit, Technological spaces : An initial appraisal, International Conference on Cooperative Information Systems (CoopIS), DOA'2002 Federated Conferences, Industrial Track, pp.1-6, 1928.

M. Klint, J. Hills, T. Van-den-bos, . Van-der, J. Storm et al., Rascal : From algebraic specification to meta-programming, Proceedings Second International Workshop on Algebraic Methods in Model-based Software Engineering (AMMSE), pp.15-32, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00644689

J. Korta, P. Klint, S. Klusener, R. Lämmel, E. Chrisverhoef et al., Engineering of Grammarware, pp.28-36

C. Kirchner, F. Kirchner, and . Héì-ene-kirchner, Strategic computation and deduction Reasoning in Simple Type Theory Festchrift in Honour of Peter B. Andrews on His 70th Birthday Toward an engineering discipline for grammarware, ACM Trans. Softw. Eng. Methodol, vol.17, issue.143, pp.339-364, 2005.

C. Kirchner, P. Moreau, and C. Tavares, A Type System for Tom, RULE, pp.51-63, 2009.
DOI : 10.4204/EPTCS.21.5

URL : https://hal.archives-ouvertes.fr/inria-00426439

A. Königs, Model transformation with triple graph grammars In Model Transformations in Practice Satellite Workshop of MODELS, pp.166-202, 2005.

C. L. Lennart, E. Kats, and . Visser, The spoofax language workbench : rules for declarative specification of languages and ides EASY Meta-programming with Rascal, OOPSLA Tijs van der Storm, and Jurgen Vinju Generative and Transformational Techniques in Software Engineering III, pp.444-463, 2010.

G. Anneke, J. Kleppe, W. Warmer, and . Bast, MDA Explained : The Model Driven Architecture : Practice and Promise, pp.27-31, 2003.

M. Lamari, Towards an automated test generation for the verification of model transformations, Proceedings of the 2007 ACM symposium on Applied computing , SAC '07, pp.998-1005, 2007.
DOI : 10.1145/1244002.1244220

URL : https://hal.archives-ouvertes.fr/hal-01305783

M. Lawley and J. Steel, Practical Declarative Model Transformation with Tefkat, Satellite Events at the MoDELS 2005 Conference Sami Beydeda, Matthias Book, and Volker Gruhn Model-Driven Software Development, pp.139-150, 2005.
DOI : 10.1007/11663430_15

P. Muller, F. Fleurey, and J. Jézéquel, Weaving Executability into Object-Oriented Meta-languages, MoDELS, pp.264-278, 2005.
DOI : 10.1007/11557432_19

URL : https://hal.archives-ouvertes.fr/hal-00795095

P. Muller, F. Fleurey, D. Vojtisek, Z. Drey, D. Pollet et al., On executable meta-languages applied to model transformations, Model Transformations In Practice Workshop, p.37, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00000381

T. Mens and P. Van-gorp, A Taxonomy of Model Transformation, Electronic Notes in Theoretical Computer Science, vol.152, pp.125-142, 2006.
DOI : 10.1016/j.entcs.2005.10.021

S. J. Mellor, S. Kendall, A. Uhl, and D. Weise, MDA distilled : principles of model-driven architecture, MOMV05] Narciso Martí-Oliet, José Meseguer, and Alberto Verdejo. Towards a strategy language for maude, pp.28417-441, 2004.

P. Moreau, C. Ringeissen, M. V. , T. Nipkow, C. Lawrence et al., HOL : a proof assistant for higher-order logic, volume 2283 28 [OMG06a] OMG. Meta Object Facility (MOF) Core Specification Version 2.0. Object Management Group, Inc, [OMG03] OMG. Diagram Interchange 2.0. Object Management Group, Inc.OMG08] Object Management Group, Inc. Meta Object Facility (MOF) 2.0 Query/- View/Transformation (QVT) Specification, version 1.0OMG09] OMG. Unified Modeling Language (UML), v2.2. Object Management GroupOMG11] OMG. Unified Modeling Language (UML), v2.4.1. Object Management GroupOMG13] OMG. MOF/XMI Mapping 2.4.1. Object Management Group, pp.61-76, 2002.

A. Reilles, Canonical Abstract Syntax Trees, Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, pp.165-179, 2006.
DOI : 10.1016/j.entcs.2007.06.014

URL : https://hal.archives-ouvertes.fr/inria-00000967

J. E. José-raúl-romero, F. Rivera, A. Durán, and . Vallecillo, Formal and Tool Support for Model Driven Engineering with Maude., The Journal of Object Technology, vol.6, issue.9, pp.187-207, 2007.
DOI : 10.5381/jot.2007.6.9.a10

V. Rusu, Embedding domain-specific modelling languages in maude specifications, ACM SIGSOFT Software Engineering Notes, vol.36, issue.1, pp.1-8, 2011.
DOI : 10.1145/1921532.1921557

URL : https://hal.archives-ouvertes.fr/inria-00527859

J. Rivera, A. Vallecillorw03, . Matthewj, A. Rutherford, B. Wolfsbm09-]-sagar-sen et al., Representing and Operating with Model Differences, Generative Programming and Component Engineering Theory and Practice of Model Transformations Marcelo Paternostro, and Ed Merks. EMF : Eclipse Modeling Framework 2.0, pp.141-160, 2003.
DOI : 10.1007/978-3-540-69824-1_9

. [. Bibliographie, W. Sendall, and . Kozaczynski, Model transformation : the heart and soul of model-driven software development. Software, IEEE, vol.20, issue.5, pp.42-45, 2003.

A. Schürr and F. Klar, 15 Years of Triple Graph Grammars, Lecture Notes in Computer Science, vol.5214, pp.411-425, 2008.
DOI : 10.1007/978-3-540-87405-8_28

R. Soley and . Staff, Model Driven Architecture. white paper, p.28, 2000.

G. Taentzer, AGG: A??Graph Transformation Environment for Modeling and Validation of Software, Applications of Graph Transformations with Industrial Relevance, pp.446-453, 2004.
DOI : 10.1007/978-3-540-25959-6_35

G. Taentzer, What algebraic graph transformations can do for model transformations, ECEASST, vol.30, pp.1-10, 2010.

[. Tavares and A. P. Tolmach, The Coq development team. The Coq proof assistant reference manual. LogiCal Project Version 8.0. 41 [VB07] Dániel Varró and András Balogh. The model transformation language of the VIATRA2 framework Special Issue on Model Transformation Building program optimizers with rewriting strategies, Science of Computer Programming, vol.68, issue.19, pp.23214-234, 1998.

E. Visser and . Stratego, Stratego: A Language for Program Transformation Based on Rewriting Strategies System Description of Stratego 0.5, Rewriting Techniques and Applications, pp.357-361, 2001.
DOI : 10.1007/3-540-45127-7_27

J. Visser, Visitor combination and traversal control, OOPSLA, pp.270-282, 2001.

M. Vittek and . Elan, Un cadre logique pour le prototypage de langages de programmation avec contraintes, Thèse de Doctorat d'Université, p.13, 1994.

G. Varró, A. Varró, and . Pataricza, Designing the automatic transformation of visual languages, Science of Computer Programming, vol.44, issue.2, pp.205-227, 2002.
DOI : 10.1016/S0167-6423(02)00039-4

[. Williams, E. M. Maximilien, and M. Vouk, XSL Transformations (XSLT) Version 1.0 Test-driven development as a defect-reduction practice, Software Reliability Engineering ISSRE 2003. 14th International Symposium on, pp.35-69, 1999.