D. Méndez-acuña, J. A. Galindo, T. Degueule, B. Combemale, and B. Baudry, Leveraging Software Product Lines Engineering in the Construction of Domain-Specific Languages: A Systematic Literature Review, Computer Languages, Systems & Structures, 2016.

C. Paper-)-david-méndez-acuña, J. A. Galindo, B. Combemale, A. Blouin, B. Baudry et al., Reverse Engineering Reusable Language Modules from Legacy DSLs, Proceedings of the 15th International Conference on Software Reuse, 2016.

T. Demo-paper-)-david-méndez-acuña, J. A. Galindo, B. Combemale, A. Blouin, and B. Baudry, Puzzle: A tool for analyzing and extracting specification clones in DSLs, Proceedings of the 15th International Conference on Software Reuse, 2016.

K. Jézéquel, D. Méndez-acuña, T. Degueule, B. Combemale, and O. Barais, When Systems Engineering Meets Language Engineering, Complex Systems Design & Management (CSD&M'14)

D. Poster, B. Méndez-acuña, B. Combemale, and . Baudry, Variability Management in Domain Specific Languages

M. Chechik, A. Gurfinkel, S. Uchitel, and S. Ben-david, Raising level of abstraction with partial models: A vision, Proceedings of Internaional Workshop on Usable Verification, 2010.

M. Mernik, J. Heering, and A. M. Sloane, When and how to develop domain-specific languages, ACM Computing Surveys, vol.37, issue.4, 2005.
DOI : 10.1145/1118890.1118892

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

J. Jézéquel, D. Méndez-acuña, T. Degueule, B. Combemale, and O. Barais, When systems engineering meets software language engineering, Proceedings of International Conference on Complex Systems Design & Management , CSD&M 2014, 2014.

S. Oney, B. Myers, and J. Brandt, ConstraintJS, Proceedings of the 25th annual ACM symposium on User interface software and technology, UIST '12, pp.229-238
DOI : 10.1145/2380116.2380146

T. Lodderstedt, D. Basin, and J. Doser, SecureUML: A UML-Based Modeling Language for Model-Driven Security, Proceedings of the International Conference on the Unified Modeling Language, 2002.
DOI : 10.1007/3-540-45800-X_33

A. Ribeiro, A. Rodrigues, and . Silva, XIS-mobile, Proceedings of the 29th Annual ACM Symposium on Applied Computing, SAC '14, 2014.
DOI : 10.1145/2554850.2554926

M. P. Ward, Language oriented programming. Software?Concepts and Tools, 1995.

J. Gray, K. Fisher, C. Consel, G. Karsai, M. Mernik et al., DSLs, Companion to the 23rd ACM SIGPLAN conference on Object oriented programming systems languages and applications, OOPSLA Companion '08, 2008.
DOI : 10.1145/1449814.1449863

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

M. Funk and M. Rauterberg, PULP Scription: A DSL for Mobile HTML5 Game Applications. ICEC 2012, 2012.
DOI : 10.1007/978-3-642-33542-6_65

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

P. James and M. Roggenbach, Encapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme Plans, Mathematics in Computer Science, vol.24, issue.1, p.2014
DOI : 10.1007/s00165-005-0076-7

URL : http://arxiv.org/abs/1403.3034

A. Iliasov, I. Lopatkin, and A. Romanovsky, The SafeCap Platform for Modelling Railway Safety and Capacity. SAFECOMP 2013, 2013.

S. Zschaler, P. Sánchez, J. Santos, M. Alférez, A. Rashid et al., VML* ??? A Family of Languages for Variability Management in Software Product Lines, Proceedings of the International Conference on Software Language Engineering, 2010.
DOI : 10.1007/978-3-642-12107-4_7

T. Kühn, W. Cazzola, and D. M. Olivares, Choosy and picky, Proceedings of the 19th International Conference on Software Product Line, SPLC '15, 2015.
DOI : 10.1145/1985793.1985856

J. Bosco and F. Filho, Leveraging model-based product lines for systems engineering . Theses, 2014.

J. White, J. H. Hill, J. Gray, S. Tambe, A. S. Gokhale et al., Improving Domain-Specific Language Reuse with Software Product Line Techniques, IEEE Software, vol.26, issue.4, pp.47-53, 2009.
DOI : 10.1109/MS.2009.95

J. Liebig, R. Daniel, and S. Apel, Feature-oriented language families, Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems, VaMoS '13, 2013.
DOI : 10.1145/2430502.2430518

T. Kühn and W. Cazzola, Apples and oranges, Proceedings of the 20th International Systems and Software Product Line Conference on, SPLC '16, 2016.
DOI : 10.1145/2648511.2648529

D. Harel and B. Rumpe, Meaningful modeling: what's the semantics of "semantics"?, Computer, vol.37, issue.10, 2004.
DOI : 10.1109/MC.2004.172

B. Selic, The Theory and Practice of Modeling Language Design for Model-Based Software Engineering???A Personal Perspective, Proceedings of the International Summers School on Generative and Transformational Techniques in Software Engineering III, 2011.
DOI : 10.1007/978-3-642-18023-1_7

M. Vöelter, Language and IDE Modularization and Composition with MPS, Proceedings of the International Summer School on Generative and Transformational Techniques in Software Engineering IV, GTTSE 2011, 2011.
DOI : 10.1007/978-3-540-73589-2_27

D. Peter and . Mosses, The varieties of programming language semantics and their uses, International Conference on Perspectives of System Informatics, 2001.

W. Philipp, D. Kutter, L. Schweizer, and . Thiele, Integrating domain specific language design in the software life cycle, Internaional Conference on Applied Formal Methods, FM 1998, 1998.

R. Mannadiar and H. Vangheluwe, Debugging in Domain-Specific Modelling, International Conference on Software Language Engineering, SLE 2010, 2010.
DOI : 10.1007/978-3-642-19440-5_17

A. David and . Schmidt, Denotational Semantics: A Methodology for Language Development, 1986.

G. Gupta and E. Pontelli, Specification, Implementation, and Verification of Domain Specific Languages: A Logic Programming-Based Approach, Computational: Logic Programming and Beyond, 2002.
DOI : 10.1007/3-540-45628-7_10

P. Schobbens, P. Heymans, J. Trigaux, and Y. Bontemps, Generic semantics of feature diagrams, Computer Networks, vol.51, issue.2, pp.456-479, 2007.
DOI : 10.1016/j.comnet.2006.08.008

S. Erdweg, T. Van-der-storm, M. Völter, L. Tratt, R. Bosman et al., Evaluating and comparing language workbenches, Computer Languages, Systems & Structures, vol.44, pp.24-47, 2015.
DOI : 10.1016/j.cl.2015.08.007

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

B. Langlois, C. E. Jitia, and E. Jouenne, Dsl classification, Proceedings of the International Workshop on Domain-Specific Modeling, 2007.

H. Krahn, B. Rumpe, and S. Völkel, MontiCore: a framework for compositional development of domain specific languages, International Journal on Software Tools for Technology Transfer, vol.4, issue.2, pp.353-372, 2010.
DOI : 10.5381/jot.2005.4.2.c2

L. Renggli and T. G??rbag??rba, Why Smalltalk wins the host languages shootout, Proceedings of the International Workshop on Smalltalk Technologies, IWST '09, 2009.
DOI : 10.1145/1735935.1735954

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

M. Fowler, Language workbenches: The killer-app for domain specific languages, 2005.

E. Visser, G. Wachsmuth, A. Tolmach, P. Neron, V. Vergu et al., A Language Designer's Workbench, Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software, Onward! '14, 2014.
DOI : 10.1145/2661136.2661149

J. Frank, K. Van-der-linden, E. Schmid, and . Rommes, Software Product Lines in Action: The Best Industrial Practice in Product Line Engineering, 2007.

K. Pohl, G. Böckle, and F. J. Van-der-linden, Software Product Line Engineering: Foundations, Principles and Techniques, 2005.
DOI : 10.1007/3-540-28901-1

C. Kyo, . Kang, G. Sholom, . Cohen, A. James et al., Feature-oriented domain analysis (foda) feasibility study, 1990.

D. Benavides, S. Segura, and A. Ruiz-cortés, Automated analysis of feature models 20 years later: A literature review, Information Systems, vol.35, issue.6, 2010.
DOI : 10.1016/j.is.2010.01.001

R. R. Macala, . Jr, L. D. Stuckey, and D. C. Gross, Managing domain-specific, productline development. Software, p.13, 1996.
DOI : 10.1109/52.493021

W. Cazzola and D. Poletti, DSL evolution through composition, Proceedings of the 7th Workshop on Reflection, AOP and Meta-Data for Software Evolution, RAM-SE '10, 2010.
DOI : 10.1145/1890683.1890689

T. Kosar, S. Bohra, and M. Mernik, Domain-Specific Languages: A Systematic Mapping Study, Information and Software Technology, vol.71, p.71, 2016.
DOI : 10.1016/j.infsof.2015.11.001

L. Marques, D. L. Nascimento, P. S. Viana, D. Neto, V. Martins et al., A systematic mapping study on domain-specific languages, Proceedings of the International Conference on Software Engineering Advances, ICSEA 2012, 2012.

I. Ober, L. Féraud, and C. Percebois, Dealing with variability within a family of domain-specific languages: comparative analysis of different techniques, Innovations in Systems and Software Engineering, vol.20, issue.5, 2010.
DOI : 10.1007/s11334-009-0117-0

A. Kusel, J. Schönböck, M. Wimmer, G. Kappel, W. Retschitzegger et al., Reuse in model-to-model transformation languages: are we there yet? Software & Systems Modeling, p.2013
DOI : 10.1007/s10270-013-0343-7

B. Kitchenham, R. Pretorius, D. Budgen, O. Pearl-brereton, M. Turner et al., Systematic literature reviews in software engineering ??? A tertiary study, Information and Software Technology, vol.52, issue.8, p.52, 2010.
DOI : 10.1016/j.infsof.2010.03.006

S. Erdweg, P. G. Giarrusso, and T. Rendel, Language composition untangled, Proceedings of the Twelfth Workshop on Language Descriptions, Tools, and Applications, LDTA '12, 2012.
DOI : 10.1145/2427048.2427055

A. Haber, M. Look, A. N. Perez, P. Mir-seyed-nazari, B. Rumpe et al., Integration of heterogeneous modeling languages via extensible and composable language components, Proceedings of the International Conference on Model-Driven Engineering and Software Development, 2015.

M. Torgersen, The Expression Problem Revisited, Proceedings of the European Conference in Object-Oriented Programming, 2004.
DOI : 10.1007/978-3-540-24851-4_6

M. Keating, Hierarchical State Machines, The Simple Art of SoC Design, pp.47-54, 2011.
DOI : 10.1007/978-1-4419-8586-6_4

M. Mernik, An object-oriented approach to language compositions for software language engineering, Journal of Systems and Software, vol.86, issue.9, p.2013
DOI : 10.1016/j.jss.2013.04.087

T. Gschwind, Automated Adaptation of Component Interfaces with Type Based Adaptation
DOI : 10.1007/978-1-4471-2350-7_5

K. Ostermann, P. G. Giarrusso, C. Kästner, and T. Rendel, Revisiting Information Hiding: Reflections on Classical and Nonclassical Modularity, Proceedings of the European Conference on Object-oriented Programming, 2011.
DOI : 10.1006/inco.1994.1093

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

D. L. Parnas, On the criteria to be used in decomposing systems into modules, Commun. ACM, vol.15, issue.12, 1972.

X. Wu, B. R. Bryant, J. Gray, and M. Mernik, Component-based LR parsing, Computer Languages, Systems & Structures, vol.36, issue.1, 2010.
DOI : 10.1016/j.cl.2009.01.002

M. Victoria-cengarle, H. Grönniger, and B. Rumpe, Variability within modeling language definitions, Proceedings of the International Conference on Model Driven Engineering Languages and Systems, 2009.

H. Grönniger and B. Rumpe, Modeling Language Variability, Proceedings of the Workshop on Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems, 2010.
DOI : 10.1007/978-3-642-21292-5_2

B. Mora, F. García, F. Ruiz, and M. Piattini, Graphical versus textual software measurement modelling: an empirical study, Software Quality Journal, vol.8, issue.6, 2011.
DOI : 10.5381/jot.2009.8.6.c6

H. Eichelberger and K. Schmid, A systematic analysis of textual variability modeling languages, Proceedings of the 17th International Software Product Line Conference on, SPLC '13, pp.12-21, 2013.
DOI : 10.1145/2491627.2491652

M. L. Crane and J. Dingel, UML vs. Classical vs. Rhapsody statecharts: Not all models are created equal, Software & Systems Modeling, vol.6, issue.4, 2007.

M. Rosenmüller, N. Siegmund, T. Thüm, and G. Saake, Multidimensional variability modeling, Proceedings of the International Workshop on Variability Modeling of Software-Intensive Systems, 2011.

K. Czarnecki, S. Helsen, and U. Eisenecker, Staged Configuration Using Feature Models, International Conference in Software Product Lines, 2004.
DOI : 10.1007/978-3-540-28630-1_17

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

T. Dinkelaker, M. Monperrus, and M. Mezini, Supporting variability with late semantic adaptations of domain-specific modeling languages, Proceedings of the International Workshop on Composition and Variability, 2010.
URL : https://hal.archives-ouvertes.fr/hal-01575352

M. Mernik, M. Viljem?umerviljem?viljem?umer, E. Leni?, and . Avdi?au?evi´avdi?au?evi´c, Implementation of multiple attribute grammar inheritance in the tool LISA, ACM SIGPLAN Notices, vol.34, issue.6, 1999.
DOI : 10.1145/606666.606678

M. Mernik and . Viljem?umerviljem?viljem?umer, Incremental programming language development, Computer Languages, Systems & Structures, vol.31, issue.1, 2005.
DOI : 10.1016/j.cl.2004.02.001

D. Rebernak, M. Mernik, P. R. Henriques, and M. Pereira, AspectLISA: An Aspect-oriented Compiler Construction System Based on Attribute Grammars, Electronic Notes in Theoretical Computer Science, vol.164, issue.2, 2006.
DOI : 10.1016/j.entcs.2006.10.003

URL : http://doi.org/10.1016/j.entcs.2006.10.003

J. Porubän, M. Sabo, J. Kollár, and M. Mernik, Abstract syntax driven language development, Proceedings of the International Workshop on Formalization of Modeling Languages, FML '10, 2010.
DOI : 10.1145/1943397.1943399

T. Degueule, A. Benoit-combemale, O. Blouin, J. Barais, and . Jézéquel, Melange: A meta-language for modular and reusable development of DSLs, Proceedings of the International Conference on Software Language Engineering, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01197038

P. Muller, F. Fleurey, and J. Jézéquel, Weaving Executability into Object-Oriented Meta-languages, Proceedings of the International Conference on Model Driven Engineering Languages and Systems, MODELS 2005, 2005.
DOI : 10.1007/11557432_19

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

J. Jézéquel, O. Benoit-combemale, M. Barais, F. Monperrus, and . Fouquet, Mashup of metalanguages and its implementation in the kermeta language workbench, Software & Systems Modeling, vol.14, issue.2, p.2015

T. Cleenewerck, Component-Based DSL Development, International Conference on Generative Programming and Component Engineering, 2003.
DOI : 10.1007/978-3-540-39815-8_15

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

D. Ratiu, M. Vöelter, Z. Molotnikov, and B. Schaetz, Implementing modular domain specific languages and analyses, Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation, MoDeVVa '12, 2012.
DOI : 10.1145/2427376.2427383

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

T. Cleenewerck and I. Kurtev, Separation of concerns in translational semantics for DSLs in model engineering, Proceedings of the 2007 ACM symposium on Applied computing , SAC '07, 2007.
DOI : 10.1145/1244002.1244218

J. De, L. , and E. Guerra, Deep meta-modelling with metadepth, Objects, Models, Components, Patterns, 2010.

B. Meyers, A. Cicchetti, E. Guerra, J. , and L. , Composing textual modelling languages in practice, Proceedings of the 6th International Workshop on Multi-Paradigm Modeling, MPM '12, 2012.
DOI : 10.1145/2508443.2508449

I. Melo, M. Sánchez, and J. Villalobos, Composing graphical languages, Proceedings of the First Workshop on the Globalization of Domain Specific Languages, GlobalDSL '13, 2013.
DOI : 10.1145/2489812.2489816

L. Pedro, M. Risoldi, D. Buchs, B. Barroca, and V. Amaral, Composing Visual Syntax for Domain Specific Languages, Human-Computer Interaction . Novel Interaction Methods and Techniques, 2009.
DOI : 10.1016/S1571-0661(05)80761-3

URL : https://archive-ouverte.unige.ch/unige:5106/ATTACHMENT01

L. Pedro, M. Risoldi, D. Buchs, and V. Amaral, Developing domainspecific modeling languages by metamodel semantic enrichment and composition: A case study, Proceedings of the Workshop on Domain-Specific Modeling, 2010.

S. Srdan?zivkovi´srdan?zivkovi´c and D. Karagiannis, Towards metamodelling-in-the-large: Interface-based composition for modular metamodel development, Enterprise, Business-Process and Information Systems Modeling of Lecture Notes in Business Information Processing, 2015.

C. Wende, N. Thieme, and S. Zschaler, A Role-Based Approach towards Modular Language Engineering, Proceedings of the International Conference on Software Language Engineering, 2010.
DOI : 10.1007/978-3-642-12107-4_19

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

T. Dinkelaker, C. Wende, and H. Lochmann, Implementing and Composing MDSD-Typical DSLs, 2009.

H. Krahn, B. Rumpe, and S. Völkel, Integrated Definition of Abstract and Concrete Syntax for Textual Languages, Proceedings of the International Conference on Model Driven Engineering Languages and Systems, 2007.
DOI : 10.1007/978-3-540-75209-7_20

H. Krahn, B. Rumpe, and S. Völkel, MontiCore: Modular Development of Textual Domain Specific Languages, Proceedings of the International Conference TOOLS EUROPE, 2008.
DOI : 10.1007/978-3-540-69824-1_17

W. Cazzola and I. Speziale, Sectional domain specific languages, Proceedings of the 4th workshop on Domain-specific aspect languages, DSAL '09, 2009.
DOI : 10.1145/1509307.1509311

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

W. Cazzola, Domain-Specific Languages in Few Steps, Proceedings of International Conference on Software Composition, 2012.
DOI : 10.1007/978-3-642-30564-1_11

W. Cazzola and E. Vacchi, Neverlang 2 ??? Componentised Language Development for the JVM, Software Composition, 2013.
DOI : 10.1007/978-3-642-39614-4_2

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

E. Vacchi and W. Cazzola, Neverlang: A framework for feature-oriented language development, Computer Languages, Systems & Structures, vol.43, 2015.
DOI : 10.1016/j.cl.2015.02.001

P. Klint, A meta-environment for generating programming environments, ACM Transations of Software Engineering Methodologies, vol.2, issue.2, 1993.
DOI : 10.1145/151257.151260

URL : https://pure.uva.nl/ws/files/3383380/34928_157148y.pdf

G. J. Mark, J. Van-den-brand, P. Heering, P. A. Klint, and . Olivier, Compiling language definitions: The asf+sdf compiler, ACM Transactions Programming Languages Systems, vol.24, issue.4, 2002.

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, 2008.
DOI : 10.1016/j.scico.2007.11.003

J. Y. Marchand, B. Combemale, and B. Baudry, A categorical model of model merging and weaving, 2012 4th International Workshop on Modeling in Software Engineering (MISE), p.2012, 2012.
DOI : 10.1109/MISE.2012.6226017

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

E. Vacchi, W. Cazzola, S. Pillay, and B. Combemale, Variability Support in Domain-Specific Language Development, International Conference on Software Language Engineering, SLE 2013, 2013.
DOI : 10.1007/978-3-319-02654-1_5

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

E. Vacchi, W. Cazzola, B. Combemale, and M. Acher, Automating variability model inference for component-based language implementations, Proceedings of the 18th International Software Product Line Conference on, SPLC '14, 2014.
DOI : 10.1145/2648511.2648529

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

B. Mayoh, Attribute grammars and mathematical semantics, SIAM Journal on Computing, vol.10, issue.3, 1981.
DOI : 10.7146/dpb.v7i90.6505

F. Jouault and I. Kurtev, Transforming Models with ATL, Satellite Events at the MoDELS 2005 Conference, 2006.
DOI : 10.1007/11663430_14

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

W. Cazzola and D. M. Olivares, Gradually learning programming supported by a growable programming language, IEEE Transactions on Emerging Topics in Computing, issue.99, p.2015
DOI : 10.1109/tetc.2015.2446192

D. Kolovos, R. F. Paige, T. Kelly, and F. A. Polack, Requirements for domain-specific languages, Proceedings of 1st ECOOP Workshop on Domain-Specific Program Development, 2006.

L. P. Tizzei, M. Dias, M. F. Cecília, A. Rubira, J. Garcia et al., Components meet aspects: Assessing design stability of a software product line, Information and Software Technology, vol.53, issue.2, pp.121-136, 2011.
DOI : 10.1016/j.infsof.2010.08.007

A. Marcelo, R. Vincenzi, J. C. Maldonado, M. E. Delamaro, E. S. Spoto et al., Component-Based Software Quality: Methods and Techniques, chapter Component-Based Software: An Overview of Testing, pp.99-127, 2003.

A. José, H. Galindo, D. Turner, J. Benavides, and . White, Testing variability-intensive systems using automated analysis: an application to android, Software Quality Journal, pp.1-41, 2014.

H. Wu, J. Gray, and M. Mernik, Unit Testing for Domain-Specific Languages, Proceedings on the 2nd Working Conference on Domain-Specific Languages, DSL 2009, pp.125-147, 2009.
DOI : 10.1145/267580.267590

O. Semeráth, A. Barta, Z. Horváth, D. Szatmári, and . Varró, Formal validation of domain-specific languages with derived features and wellformedness constraints, Software & Systems Modeling, pp.1-36, 2015.

M. Inoki and Y. Fukazawa, approach, Proceedings of the 2007 ACM symposium on Applied computing , SAC '07, pp.1207-1214, 2007.
DOI : 10.1145/1244002.1244266

M. Svahnberg and J. Bosch, Evolution in software product lines: two cases, Journal of Software Maintenance: Research and Practice, vol.11, issue.6, pp.391-422, 1999.
DOI : 10.1002/(SICI)1096-908X(199911/12)11:6<391::AID-SMR199>3.0.CO;2-8

P. Laird and S. Barrett, Towards Dynamic Evolution of Domain Specific Languages, Proceedings of 2nd International Conference on Software Language Engineering: Second International Conference, pp.144-153, 2009.
DOI : 10.1007/978-3-642-12107-4_11

P. Vander-alves, L. Matos, P. Cole, G. Borba, and . Ramalho, Extracting and Evolving Mobile Games Product Lines, pp.70-81, 2005.

H. Kim, Applying Product Line to the Embedded Systems, pp.163-171
DOI : 10.1007/11751595_18

C. Beno??tbeno??t-combemale, C. Hardebolle, F. Jacquet, B. Boulanger, and . Baudry, Bridging the chasm between executable metamodeling and models of computation, Proceedings of the International Conference on Software Language Engineering, SLE 2012, pp.184-203, 2013.

J. Steel and J. Jézéquel, On model typing. Software & Systems Modeling, pp.401-413, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00477547

C. Guy, B. Combemale, S. Derrien, J. R. Steel, and J. Jézéquel, On Model Subtyping, Proceedings of the 8th European Conference on Modelling Foundations and Applications, ECMFA 2012, pp.400-415
DOI : 10.1007/978-3-642-31491-9_30

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

C. Clifton, G. T. Leavens, C. Chambers, and T. Millstein, Multijava: Modular open classes and symmetric multiple dispatch for java, Proceedings of the 15th ACM SIGPLAN Conference on Object-oriented Programming, Systems, Languages, and Applications, OOPSLA '00, pp.130-145, 2000.

C. Paul and . Clements, A survey of architecture description languages, Proceedings of the 8th International Workshop on Software Specification and Design, IWSSD '96, p.16, 1996.

F. Roos-frantz, D. Benavides, A. Ruiz-cortés, A. Heuer, and K. Lauenroth, Quality-aware analysis in product line engineering with the orthogonal variability model, Software Quality Journal, vol.82, issue.8, pp.519-565, 2012.
DOI : 10.1016/j.jss.2009.02.011

E. Santana-de-almeida, J. Cláudio-cordeiro-pires-mascena, A. P. Carvalho-cavalcanti, A. Alvaro, V. Garcia et al., The Domain Analysis Concept Revisited: A Practical Approach, Proceedings of the 9th International Conference on Reuse of Off-the-Shelf Components, ICSR'06, pp.43-57, 2006.
DOI : 10.1007/11763864_4

C. Gonzalez-perez, T. Mcbride, and B. Henderson-sellers, A Metamodel for Assessable Software Development Methodologies, Software Quality Journal, vol.7, issue.2, pp.195-214, 2005.
DOI : 10.1007/s11219-005-6217-7

J. Nawrocki, L. Olek, M. Jasinski, B. Pali´swiatpali´swiat, B. Walter et al., Balancing Agility and Discipline with XPrince, Second International Workshop on Rapid Integration of Software Engineering Techniques, RISE 2005, pp.266-277, 2006.
DOI : 10.1109/52.854064

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

R. Tairas, M. Mernik, and J. Gray, Models in software engineering. chapter Using Ontologies in the Domain Analysis of Domain-Specific Languages, pp.332-342, 2009.

E. Dilorenzo, S. Filho, R. Oliveira-cavalcanti, D. F. Neiva, T. H. Oliveira et al., Evaluating domain design approaches using systematic review, Proceedings of the 2Nd European Conference on Software Architecture, ECSA '08, pp.50-65, 2008.

J. Cheesman and J. Daniels, UML Components: A Simple Process for Specifying Component-based Software, 2000.

I. Lahoud, D. Monticolo, V. Hilaire, and S. Gomes, A Metamodeling and Transformation Approach for Knowledge Extraction, Proceedings of 4th International Conference on Networked Digital Technologies, NDT 2012, pp.54-68
DOI : 10.1007/978-3-642-30567-2_6

D. Harel and H. Kugler, The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML), Lecture Notes in Computer Science, vol.3147, pp.325-354, 2004.
DOI : 10.1007/978-3-540-27863-4_19

