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

Chargement de la page

Nombre de Fichiers déposés

Chargement de la page

Nombre de Notices déposées

Chargement de la page

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

Cartographie des collaborations

Tags

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