.

Description d'un outil de développement de systèmes experts (ODSE) conçu et réalisé en ADA. Le formalisme de description des connaissances (faits et règles), les mécanismes d'interférence mis en œuvre ainsi que l'implémentation du système sont donnes. Enfin, la thèse décrit l'utilisation de ODSE pour la réalisation d'un outil d'aide a la synthèse architecturale de c.i. VLSI (ASA). Les techniques utilisées par ASA (analyse de flots, ordonnancement, allocation de ressources) sont exposées ainsi que leur traduction dans le formalisme de ODSE. Enfin, les résultats d'utilisation de ASA pour la synthèse d'un filtre Leapfrog d'ordre 9 sont donnes

Cette thèse concerne la modélisation des Systèmes d'Information Coopératifs (SICo). Les techniques de modélisation proposées par les langages actuels ne donnent pas de réponses directes aux différents problèmes posés par la modélisation des SICo. Pour mieux contrôler la complexité de ces derniers, il est nécessaire d'avoir un niveau d'abstraction élevé et de disposer de modèles qui s'approchent du modèle de raisonnement du développeur. Nous avons choisi la solution des architectures logicielles pour organiser l'ingénierie des SICo. Une telle approche offre au concepteur des techniques et des langages de modélisation permettant d'exprimer les propriétés des systèmes composants et de leurs interactions. La solution que nous proposons repose sur un guide méthodologique permettant de capitaliser, organiser et réutiliser des modèles d'architectures logicielles adaptés aux SICo. Ce guide méthodologique traite quatre aspects complémentaires. Premièrement, il propose des patrons produit capitalisant des familles d'architectures de coopération. Deuxièmement, il offre une représentation graphique et textuelle des solutions modèles en utilisant respectivement un langage semi-formel et un langage formel. Ensuite, il facilite la classification des SICo en se basant sur différents modes de coopération entre des systèmes composants. Enfin, il propose des patrons processus formalisant la démarche méthodologique. Patrons produits et patrons processus constituent le système de Patrons pour les Architectures COopératives (PACO).