D. Harel and A. Naamad, The STATEMATE semantics of statecharts, ACM Transactions on Software Engineering and Methodology, vol.5, issue.4, pp.293-333, 1996.
DOI : 10.1145/235321.235322

L. C. Briand, J. W. Daly, and J. Wüst, A unified framework for cohesion measurement in object-oriented systems, Proceedings Fourth International Software Metrics Symposium, pp.65-117, 1998.
DOI : 10.1109/METRIC.1997.637164

L. C. Briand, J. W. Daly, and J. K. Wüst, A unified framework for coupling measurement in object-oriented systems, IEEE Transactions on Software Engineering, vol.25, issue.1, pp.91-121, 1999.
DOI : 10.1109/32.748920

D. Lucrédio, R. P. Fortes, E. S. Almeida, and S. L. Meira, Performing Domain Analysis for Model-Driven Software Reuse, Proceedings of the 10th International Conference on Software Reuse: High Confidence Software Reuse in Large Systems, ICSR '08, pp.200-211, 2008.
DOI : 10.1007/978-3-540-68073-4_19

O. Maqbool and H. Babri, Hierarchical Clustering for Software Architecture Recovery, IEEE Transactions on Software Engineering, vol.33, issue.11, pp.759-780, 2007.
DOI : 10.1109/TSE.2007.70732

