H. Vogt, S. D. Swierstra, and M. F. Kuiper, Higher-order attribute grammars, Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation (PLDI '89), pp.131-145, 1989.

I. D. Baxter, C. Pidgeon, and M. Mehlich, DMS, Proceedings of the international workshop on Principles of software evolution , IWPSE '02, pp.625-634, 2004.
DOI : 10.1145/512035.512047

P. Klint, J. J. Vinju, T. Van, and . Storm, Language Design for Meta-programming in the Software Composition Domain, Proceedings of the 8th International Conference on Software Composition (SC '09), number 5634 in Lecture Notes in Computer Science, pp.1-4, 2009.
DOI : 10.1145/1072997.1073000

M. Bravenboer, K. T. Kalleberg, R. Vermaas, and E. Visser, Stratego/XT 0.17. A language and toolset for program transformation, Science of Computer Programming, vol.72, issue.1-2, pp.52-70, 2008.
DOI : 10.1016/j.scico.2007.11.003

J. R. Cordy, The TXL source transformation language, Science of Computer Programming, vol.61, issue.3, pp.190-210, 2006.
DOI : 10.1016/j.scico.2006.04.002

P. Muller, F. Fleurey, and J. Jézéquel, Weaving Executability into Object-Oriented Meta-languages
DOI : 10.1007/11557432_19
URL : https://hal.archives-ouvertes.fr/hal-00795095

S. Pickin, C. Jard, T. Jeron, J. Jézéquel, and Y. L. Traon, Test Synthesis from UML Models of Distributed Software, IEEE Transactions on Software Engineering, vol.33, issue.4, pp.252-269, 2007.
DOI : 10.1109/TSE.2007.39
URL : https://hal.archives-ouvertes.fr/inria-00477560

P. Muller, F. Fondement, F. Fleurey, M. Hassenforder, R. Schnekenburger et al., Model-driven analysis and synthesis of textual concrete syntax, Software & Systems Modeling, vol.37, issue.3, pp.423-442, 2008.
DOI : 10.1007/s10270-008-0088-x
URL : https://hal.archives-ouvertes.fr/inria-00468231

J. Jézéquel, Model driven design and aspect weaving, Software & Systems Modeling, vol.33, issue.4, pp.209-218, 2008.
DOI : 10.1007/s10270-008-0080-5

A. Kleppe, Software Language Engineering: Creating Domain-Specific Languages Using Metamodels, 2008.

T. Ekman and G. Hedin, The JastAdd system ??? modular extensible compiler construction, Science of Computer Programming, vol.69, issue.1-3, pp.14-26, 2007.
DOI : 10.1016/j.scico.2007.02.003
URL : http://doi.org/10.1016/j.scico.2007.02.003

E. Donald and . Knuth, On the translation of languages from left to rigth, Information and Control, vol.8, issue.6, pp.607-639, 1965.

E. Donald and . Knuth, Top-down syntax analysis, Acta Informatica, vol.1, pp.79-110, 1971.

M. Tomita, Efficient Parsing for Natural Language: A Fast Algorithm for Practical Systems, 1985.
DOI : 10.1007/978-1-4757-1885-0

T. J. Parr and R. W. Quong, Antlr: a predicated-ll(k) parser generator. Software: Practice and Experience, pp.789-810, 1995.
DOI : 10.1002/spe.4380250705
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.15.70

P. Degano and C. Priami, Comparison of syntactic error handling in LR parsers. Software: Practice and Experience, pp.657-679, 1995.

A. Tim, S. L. Wagner, and . Graham, Efficient and flexible incremental parsing, ACM Transactions on Programming Languages and Systems, vol.20, issue.5, pp.980-1013, 1998.

M. Risoldi and D. Buchs, A domain specific language and methodology for control systems GUI specification, verification and prototyping, Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VLHCC '07), pp.179-182, 2007.

C. Hahn, A domain specific modeling language for multiagent systems, Proceedings of 7th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS '08), pp.233-240, 2008.

M. Sagiv, T. Reps, and R. Wilhelm, Parametric shape analysis via 3-valued logic, Proceedings of the 26th ACM SIGPLAN- SIGACT Symposium on Principles of Programming Languages (POPL '99), pp.105-118, 1999.

D. S. Wile, POPART: Producer of Parsers and Related Tools, System Builder's Manual, USC/Information Sciences Institute, 1982.

D. Clement, J. Incerpi, and G. Kahn, CEN- TAUR: towards a software tool box for programming environments, Proceedings of the International Workshop on Software Engineering Environments (SEE '90), number 467 in Lecture Notes in Computer Science, pp.287-304, 1990.

E. Balland, P. Moreau, and A. Reilles, Rewriting Strategies in Java, Electronic Notes in Theoretical Computer Science, vol.219, pp.97-111, 2008.
DOI : 10.1016/j.entcs.2008.10.037
URL : https://hal.archives-ouvertes.fr/inria-00274919

A. Gary and . Kildall, A unified approach to global program optimization, Proceedings of the 1st annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL '73), pp.194-206, 1973.

F. Martin, PAG - an efficient program analyzer generator, International Journal on Software Tools for Technology Transfer (STTT), vol.2, issue.1, pp.46-67, 1998.
DOI : 10.1007/s100090050017

J. Zeng, C. Mitchell, and S. A. Edwards, A Domain-Specific Language for Generating Dataflow Analyzers, Electronic Notes in Theoretical Computer Science, vol.164, issue.2, pp.103-119, 2006.
DOI : 10.1016/j.entcs.2006.10.008

A. Stone, M. Strout, and S. Behere, May/must analysis and the DFAGen data-flow analysis generator. Information and Software Technology, pp.1440-1453, 2009.

C. W. Fraser, A retargetable compiler for ANSI C, ACM SIGPLAN Notices, vol.26, issue.10, pp.29-43, 1991.
DOI : 10.1145/122616.122621

G. Hadjiyiannis, S. Hanono, and S. Devadas, ISDL, Proceedings of the 34th annual conference on Design automation conference , DAC '97, pp.299-302, 1997.
DOI : 10.1145/266021.266108

H. Nikolov, T. Stefanov, and E. F. Deprettere, Systematic and Automated Multiprocessor System Design, Programming, and Implementation, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.27, issue.3, pp.542-555, 2008.
DOI : 10.1109/TCAD.2007.911337

J. Paulo-almeida, R. Dijkman, M. Van-sinderen, and L. F. Pires, On the Notion of Abstract Platform in MDA Development, Proceedings of the 8th IEEE International Conference on Enterprise Distributed Object Computing, pp.253-263, 2004.

D. Wagelaar and V. Jonckers, Explicit Platform Models for MDA, Proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems (MODELS '05), number 3713 in Lecture Notes in Computer Science, pp.367-381, 2005.
DOI : 10.1007/11557432_27

R. France and B. Rumpe, Model-driven Development of Complex Software: A Research Roadmap, Future of Software Engineering (FOSE '07), pp.37-54, 2007.
DOI : 10.1109/FOSE.2007.14
URL : https://hal.archives-ouvertes.fr/inria-00511368

D. C. Schmidt, Guest Editor's Introduction: Model-Driven Engineering, Computer, vol.39, issue.2, pp.25-31, 2006.
DOI : 10.1109/MC.2006.58

M. Wimmer and G. Kramler, Bridging Grammarware and Modelware, Proceedings of Satellite Events at the MODELS 2005 Conference (WiSME '05), number 3844 in Lecture Notes in Computer Science, pp.159-168, 2005.
DOI : 10.1007/11663430_17
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.90.3835

J. Eker, J. Janneck, E. A. Lee, J. Liu, X. Liu et al., Taming heterogeneity - the Ptolemy approach, Proceedings of the IEEE, pp.127-144, 2003.
DOI : 10.1109/JPROC.2002.805829

A. Charfi, C. Mraidha, S. Gérard, F. Terrier, and P. Boulet, Toward optimized code generation through model-based optimization, 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), pp.1313-1316, 2010.
DOI : 10.1109/DATE.2010.5457010
URL : https://hal.archives-ouvertes.fr/inria-00522657

H. Emmelmann, F. Schröer, and R. Landwehr, BEG -A Generator for Efficient Back Ends, Proceedings of the ACM SIG- PLAN'89 Conference on Programming Language Design and Implementation (PLDI '89), pp.227-237, 1989.

C. W. Fraser, R. R. Henry, and T. A. Proebsting, BURG, ACM SIGPLAN Notices, vol.27, issue.4, pp.68-76, 1992.
DOI : 10.1145/131080.131089

A. Floch, T. Yuki, C. Guy, S. Derrien, S. Benoit-combemale et al., Model-Driven Engineering and Optimizing Compilers: A Bridge Too Far?, Proceedings of the 15th International Conference on Model Driven Engineering Languages and Systems (MODELS '11), number 6981 in Lecture Notes in Computer Science, pp.608-622, 2011.
DOI : 10.1007/s10270-006-0036-6
URL : https://hal.archives-ouvertes.fr/inria-00613575

B. Meyer and . Applying, Applying 'design by contract', Computer, vol.25, issue.10, pp.40-51, 1992.
DOI : 10.1109/2.161279
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.72.7831

E. Stark, A proof technique for rely/guarantee properties, Proceedings of the 5th Conference on Foundations of Software Technology and Theoretical Computer Science, pp.369-391, 1985.
DOI : 10.1007/3-540-16042-6_21

J. Favre, D. Gasevi´cgasevi´c, R. Lammel, and A. Winter, Guest Editors' Introduction to the Special Section on Software Language Engineering, IEEE Transactions on Software Engineering, vol.35, issue.6, pp.737-741, 2009.
DOI : 10.1109/TSE.2009.78
URL : https://hal.archives-ouvertes.fr/hal-00953106

P. Farail, P. Gaufillet, A. Canals, C. L. Camus, D. Sciamma et al., The TOPCASED project: a Toolkit in OPen source for Critical Aeronautic SystEms Design, Proceedings of the 3rd European Congress on Embedded Real Time Software (ERTS '06), 2006.

H. Garavel and F. Lang, NTIF: A General Symbolic Model for Communicating Sequential Processes with Data, Proceedings of the 22nd International Conference on Formal Techniques for Networked and Distributed Sytems (FORTE '02), number 2529 in Lecture Notes in Computer Science, pp.276-291, 2002.
DOI : 10.1007/3-540-36135-9_18
URL : https://hal.archives-ouvertes.fr/inria-00071919

B. Berthomieu, P. Ribet, F. Vernadat, J. L. Bernartt, J. Farines et al., Towards the verification of real-time systems in avionics, Electronic Notes in Theoretical Computer Science, vol.80, pp.203-218, 2003.
DOI : 10.1016/S1571-0661(04)80819-3

M. B. Robby, J. Dwyer, and . Hatcliff, Domain-specific Model Checking Using The Bogor Framework, 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06), pp.369-370, 2006.
DOI : 10.1109/ASE.2006.34

B. Berthomieu, J. Bodeveix, P. Farail, M. Filali, H. Garavel et al., Fiacre: an Intermediate Language for Model Verification in the Topcased Environment, Proceedings of the 4th European Congress on Embedded Real Time Software (ERTS '08), pp.1-8, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00262442

M. Wimmer, G. Kappel, A. Kusel, W. Retschitzegger, J. Schoenboeck et al., Fact or Fiction -Reuse in Model-to-Model Transformations, Proceedings of the 5th International Conference on Theory and Practice of Model Transformations (ICMT '12), Lecture Notes in Computer Science, 2012.

A. Cuccuru, C. Mraidha, F. Terrier, and S. Gérard, Templatable Metamodels for Semantic Variation Points
DOI : 10.1007/978-3-540-72901-3_6

J. De, L. , and E. Guerra, From types to type requirements: genericity for model-driven engineering, Journal of Software and Systems Modeling, 2011.

D. Varró and A. Pataricza, Generic and metatransformations for model transformation engineering

M. Kerboeuf and J. Babau, A DSML for reversible transformations, Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11, SPLASH '11 Workshops, 2011.
DOI : 10.1145/2095050.2095057
URL : https://hal.archives-ouvertes.fr/hal-00631306

N. Moha, V. Mahé, O. Barais, and J. Jézéquel, Generic Model Refactorings, Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems (MODELS '09), number 5795 in Lecture Notes in Computer Science, pp.628-643, 2009.
DOI : 10.1007/s10270-006-0036-6
URL : https://hal.archives-ouvertes.fr/inria-00468657

M. Wimmer, A. Kusel, W. Retschitzegger, J. Schönböck, W. Schwinger et al., Reusing model transformations across heterogeneous metamodels, Proceedings of the International Workshop on Multi-Paradigm Modeling, 2011.

B. Kim, J. C. Bruce, and . Vanderwaart, Semantics- Driven Language Design:: Statically Type-Safe Virtual Types in Object-Oriented Languages, Electronic Notes in Theoretical Computer Science, vol.20, issue.0, pp.50-75, 1999.

J. Steel and J. Jézéquel, On model typing, Software & Systems Modeling, vol.3, issue.5, pp.401-413, 2007.
DOI : 10.1007/s10270-006-0036-6
URL : https://hal.archives-ouvertes.fr/inria-00477547

C. Guy, S. Benoit-combemale, J. Derrien, and . Jézéquel, On Model Subtyping, Proceedings of the 8th European Conference on Modelling Foundations and Applications (ECMFA '12), number 7349 in Lecture Notes in Computer Science, pp.400-415, 2012.
DOI : 10.1007/978-3-642-31491-9_30
URL : https://hal.archives-ouvertes.fr/hal-00726399

A. Vignaga, F. Jouault, M. Bastarrica, and H. Brunelière, Typing artifacts in megamodeling, Software & Systems Modeling, vol.115, issue.1, pp.1-15, 2011.
DOI : 10.1007/s10270-011-0191-2
URL : https://hal.archives-ouvertes.fr/hal-00589277

F. Deremer and H. Kron, Programming-in-the large versus programming-in-the-small, ACM SIGPLAN Notices, vol.10, issue.6, pp.114-121, 1975.
DOI : 10.1145/390016.808431

R. Hebig, A. Seibel, and H. Giese, On the Unification of Megamodels, Proceedings of the 4th International Workshop on Multi Paradigm Modeling at the MODELS 2010 Conference (MPM '10), volume 42 of Electronic Communications of the EASST, pp.1-13, 2010.

J. Favre and T. Nguyen, Towards a Megamodel to Model Software Evolution Through Transformations, Electronic Notes in Theoretical Computer Science, vol.127, issue.3, pp.59-74, 2005.
DOI : 10.1016/j.entcs.2004.08.034

Z. Diskin, Y. Xiong, and K. Czarnecki, Specifying overlaps of heterogeneous models for global consistency checking, Proceedings of the First International Workshop on Model-Driven Interoperability (MDI '10), number 6627 in Lecture Notes in Computer Science, pp.42-51, 2010.

R. Salay, J. Mylopoulos, and S. Easterbrook, Managing Models through Macromodeling, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering, pp.447-450, 2008.
DOI : 10.1109/ASE.2008.70

E. Guerra, J. De-lara, and F. Orejas, Pattern-Based Model-to-Model Transformation: Handling Attribute Conditions, Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations (ICMT '09), number 5563 in Lecture Notes in Computer Science, pp.83-99, 2009.
DOI : 10.5381/jot.2008.7.3.a3

M. Clavreul, O. Barais, and J. Jézéquel, Integrating legacy systems with MDE, Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, ICSE '10, pp.69-78, 2010.
DOI : 10.1145/1810295.1810306
URL : https://hal.archives-ouvertes.fr/inria-00504669

E. Guerra, J. De-lara, D. S. Kolovos, and R. F. Paige, Inter-modelling: From Theory to Practice, Proceedings of the 13th International Conference on Model driven engineering languages and systems: Part I (MODELS '10), number 6394 in Lecture Notes in Computer Science, pp.376-391, 2010.
DOI : 10.1007/978-3-642-16145-2_26

X. Leroy, Formal verification of an optimizing compiler, Proceedings of the 18th International Conference on Term Rewriting and Applications (RTA'07), number 4533 in Lecture Notes in Computer Science, pp.1-1, 2007.

X. Leroy and S. Blazy, Formal Verification of a C-like Memory Model and Its Uses for Verifying Program Transformations, Journal of Automated Reasoning, vol.17, issue.5???6, pp.1-31, 2008.
DOI : 10.1007/s10817-008-9099-0
URL : https://hal.archives-ouvertes.fr/inria-00289542

A. Narayanan and G. Karsai, Towards Verifying Model Transformations, Electronic Notes in Theoretical Computer Science, vol.211, pp.191-200, 2008.
DOI : 10.1016/j.entcs.2008.04.041

X. Benoît-combemale, P. Crégut, X. Garoche, and . Thirioux, Essay on Semantics Definition in MDE - An Instrumented Approach for Model Verification, Journal of Software, vol.4, issue.9, pp.943-958, 2009.
DOI : 10.4304/jsw.4.9.943-958

H. Ehrig and C. Ermel, Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation, Proceedings of the 4th International Conference on Graph Transformations (ICGT '08), number 5214 in Lecture Notes in Computer Science, pp.194-210, 2008.
DOI : 10.1007/978-3-540-87405-8_14

B. Baudry, S. Ghosh, F. Fleurey, R. France, Y. L. Traon et al., Barriers to systematic model transformation testing, Communications of the ACM, vol.53, issue.6, pp.139-143, 2010.
DOI : 10.1145/1743546.1743583
URL : https://hal.archives-ouvertes.fr/inria-00542747

J. Hutchinson, J. Whittle, M. Rouncefield, and S. Kristoffersen, Empirical assessment of MDE in industry, Proceeding of the 33rd international conference on Software engineering, ICSE '11, pp.471-480, 2011.
DOI : 10.1145/1985793.1985858