Vous êtes ici

D4 - LANGAGE ET GÉNIE LOGICIEL

Responsable: Benoît Caillaud (Inria)

Description en anglais.

The research domain of the Language and Software Engineering Department is the study of software concepts, languages, methods and tools to build safe, secure and efficient software that is operating in dynamic and increasingly unpredictable environments. This field of research has been well established for at least 50 years, with key challenges lying in discovering new ways of decomposing and composing software. This is a never ending quest for modularity mechanisms supporting modular-* (i.e. modular design, modular composition, modular reasoning, modular verification, modular evolution, modular dynamic adaptation, etc.) on many dimensions, such as functional, extra-functional, Timeliness, Safety, Security, QoS, etc.

The recent convergence between embedded systems and distributed systems also induces new challenges in terms of self-management and security, in addition to the traditional issues of efficiency and functional correctness.

The department activities aim at covering several important aspects of software development, from the design of the software using model-driven engineering, to its implementation using modular, component-based and aspect-oriented programming techniques. A particular emphasis is put on the validation techniques (proof, testing, model checking) for the software and on the development of the machine-checked programming tools (compilers, program transformers and analysers) to automate this implementation process.

Rapports d'activités (pdf)

ARCHWARE
2012 ; 2013 ; 2014 ; 2015
CELTIQUE
2009 ; 2010 ; 2011 ; 2012 ; 2013 ; 2014 ; 2015 ;
DIVERSE
2014 ; 2015 ;
HYCOMES
2013 ; 2014 ; 2015 ;
LogicA
2013 ; 2014 ; 2015 ; 2016
PASS
2012 ; 2013 ; 2014 ; 2015
SUMO
2013 ; 2014 ; 2015 ;
TAMIS
--
TEA
2014 ; 2015 ;

    Séminaires

    Pour obtenir l'historique des séminaires de votre département : consultez la liste des départements