index - Models And Reuse Engineering, Languages Access content directly

The work of the MaREL team is part of the software engineering framework and focuses on the automation of the several steps of the software lifecycle, from design to maintenance through the compilation and optimization of the code, the modularization and reuse of programs, as well as their semantics and dependabilty. These topics cover the entire approach, from theoretical studies to full-scale experiments, including the development of languages, models, algorithms and demonstrators.
The activities of the MaREL team focus on two research themes :

  • Model and program manipulation: model-driven engineering, component and object oriented languages, semantics and proof of programs.
  • Development methodologies for and through reuse: new features of languages integrating extensible and composable entities (components), transformation of applications (objects to components or others), software product lines.

The team also has a number of transverse activities concerning the development of formalisms and methodologies whose scope of application goes beyond the field of software engineering (formal concept analysis and automated proof).

Open Access Files

70 %

Number of full texts


Number of records


Publishers' policy on open archives

Mapping of collaborations


Closed-world assumption API RCA Inheritance Web services Reengineering Architecture evolution Components Multiple inheritance Feature Model Model driven engineering Variability Extraction de connaissances Coloring Accessibilité numérique Multiple subtyping Machine learning Object-oriented programming Code comprehension Modeling Clustering Genericity Java Architecture Constraint Component-Based Software Engineering Feature Software product lines Relational concept analysis Transformation Galois lattice Object-oriented Description logics Latent Semantic Indexing Analyse Formelle de Concepts Knowledge management Dynamic loading Software Architecture Software migration Analyse formelle de concepts MDA AOC-poset Late binding OSGi Analyse Relationnelle de Concepts Concept lattice FCA Class model Compilation Software product line Reverse Engineering Programming Software architecture Object-Oriented Model transformation Product variants Feature Models Migration Architecture logicielle Relational Concept Analysis Refactoring Feature Location Feature model UML Software Product Line OCL Formal Concept Analysis Embedded systems Software component Subtype test Feature documentation Reuse Cloud Adaptive compiler Composants Evolution rules Formal concept analysis Feature location Feature diagrams Concept Lattice GitHub Method tables Component Web Service Feature mining Frequent usage pattern Feature models Architecture Microservices Héritage multiple Class model factorization Perfect hashing Component reuse Reverse engineering Model Driven Engineering Identification SOA Downcast Lignes de produits logiciels Evolutionary algorithm GIS