index - Models And Reuse Engineering, Languages Access content directly

The work of the MaREL team is part of the software engineering framework and focuses on the automation of the several steps of the software lifecycle, from design to maintenance through the compilation and optimization of the code, the modularization and reuse of programs, as well as their semantics and dependabilty. These topics cover the entire approach, from theoretical studies to full-scale experiments, including the development of languages, models, algorithms and demonstrators.
The activities of the MaREL team focus on two research themes :

  • Model and program manipulation: model-driven engineering, component and object oriented languages, semantics and proof of programs.
  • Development methodologies for and through reuse: new features of languages integrating extensible and composable entities (components), transformation of applications (objects to components or others), software product lines.

The team also has a number of transverse activities concerning the development of formalisms and methodologies whose scope of application goes beyond the field of software engineering (formal concept analysis and automated proof).

Open Access Files

70 %

Number of full texts

396

Number of records

184

Publishers' policy on open archives

Mapping of collaborations

Tags

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