J. Jang, J. , and B. H. Cheng, Using formal methods to construct a software component library, Proceedings of 4th European Software Engineering Conference , ESEC '93, pp.397-417, 1993.
DOI : 10.1007/3-540-57209-0_27

E. Bagheri and D. Gasevic, Assessing the maintainability of software product line feature models using structural metrics, Software Quality Journal, vol.5, issue.2, pp.579-612, 2011.
DOI : 10.1016/j.websem.2006.11.006

C. L. Lennart, R. Kats, E. Vermaas, and . Visser, Testing domain-specific languages, Proceedings of the ACM International Conference Companion on Object Oriented Programming Systems Languages and Applications Companion, pp.25-26, 2011.

E. Bousse, J. Corley, B. Combemale, J. Gray, and B. Baudry, Supporting efficient and advanced omniscient debugging for xdsmls, Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, SLE 2015, pp.137-148, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01182517

S. Mancoridis, B. S. Mitchell, C. Rorres, Y. Chen, and E. R. Gansner, Using automatic clustering to produce high-level system organizations of source code, Proceedings. 6th International Workshop on Program Comprehension. IWPC'98 (Cat. No.98TB100242), p.45, 1998.
DOI : 10.1109/WPC.1998.693283

J. Mayrand, C. Leblanc, and E. M. Merlo, Experiment on the automatic detection of function clones in a software system using metrics, Proceedings of International Conference on Software Maintenance ICSM-96, pp.244-253, 1996.
DOI : 10.1109/ICSM.1996.565012

