W. M. Van-der-aalst, Process discovery: An Introduction, Process Mining, vol.5, pp.125-156, 2011.

, Guide to the Systems Engineering Body of Knowledge (SEBoK), Version 1.9, 2017.

C. P. Baier and J. P. Katoen, Principles of Model Checking, 2008.

J. Bézivin, F. Jouault, and P. Valduriez, On the Need for Megamodels, Proceedings of the OOPSLA/GPCE 2004 workshop on Best Practices for Model-Driven Software Development, 2004.

G. S. Blair, N. Bencomo, and R. B. France, Models@run.time. IEEE Computer, vol.42, pp.22-27, 2009.

, Guide to the Software Engineering Body of Knowledge (SWEBOK), Version 3.0, 2014.

H. Brunelière, J. Cabot, G. Dupé, and F. Madiot, MoDisco: A model driven reverse engineering framework, Information & Software Technology, vol.56, pp.1012-1032, 2014.

H. L. Roger, T. M. Chiang, V. C. Barron, and . Storey, Reverse Engineering of Relational Databases: Extraction of an EER Model from a Relational Database, Data Knowl. Eng, vol.12, pp.90011-90017, 1994.

R. Benoit-combemale, E. Lämmel, and . Van-wyk, SLEBOK: The Software Language Engineering Body of Knowledge (Dagstuhl Seminar 17342), Dagstuhl Reports, vol.7, pp.45-54, 2018.

. , Data Management Body of Knowledge (DMBOK), 2017.

J. Davril, E. Delfosse, N. Hariri, M. Acher, J. Clelandhuang et al., Feature model extraction from large collections of informal product descriptions, Joint Meeting European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering, pp.290-300, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00859475

, Enterprise Architecture Body of Knowledge (EABOK, 2015.

, Business Analysis Body of Knowledge (BABOK), version 3. International Institute of Business Analysis (IIBA), IIBA, 2015.

V. Khusidman and W. Ulrich, Architecture-Driven Modernization: Transforming the Enterprise, 2007.

L. Lúcio, M. Amrani, J. Dingel, L. Lambers, R. Salay et al., Model transformation intents and their properties, Software and System Modeling, vol.15, pp.647-684, 2016.

T. Mens and P. Van-gorp, A Taxonomy of Model Transformation, Electr. Notes Theor. Comput. Sci, vol.152, pp.125-142, 2006.

P. Mohagheghi, V. Dehlen, and T. Neple, Definitions and Approaches to Model Quality in Model-based Software Development-A Review of Literature, Inf. Softw. Technol, vol.51, pp.1646-1669, 2009.

, Object Management Group, OMG Software Modernization standards, 2018.

R. Gary and . Oliver, Foundations of the Assumed Business Operations and Strategy Body of Knowledge (BOSBOK): An Outline of Shareable Knowledge, 2012.

, 2017. A guide to the Project Management Body of Knowledge (PMBOK guide)

H. Raffelt and B. Steffen, LearnLib: A Library for Automata Learning and Experimentation, Fundamental Approaches to Software Engineering (FASE) (Lecture Notes in Computer Science), vol.3922, pp.377-380, 2006.

, The International Society of Automation (ISA), 2018.

B. Selic, The Pragmatics of Model-Driven Development, IEEE Software, vol.20, pp.19-25, 2003.

M. Utting, A. Pretschner, and B. Legeard, A taxonomy of model-based testing approaches, Softw. Test., Verif. Reliab, vol.22, pp.297-312, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00940611

, 2017. Software Language Engineering Body of Knowledge (SLEBOK