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

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