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

Chargement de la page

Number of records

Chargement de la page

Publishers' policy on open archives

Mapping of collaborations


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