Le parsec central de la Galaxie a été observé à l'aide de spectro-imagerie BEAR haute résolution spectrale (jusqu'à 21 km/s) et moyenne résolution spatiale (0,5"), dans les raies Bracket gamma (2,16 micron) et He I à 2,06 microns, et d'imagerie haute résolution. Ces données ont servi à étudier la population d'étoiles jeunes et massives, la structure et la dynamique des flots de gaz ionisé de Sgr A Ouest. Les résultats obtenus, notamment la séparation des étoiles en un groupe de 6 LBV d'une part (le complexe IRS 16) et plus de 20 Wolf-Rayet d'autre part, ainsi que la résolution de IRS 13E en un amas d'au moins 6 étoiles massives, soutiennent l'idée d'une formation des étoiles jeunes en un amas massif à distance du Centre Galactique. La vision très détaillée de Sgr A Ouest et le modèle cinématique proposé du Bras Nord soutiennent l'idée que ce gaz ionisé est constitué par les fronts d'ionisation de plus vastes nuages neutres étirés par les forces de marée, provenant du Disque circumnucléaire.

Les travaux développés dans ce mémoire se situent dans le cadre de l'analyse et de la conception des systèmes temps réel. Nous proposons une approche d'aide à la translation entre analyse fonctionnelle et analyse orientée objet. L'utilité d'une telle démarche ainsi que les différents travaux effectués dans ce domaine sont d'abord étudiés. Ensuite, nous exposons les différentes étapes de la démarche. Son originalité découle de l'utilisation des réseaux de Petri comme moyen de translation. D'abord, les spécifications fonctionnelles (de type SA-RT) sont décrites par réseaux de Petri. Les composantes conservatives de ces derniers sont alors utilisées pour identifier et définir les objets. Le formalisme HOOD/PNO est adopté pour la spécification des objets. L'approche proposée peut s'appuyer sur l'aspect statique des spécifications ou sur l'aspect dynamique. Il est également possible d'adopter une approche mixte. Les différentes étapes de la démarche et les approches possibles sont illustrées par des exemples significatifs. Nous étudions également les limites de la démarche proposée, ses parties automatisables et la possibilité de l'utiliser avec d'autres techniques. Par ailleurs, nous nous intéressons à la possibilité d'exploiter les résultats obtenus dans des objectifs d'évaluation des spécifications fonctionnelles. L'apport de certaines extensions temporelles des réseaux de Petri est mis en évidence.

Les nouvelles technologies de l'information sont entrées au cœur de notre société et provoquent de profonds changements dans notre vie quotidienne, notamment dans le monde du travail. Or le métier d'enseignant n'a pas vraiment évolué, même si les méthodes éducatives changent, car toute tentative d'introduction de l'informatique se heurte à la méfiance des enseignants qui ont peur de perdre leur liberté de choix éducatifs. De plus, les avancées technologiques n'ont d'intérêt que si elles sont intégrées dans un processus global de conception d'applications éducatives. Nos recherches ont donc pour objectif principal de faciliter la tâche de l'enseignant dans la préparation de ses séquences pédagogiques. Nous définissons ainsi le support méthodologique d'un environnement informatique d'aide à la spécification des connaissances éducatives. Nous organisons alors nos travaux autour de trois axes. Tout d'abord, nous proposons la mise en place d'enseignements axés sur la notion de situations-problèmes au sens IUFM car elle met les apprenants en situation de projet tout en répondant aux objectifs pédagogiques fixés. Nous exposons ensuite la nécessité pour les enseignants de se reposer sur un processus de spécification formelle que nous définissons et pour lequel nous proposons un cycle de vie basé sur le prototypage rapide. Nous proposons aussi une ontologie de l'enseignement s'appuyant sur une architecture orientée-objet. Nous montrons enfin que l'utilisation de méta-outils CASE permet de développer un environnement ayant une assistance adaptée et suffisamment flexible pour permettre différentes façons de spécifier et différents points de vue et-ou formalismes de représentation sur une spécification. Le prototype développé couple le méta-outil CASE HARDY, qui fournit une interface diagrammatique supportant les étapes du processus de développement, et le générateur de système expert CLIPS qui assure la cohésion globale en terme de guidage et de flexibilité.

Nous étudions le problème de la composition par coordination, dans lequel un groupe de composants de domaines distincts doivent travailler ensemble pour réaliser une application. Sachant que toute connexion directe entre deux composants de deux domaines différents engendre des problèmes d'évolution, nous avons exploré la coordination comme une façon de composer. Nous avons caractérisé le problème de la coordination entre domaines, et montré les modèles de conteneurs comme une solution rudimentaire à ce problème. Nous avons étudié le monde de la coordination, et nous avons introduit la "fédération", comme une architecture logicielle qui permet de structurer les applications comme un ensemble de composants qui coopèrent pour atteindre un but commun. Nous avons défini l'univers commun (les relations entre les composants de domaines distincts) et les contrats de coordination (la matérialisation des règles de jeu), comme les structures de base d'une fédération

Les nouvelles technologies de l'information sont entrées au cœur de notre société et provoquent de profonds changements dans notre vie quotidienne, notamment dans le monde du travail. Or le métier d'enseignant n'a pas vraiment évolué, même si les méthodes éducatives changent, car toute tentative d'introduction de l'informatique se heurte à la méfiance des enseignants qui ont peur de perdre leur liberté de choix éducatifs. De plus, les avancées technologiques n'ont d'intérêt que si elles sont intégrées dans un processus global de conception d'applications éducatives. Nos recherches ont donc pour objectif principal de faciliter la tâche de l'enseignant dans la préparation de ses séquences pédagogiques. Nous définissons ainsi le support méthodologique d'un environnement informatique d'aide à la spécification des connaissances éducatives. Nous organisons alors nos travaux autour de trois axes. Tout d'abord, nous proposons la mise en place d'enseignements axés sur la notion de situations-problèmes au sens IUFM car elle met les apprenants en situation de projet tout en répondant aux objectifs pédagogiques fixés. Nous exposons ensuite la nécessité pour les enseignants de se reposer sur un processus de spécification formelle que nous définissons et pour lequel nous proposons un cycle de vie basé sur le prototypage rapide. Nous proposons aussi une ontologie de l'enseignement s'appuyant sur une architecture orientée-objet. Nous montrons enfin que l'utilisation de méta-outils CASE permet de développer un environnement ayant une assistance adaptée et suffisamment flexible pour permettre différentes façons de spécifier et différents points de vue et-ou formalismes de représentation sur une spécification. Le prototype développé couple le méta-outil CASE HARDY, qui fournit une interface diagrammatique supportant les étapes du processus de développement, et le générateur de système expert CLIPS qui assure la cohésion globale en terme de guidage et de flexibilité.

De part leur influence déterminante sur les changements globaux, les changements d'occupation et d'utilisation des sols constituent un champ de recherche extrêmement actif. Néanmoins l'étude des changements de la zone côtière de leur conséquences locales est encore relativement rare. Or le littoral connaît depuis le siècle dernier des pressions anthropiques croissantes génératrices de changements d'occupation des sols. La finalité principale de ce travail était de contribuer à la connaissance des dynamiques territoriales récentes de la partie terrestre de la zone côtière, appliquée au territoire du Pays de Brest. La méthodologie retenue s'articule autour de la classification orientée-objet d'une image satellitaire SPOT 5 d'avril 2003, et de l'utilisation de données d'occupation des sols hétérogènes (IPLI-77), pour la production d'une information sur les changements d'occupation des sols survenus dans les communes littorales du Pays de Brest entre 1977 et 2003. Le résultat de l'analyse orientée-objet entreprise sur l'image SPOT 5 permet de décrire finement l'occupation des sols en 2003, à trois niveaux de précision. Puis l'analyse combinée des deux jeux de données décrit les principales évolutions de l'occupation des sols entre les deux dates. Elle montre une artificialisation sensible, notamment aux abords de la ville de Brest et sur le littoral, et un enfrichement des terres agricoles. Enfin la formulation d'hypothèses synthétisées sous forme de variables permet de mettre en évidence quelques facteurs de l'artificialisation à cette période.

Cette thèse cherche à mieux comprendre quels sont - au niveau des pratiques des acteurs - les mécanismes sous-jacents à un changement institutionnel en cours dans le secteur français de la gestion d'actifs, connu sous le nom d'" ISR Mainstreaming ". Ce phénomène, apparu dans les années 2000, fait référence à la pénétration progressive et massive de critères d'Investissement Socialement Responsable (ISR) dans les fonds d'investissement conventionnels (également appelés fonds " mainstream " ou " courant principal "). En particulier, la thèse cherche à identifier les raisons qui peuvent expliquer l'émergence d'un tel changement au niveau du secteur et à analyser l'impact de ce dernier sur les pratiques des gestionnaires d'actifs. Pour ce faire, la thèse s'appuie sur une étude de cas longitudinale de trois ans (2006-2009) d'une société de gestion d'actifs française, conduite par l'auteur en tant qu'analyste ISR. D'inspiration pragmatiste, la thèse mobilise une méthode d'enquête coopérative combinant observation participante, entretiens semi-dirigés et analyse de sources documentaires. La thèse se compose de trois articles qui analysent 1) les origines du mouvement de l'ISR, 2) la transformation des pratiques des sociétés de gestion d'actifs en réponse au phénomène d'ISR Mainstreaming et 3) les différences constatées entre gestion actions et gestion taux lors de la transformation de ces pratiques.