Memoire hdr avec annexes C Vers une programmation des systèmes interactifs centrée sur la spéci cation de modèles exécutables Olivier Beaudoux Équipe TRAME Groupe ESEO Angers Mémoire présenté pour l'obtention de l'Habilitation à Diriger des Recherches en
C Vers une programmation des systèmes interactifs centrée sur la spéci cation de modèles exécutables Olivier Beaudoux Équipe TRAME Groupe ESEO Angers Mémoire présenté pour l'obtention de l'Habilitation à Diriger des Recherches en Informatique délivrée par l'Université d'Angers HDR soutenue le août à l'ESEO devant le jury composé de Stéphane Chatty Directeur du LII ENAC Toulouse Rapporteur Philippe Palanque Professeur Université Paul Sabatier Toulouse Rapporteur Nicolas Roussel Directeur de Recherche INRIA Lilles Rapporteur Michel Beaudouin-Lafon Professeur Université de Paris Orsay Examinateur Jean-Marc Jézéquel Professeur Université de Rennes Examinateur Frédéric Saubion Professeur Université d'Angers Président Olivier Paillet Directeur du groupe ESEO Angers Membre invité C Ci Remerciements Je tiens à remercier celles et ceux qui ont contribué à ce que je puisse poursuivre les travaux initiés dans ma thèse pendant plus de ans travaux qui trouvent un nouvel aboutissement dans ce mémoire d'HDR Je remercie en premier lieu l'ESEO en particulier la direction générale Victor Hamon Jacky Charruault et Olivier Paillet et la direction de la C recherche Patrick Plainchault pour m'avoir fait con ance en me donnant un contexte favorable à la construction de mon projet de recherche Je remercie également l'ensemble des enseignants-chercheurs de l'ESEO avec lesquels les C échanges scienti ques ont nourri ma passion pour la recherche Je n'énumère pas la liste elle serait trop longue Je remercie chaleureusement les membres du jury Michel Beaudouin-Lafon Stéphane Chatty Jean-Marc Jézéquel Philippe Palanque Nicolas Roussel et Frédéric Saubion d'avoir accepté de puiser dans la ressource rare qu'est le temps et j'espère vivement que leur engagement dans cet exercice leur a donné la satisfaction légitimement attendue Je remercie Olivier Barais Beno? t Baudry Arnaud Blouin Beno? t Combemal Jean-Marc Jézéquel pour m'avoir intégré à leur équipe de recherche DiverSE de l'IRISA en tant que collaborateur extérieur Ils ont pleinement participé par les échanges riches les projets et les publications à mon engouement pour le domaine du génie logiciel et plus particulièrement pour celui de l'ingénierie dirigée par les modèles Je remercie Jean-François Bourdet Pascal Leroux Philippe Teutsch de l'université du Maine pour les projets sur lesquels nous continuons d'? uvrer dans le domaine des TICE Je remercie Stéphane Loiseau professeur au LERIA et co-encadrant de la thèse d'Arnaud Blouin pour son implication dans cette thèse Je remercie Arnaud Blouin pour l'engagement qui a été le D sien pendant sa thèse Son travail a beaucoup contribué à la ré exion menée sur l'ingénierie des systèmes interactifs notamment pour la partie modèle conceptuel Je remercie Mengqiang Yang pour le travail qu'il a réalisé dans sa thèse CIFRE laquelle n'a pas pu aboutir pour des raisons indépendantes de sa volonté Je remercie également Khalil Khalifa pour m'avoir fait C con ance en me demandant de co-encadrer cette thèse En je n'oublie pas bien entendu ma famille Emmanuelle Alice et Audrey qui m'ont soutenu pendant ce chemin et ont su supporter ma passion avec tout ce que cela C comporte Je leur en suis in niment reconnaissant Cii CTable des matières Introduction Constat Approche
Documents similaires
-
24
-
0
-
0
Licence et utilisation
Gratuit pour un usage personnel Aucune attribution requise- Détails
- Publié le Jui 03, 2021
- Catégorie Geography / Geogra...
- Langue French
- Taille du fichier 694.5kB