index - Models And Reuse Engineering, Languages Accéder directement au contenu

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

69 %

Nombre de Fichiers déposés

385

Nombre de Notices déposées

185

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

Cartographie des collaborations

Tags

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