B. K. Aichernig and P. A. Salas, Test case generation by ocl mutation and constraint solving, Fifth International Conference on, p.6471, 2005.

S. Andova, M. G. Van-den-brand, L. J. Engelen, and T. Verhoe, Mde basics with a dsl focus, Formal Methods for Model-Driven Engineering, p.2157, 2012.

X. Blanc, I. Mounier, A. Mougenot, and T. Mens, Detecting model inconsistency through operation-based model construction, Software Engineering, 2008. ICSE'08. ACM/IEEE 30th International Conference on, p.511520, 2008.
URL : https://hal.archives-ouvertes.fr/hal-01303728

A. Boronat and J. Meseguer, An algebraic semantics for mof, Fundamental Approaches to Software Engineering, p.377391, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00567269

F. Büttner, H. Bauerdick, and M. Gogolla, Towards transformation of integrity constraints and database states, Proceedings. Sixteenth International Workshop on, p.823828, 2005.

J. Cabot and J. Conesa, Automatic integrity constraint evolution due to model subtract operations, Conceptual Modeling for Advanced Application Domains, p.350362, 2004.

J. Cabot and E. Teniente, Transformation techniques for ocl constraints, Science of Computer Programming, vol.68, issue.3, p.179195, 2007.

A. Cicchetti, D. D. Ruscio, R. Eramo, and A. Pierantonio, Automating co-evolution in model-driven engineering, Enterprise Distributed Object Computing Conference, p.222231, 2008.

A. Demuth, R. E. Lopez-herrejon, and A. Egyed, Automatically generating and adapting model constraints to support co-evolution of design models, Automated Software Engineering (ASE), 2012 Proceedings of the 27th IEEE/ACM International Conference on, p.302305, 2012.

A. Demuth, R. E. Lopez-herrejon, and A. Egyed, Supporting the coevolution of metamodels and constraints through incremental constraint management, Model-Driven Engineering Languages and Systems, p.287303, 2013.

A. Demuth, M. Riedl-ehrenleitner, R. E. Lopez-herrejon, and A. Egyed, Co-evolution of metamodels and models through consistent change propagation, Journal of Systems and Software, vol.111, p.281297, 2016.

J. García, O. Diaz, and M. Azanza, Model transformation co-evolution: A semi-automatic approach, Software Language Engineering, vol.7745, pp.144-163, 2013.

K. Hassam, S. Sadou, V. L. Gloahec, and R. Fleurquin, Assistance system for ocl constraints adaptation during metamodel evolution, Software Maintenance and Reengineering (CSMR), 2011 15th European Conference on, p.151160, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00664786

Z. Hemel, L. C. Kats, and E. Visser, Code generation by model transformation, ICMT, p.183198, 2008.

M. Herrmannsdoerfer, S. Benz, and E. Juergens, Cope-automating coupled evolution of metamodels and models, ECOOP 2009Object-Oriented Programming, p.5276, 2009.

M. Herrmannsdoerfer, D. Ratiu, and G. Wachsmuth, Language evolution in practice: The history of GMF, Software Language Engineering, p.322, 2010.

M. Herrmannsdoerfer, S. D. Vermolen, and G. Wachsmuth, An extensive catalog of operators for the coupled evolution of metamodels and models, Software Language Engineering, p.163182, 2011.

J. Hutchinson, J. Whittle, M. Rounceeld, and S. Kristoersen, Empirical assessment of mde in industry, Proceedings of the 33rd International Conference on Software Engineering, p.471480, 2011.

C. Jordi and G. Martin, Object constraint language (OCL): A denitive guide, 12th SFM, p.5890, 2012.

W. Kessentini, H. Sahraoui, and M. Wimmer, Automated metamodel/-model co-evolution using a multi-objective optimization approach, 2016.

D. E. Khelladi, R. Bendraou, and M. Gervais, Ad-room: a tool for automatic detection of refactorings in object-oriented models, Proceedings of the 38th International Conference on Software Engineering Companion, p.617620, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01374344

D. E. Khelladi, R. Hebig, R. Bendraou, J. Robin, and M. Gervais, Detecting complex changes during metamodel evolution, International Conference on Advanced Information Systems Engineering, p.263278, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01212805

