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 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). |
|