Cette thèse présente Rejo un nouveau langage de haut niveau pour programmer des systèmes réactifs. Rejo, de l'anglais REactive Java Objets, est une extension 'a Java qui permet de définir des objets réactifs, c'est-à-dire des objets qui encapsulent des données et des mélangés d'instructions Java et d'instructions réactives. Le modèle d'exécution est celui de l'approche réactive synchrone, dans lequel les instructions Java sont exécutées d'une façon atomique. Le compilateur de Rejo génère du code 100% Java où les instructions réactives sont implémentées avec la librairie Junior. L'influence de Junior sur Rejo est très importante, et les performances, les avantages et les inconvénients de Rejo d'écoulent du modelé et du moteur d'exécution de Junior. Une 'étude approfondie de la programmation et des différentes implémentations de Junior est réalisée. Les objets réactifs de Rejo peuvent être considères comme des agents mobiles car ils ont la capacité de migrer en utilisant une plate-forme, appelée ROS, qui offre les fonctionnalités nécessaires. ROS, de l'anglais Reactive Operating System, est un Système d'Agents Mobiles qui ressemble à un système d'exploitation car il est constitue d'un micro-noyau modulaire et d'un ensemble des services autour desquels on trouve une interface graphique (les Ricobjs), un shell (Rsh) et une interface de programmation.

Dans ce mémoire, nous proposons une méthode pour la génération des cas de test pour des processus métiers exprimés en langage BPEL. Cette méthode tient compte de la nature concurrente de ce langage ainsi que des caractéristiques qui lui sont propres. Elle adopte une approche orientée chemin. Ce faisant, ladite méthode définit une extension de la version usuelle du graphe de flot de contrôle (CFG) - baptisée BPEL Control Flow Graph (B-CFG) - pour la traduction du code BPEL en un modèle. En parcourant ce modèle, des chemins de test concurrents, qui sont à habiller par la suite par des données de test, sont générés. Ces chemins concurrents sont représentés d'une façon formelle et appropriée. La génération de ces chemins se fait selon différents critères de couverture. Ces critères, qui ont été à la base définis pour la programmation séquentielle, nous les avons adaptés de façon à pouvoir les appliquer pour le cas d'un langage concurrent comme le BPEL. Finalement, des propositions de pistes de solution sont fournies pour la question de génération de données de test, ainsi que pour la question de spécification/exécution des cas de test. ______________________________________________________________________________

Thèse de doctorat : Informatique : Paris 12 : 2007. / Titre provenant de l'écran-titre. Pagination : XIV-129 p. Bibliogr. p. 119-127.

Reproduction de : Thèse de doctorat : informatique : Grenoble, INPG : 1987. / Titre provenant de l'écran-titre. Bibliogr. p. 159-168.

Reproduction de : Thèse de doctorat : microélectronique : Grenoble, INPG : 1988. / Titre provenant de l'écran-titre. Bibliogr. p. 151-160.

Thèse doctorat : Image - Photonique - Electronique, Electrotechnique, Automatique : Strasbourg 1 : 2006. / Titre provenant de l'écran-titre. Bibliogr. 6 p.

Thèse doctorat : Informatique : Rennes 1 : 2007. / Bibliogr. p. 183-187.

Thèse (Ph. D.)--Université Laval, 2007. / Titre de l'écran-titre (visionné le 5 mai 2008). Bibliogr.

Th. 3e cycle--Didactique des mathématiques--Université de Bordeaux I, 1986. / Bibliogr. p. 250-257.

Le fonctionnement du schéma de surface canadien CLASS a été analysé en détail, basé sur une démarche de rétroconception. L’impact des multiples variables d’états du modèle sur les termes des bilans énergétique et hydrique a été expliqué. La valeur des albédos et des transmissivités de la canopée augmente en fin de saison lorsque la canopée devient moins dense. Donc, le rayonnement au sol augmente alors que celui à la canopée diminue. La résistance de couche limite de la feuille ralentit les transferts de chaleur sensible et latente à la canopée durant le jour, mais n’a aucune influence la nuit. La résistance aérodynamique au transfert de chaleur est plus élevée le jour que la nuit. Elle influe sur les flux de chaleur sensible et latente à la canopée. La résistance de surface au transfert de chaleur est très élevée le jour et peu élevée la nuit. Elle influe sur les flux de chaleur sensible et latente au sol. La résistance stomatale est très grande la nuit. Elle freine le transfert de chaleur latente durant le jour et n’a aucune influence sur les flux de chaleur sensible. Finalement, on a observé de grandes fluctuations de température et de teneur en eau dans les deux premières couches de sol. Tandis que la troisième couche de sol a montré une réaction très lente aux précipitations et aux variations de température à la surface du sol. Les résultats sont supportés d’explications théoriques très détaillées dans la section théorie. / Canadian Land Surface Scheme