D. E. Khelladi, R. Hebig, R. Bendraou, J. Robin, and M. Gervais, Detecting complex changes and refactorings during (meta) model evolution, Information Systems, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01374680

D. E. Khelladi, R. Hebig, R. Bendraou, J. Robin, and M. Gervais, Metamodel and constraints co-evolution: A semi automatic maintenance of ocl constraints, International Conference on Software Reuse, p.333349, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01374665

A. Kusel, J. Etzlstorfer, E. Kapsammer, W. Retschitzegger, J. Schoenboeck et al., Systematic co-evolution of ocl expressions, 11th APCCM 2015, vol.27, p.30, 2015.

A. Kusel, J. Etzlstorfer, E. Kapsammer, W. Retschitzegger, J. Schoenboeck et al., A systematic taxonomy of metamodel evolution impacts on ocl expressions, 2015.

P. Langer, M. Wimmer, P. Brosch, M. Herrmannsdörfer, M. Seidl et al., A posteriori operation detection in evolving software models, Journal of Systems and Software, vol.86, issue.2, p.551566, 2013.

G. Liebel, N. Marko, M. Tichy, A. Leitner, and J. Hansson, Assessing the state-of-practice of model-based engineering in the embedded systems domain, Model-Driven Engineering Languages and Systems, p.166182, 2014.

Y. Lin, J. Gray, and F. Jouault, Dsmdi: a dierentiation tool for domain-specic models, European Journal of Information Systems, vol.16, issue.4, p.349361, 2007.

S. Markovi¢ and T. Baar, Refactoring ocl annotated uml class diagrams, Model Driven Engineering Languages and Systems, p.280294, 2005.

S. Markovi¢ and T. Baar, Refactoring ocl annotated uml class diagrams. Software & Systems Modeling, vol.7, p.2547, 2008.

G. Mezei, T. Levendovszky, and H. Charaf, An optimizing ocl compiler for metamodeling and model transformation environments, Software Engineering Techniques: Design for Quality, p.6171, 2007.

M. Morisio, M. Ezran, and C. Tully, Success and failure factors in software reuse. Software Engineering, IEEE Transactions on, vol.28, issue.4, pp.340-357, 2002.

. Omg, Object management group. meta object facility (mof), 2015.

. Omg, Object management group, 2015.

. Omg, Object management group. query / views / transformations (qvt), 2015.

. Omg, Object management group. unied modeling language (uml), 2015.

. Omg, Reference metamodel for the express information modeling language, 2015.

, OMG. Requirements interchange format, 2015.

, OMG. Structured metrics metamodel, 2015.

. Omg, Uml prole for national information exchange model, 2015.

. Omg, Unied prole for the department of defense architecture framework (dodaf) and the ministry of defence architecture framework (modaf), 2015.

J. Schoenboeck, A. Kusel, J. Etzlstorfer, E. Kapsammer, W. Schwinger et al., Care: A constraint-based approach for re-establishing conformance-relationships, Proceedings of the Tenth Asia-Pacic Conference on Conceptual Modelling, vol.154, p.1928, 2014.

D. Shirtz, M. Kazakov, and Y. Shaham-gafni, Adopting model driven development in a large nancial organization, Model Driven Architecture-Foundations and Applications, p.172183, 2007.

D. Steinberg, F. Budinsky, E. Merks, and M. Paternostro, EMF: eclipse modeling framework, 2008.

J. Tolvanen and S. Kelly, Metaedit+: dening and using integrated domain-specic modeling languages, Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications, p.819820, 2009.

A. Toulmé and I. Inc, Presentation of emf compare utility, Eclipse Modeling Symposium, p.18, 2006.

G. Wachsmuth, Metamodel adaptation and model co-adaptation, ECOOP 2007Object-Oriented Programming, p.600624, 2007.

C. Wohlin, P. Runeson, M. Höst, M. C. Ohlsson, B. Regnell et al., Experimentation in software engineering, 2012.

Z. Xing and E. Stroulia, Umldi: an algorithm for object-oriented design dierencing, Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering, p.5465, 2005.