Les travaux de l’équipe MaREL s’insèrent dans le cadre du génie logiciel et s’intéressent à l’automatisation des étapes du cycle de vie du logiciel, de la conception à la maintenance en passant par la compilation et l’optimisation du code, à la modularisation et réutilisation des programmes, ainsi qu’à leur sémantique et sûreté de fonctionnement. Ces sujets couvrent la totalité de la démarche, de l’étude théorique aux expérimentations en vraie grandeur, en passant par le développement de langages, de modèles, d’algorithmes et de démonstrateurs.
Les activités de l’équipe MaREL se concentrent sur deux axes de recherche :

  • La manipulation de modèles et de programmes: ingénierie dirigée par les modèles, langages orientés composants et objets, sémantique et preuve de programmes.
  • Les méthodologies de développement pour et par la réutilisation : nouveaux traits de langages intégrant des entités extensibles et composables (composants), transformation d’applications (objets vers composants ou autres), lignes de produits logiciels.

L’équipe possède également un certain nombre d’activités transverses concernant le développement de formalismes et de méthodologies dont le périmètre d’application dépasse le domaine du génie logiciel (analyse formelle de concepts et preuve automatique).

Open Access Files

70 %

Nombre de Fichiers déposés

407

Nombre de Notices déposées

187

Politique des éditeurs en matière de dépôt dans une archive ouverte

Cartographie des collaborations

Tags

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