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

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