(These.cwk)

École des Mines de ParisCentre de Mathématiques AppliquéesSophia-AntipolisTHÈSEde doctorat de l’ École des Mines de ParisSpécialité : Informatique temps-réel, Robotique, Automatiqueprésentée parJean-Ferdinand SUSINIL’Approche Réactive au dessus de Java :sémantique et implémentation desSugarCubes et de JuniorSoutenue le 11 septembre 2001 devant le jury composé de :Président : Gérard BERRYRapporteurs : Florence MARANINCHI Gilles MULLERDirecteur : Frédéric BOUSSINOTExaminateurs : Laurent HAZARDJean-Bernard STEFANIà mes parentsRemerciements :En premier lieu, je voudrais exprimer ma reconnaissance à Florence MARANINCHI et Gilles MULLER qui ont accepté d’être rapporteurs de ma thèse.Je tiens également à exprimer toute ma gratitude à Gérard BERRY qui m’a fait l’honneur de présider le jury.Je remercie particulièrement Laurent HAZARD d’avoir accepté de participer au jury. Les quelques années de collaboration que nous avons eu ont été très enrichissantes pour moi. Qu’il me soit également permis ici et à travers lui de remercier France Telecom R&D pour son soutient à ces travaux de recherche.Je remercie également Jean-Bernard STEFANI qui m’a fait l’honneur de faire partie du jury.A tout seigneur, tout honneur, je tiens tout spécialement à remercier “ mon chef”, Frédéric BOUSSINOT, qui m’a accepté comme disciple de l’Approche Réactive. Au cours de ces quelques cinq années passées à ses côtés, j’ai pu apprécier sa bonne humeur, son étonnante ...