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

69 %

Number of full texts


Number of records


Publishers' policy on open archives

Mapping of collaborations


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