Fabien DAGNAT
Enseignant-chercheur
Dépt. Informatique
Téléphone : 02 29 00 14 09
Télécopie : 02 29 00 12 82
Courriel :
fabien.dagnat@telecom-bretagne.eu
Accueil
>
Activités de recherche
Activités de recherche
Je suis co-responsable de l'équipe de recherche
CAMA
.
Mes principaux centres d'intérêts sont :
Le déploiement (de logiciels, de systèmes, de composants logiciels),
L'adaptation dynamique de logiciels,
Les contraintes sur les logiciels liées a la mobilité,
Composition statique et dynamique et adaptation de composants dans le cadre des projets incitatifs du GET : CARISM et CARISM II.
Les notions de code mobile et de chargement à chaud surtout leur implication au niveau du typage des langages et leur modélisation.
Composants logiciels : spécification, conception, réalisation, test, vérification ... Dans le cadre, du projet RNTL Accord et dans celui des médiums.
Vérification des programmes concurrents et distribués : Il s'agit principalement de la poursuite de mes travaux précédents sur ERLANG.
Accueil
Activités de recherche
Projets de recherche
Publications
Cours - Enseignements
Thèses encadrées
Bref historique
La reconfiguration
ReCaml
Accueil
Site École
Nous Contacter
Technopôle Brest-Iroise - CS 83818 - 29238 Brest Cedex 3 - France
Tél : 33 (0)2 29 00 11 11 - Fax : 33 (0)2 29 00 10 00