J. Rubin, K. Czarnecki, and M. Chechik, Cloned product variants: from ad-hoc to managed software product lines, International Journal on Software Tools for Technology Transfer, vol.3, issue.3, pp.627-646, 2015.
DOI : 10.1145/1985793.1985856

D. Méndez-acuña, J. A. Galindo, B. Combemale, A. Blouin, and B. Baudry, Reverse-Engineering Reusable Language Modules from Legacy Domain-Specific Languages, Proceedings of the International Conference on Software Reuse, ICSR 2016, 2016.
DOI : 10.1007/978-3-319-35122-3_24

E. Roberto, L. Lopez-herrejon, J. A. Linsbauer, J. A. Galindo, D. Parejo et al., An assessment of searchbased techniques for reverse engineering feature models, Journal of Systems and Software, vol.103, pp.353-369, 2015.

J. Martinez, T. Ziadi, T. F. Bissyandé, J. Klein, and Y. L. Traon, Bottom-up adoption of software product lines, Proceedings of the 19th International Conference on Software Product Line, SPLC '15, pp.101-110, 2015.
DOI : 10.1145/2554850.2554874

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

J. Martinez, T. Ziadi, T. F. Bissyandé, J. Klein, and Y. Traon, Automating the Extraction of Model-Based Software Product Lines from Model Variants (T), 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), pp.396-406, 2015.
DOI : 10.1109/ASE.2015.44

