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

383

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

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