D. Lucanu and V. Rusu, Program equivalence by circular reasoning, Proceedings of the International Conference on Integrated Formal Methods, IFM 2013, pp.362-377, 2013.
DOI : 10.1007/s00165-014-0319-6

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

B. Biegel and S. Diehl, JCCD, Proceedings of the IEEE/ACM international conference on Automated software engineering, ASE '10, pp.167-168, 2010.
DOI : 10.1145/1858996.1859029

K. G. Wesley, R. E. Assunçassunç?assunção, L. Lopez-herrejon, S. R. Linsbauer, A. Vergilio et al., Extracting variability-safe feature models from source code dependencies in system variants, Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation, GECCO '15, pp.1303-1310, 2015.

S. She, U. Ryssel, N. Andersen, A. Wasowski, and K. Czarnecki, Efficient synthesis of feature models Information and Software Technology, Special Sections from " Asia-Pacific Software Engineering Conference (APSEC), 2012 " and " Software Product Line conference (SPLC), pp.1122-1143, 2012.

C. Berger, H. Rendel, B. Rumpe, C. Busse, T. Jablonski et al., Product line metrics for legacy software in practice, Workshop Proceedings of the International Software Product Lines Conference, pp.247-250, 2010.

D. Eppstein, Learning Sequences: An Efficient Data Structure for Learning Spaces, pp.287-304, 2013.
DOI : 10.1007/978-3-642-35329-1_13

C. Limongelli, F. Sciarrone, M. Temperini, and G. Vaste, Lecomps5: A Framework for the Automatic Building of Personalized Learning Sequences, pp.296-303, 2008.
DOI : 10.1007/978-3-540-87781-3_33

D. Harel, Statecharts: a visual formalism for complex systems, Science of Computer Programming, vol.8, issue.3, pp.231-274, 1987.
DOI : 10.1016/0167-6423(87)90035-9

URL : http://doi.org/10.1016/0167-6423(87)90035-9

S. Fischer and H. Kuchen, Data-flow testing of declarative programs, ACM SIGPLAN Notices, vol.43, issue.9, pp.201-212, 2008.
DOI : 10.1145/1411203.1411233

S. Li, A matrix-based clustering approach for the decomposition of design problems, Research in Engineering Design, vol.17, issue.4, pp.263-278, 2011.
DOI : 10.1162/evco.2009.17.4.17409