Les Logiciels Tuteurs Fermés, ou LTF, sont utilisés dans les classes dans de nombreux collèges en mathématiques. Pour analyser leur place potentielle dans l'École, nous avons construit un modèle centré sur la notion d'institution, centrale dans la Théorie Anthropologique du Didactique, définie, par nous, à partir des critères suivants : la réalité sociale, la légitimité, la stabilité et la spécificité. Pour comprendre si un LTF peut être utilisé en tant qu'institution d'enseignement et d'apprentissage, chacun des quatre logiciels de notre étude a été inspecté entièrement par un expert dont les captures vidéos nous ont permis des comparaisons avec le travail des élèves de notre expérimentation. Le décryptage de l'ensemble de ces données a été conduit grâce à un logiciel d'analyse du comportement, The Observer de chez Noldus. Plus spécifiquement, en ce qui concerne l'apprentissage des mathématiques, nous avons choisi d'analyser la façon dont les quatre LTF proposent un apprentissage du calcul, qu'il soit arithmétique, numérique ou algébrique. Nous avons pour cela étendu au numérique le cadre théorique conçu par Houdement et Kuzniak pour l'apprentissage de la géométrie, et notamment les notions de paradigme et d'espace de travail. Les analyses que nous avons conduites nous ont permis de montrer que les LTF de notre étude ne peuvent que difficilement être utilisés en tant qu'institution autonome de l'institution principale qu'est la classe ordinaire. Mais leur usage peut être valorisé pour l'apprentissage des élèves en créant des institutions parallèles adaptées.

Dans la méthode de conception sûre et descendante CAPRI applicable aux circuits intégrés VLSI, on analyse les spécifications initiales à la définition de l'architecture du circuit. La méthode proposée est une méthode par affinements successifs de spécifications dans laquelle on distingue: 1) le choix des algorithmes; 2) le choix du chemin de données associé aux blocs fonctionnels; 3) le choix de la structure de la partie contrôle. Application de la démarche descendante au microordinateur 80 C48 d'INTEL en technologie CMOS

Les systèmes LTI à contrôler sont soumis à des contraintes physiques et technologiques. Nous avons montré que celles-ci limitent la bande passante atteignable en boucle fermée. Il s'en suit qu'il suffit de modéliser et d'analyser ces systèmes dans une bande de fréquences limitée, et non pas sur toutes les fréquences, et que l'utilisation de correcteurs d'ordres réduits est tout à fait efficace. Dans cette thèse, nous nous intéressons à la synthèse de correcteurs d'ordres réduits fixés sous contraintes de robustesse, et à la réduction de modèles pour de tels systèmes. La méthode proposée consiste à déterminer un correcteur de structure donnée qui optimise le rejet de la perturbation de commande de type échelon au sens de la norme H2, en respectant des contraintes de robustesse, i.e. marge de module minimum, marge de phase minimum et amplification maximum du bruit de mesure sur la commande. En s'appuyant sur une base de modèles génériques d'ordres réduits, la méthode aboutit à une formulation d'optimisation mixte H2/H-infini semi-analytique de la fonction objectif et de contraintes d'inégalités en termes des gains inconnus du correcteur. Lorsque le système à contrôler est d'ordre élevé, nous proposons une méthode de réduction de modèle avec garantie de marges de robustesse en boucle fermée afin d'obtenir les paramètres des modèles génériques d'ordres réduits. Si le modèle du système à contrôler n'est pas disponible, nous présentons une méthode d'identification expérimentale par la méthode du relais sur la base de modèles génériques. Dans le but de rendre l'approche proposée plus accessible à un usage industriel, nos développements in fine ont été intégrés à des outils logiciels d'aide à la conception d'un système de commande.

Cette thèse présente l'approche multi-compartiment, qui autorise un co-hébergement sécurisé et flexible de plusieurs piles logicielles autonomes au sein d'un même système multiprocesseur intégré sur puce. Dans le marché des appareils orientés multimédia, ces piles logicielles autonomes représentent généralement les intérêts des différentes parties prenantes. Ces parties prenantes sont multiples (fabricants, fournisseurs d'accès, fournisseurs de contenu, utilisateurs, etc.) et ne se font pas forcément confiance entre elles, d'où la nécessité de trouver une manière de les exécuter ensemble mais avec une certaine garantie d'isolation. Les puces multimédia étant matériellement fortement hétérogènes -- peu de processeurs généralistes sont assistés par une multitude de processeurs ou coprocesseurs spécialisés -- et à mémoire partagée, il est difficile voire impossible de résoudre cette problématique uniquement avec les récentes techniques de co-hébergement (virtualisation). L'approche multi-compartiment consiste en un nouveau modèle de confiance, plus flexible et générique que l'existant, qui permet à des piles logicielles variées de s'exécuter simultanément et de façon sécurisée sur des plateformes matérielles hétérogènes. Le cœur de l'approche est notamment composé d'un mécanisme global de protection, responsable du partage sécurisé de l'unique espace d'adressage et logiquement placé dans le réseau d'interconnexion afin de garantir le meilleur contrôle. Cette approche présente également des solutions pour le partage des périphériques, notamment des périphériques ayant une capacité DMA, entre ces piles logicielles. Enfin, l'approche propose des solutions pour le problème de redirection des interruptions matérielles, un aspect collatéral au partage des périphériques. Les principaux composants des solutions matérielles et logicielles proposées sont mis en œuvre lors de la conception d'une plateforme d'expérimentation, sous la forme d'un prototype virtuel. Outre la validation de l'approche, cette plateforme permet d'en mesurer le coût, en termes de performance et de surface de silicium. Concernant ces deux aspects, les résultats obtenus montrent que le coût est négligeable.

L'émergence du Génie Automatique est la conséquence de besoins en méthodes et outils adaptés aux métiers de l'Automatisation. La mise en œuvre des principes largement éprouvés par le Génie Logiciel tels que structuration, modularité, réutilisation, prototypage des applications contribue ainsi à l'évolution du Génie Automatique et à l'amélioration de la qualité de la conception. SPEX, outil de conception pour le Génie Automatique, offre ces possibilités mais nécessite, pour assurer une cohérence globale du processus de développement, de pouvoir s'intégrer, ou tout du moins s'interconnecter, avec des outils assurant les phases amont (spécification) et aval (codage et tests hors site) de l'application. A terme, la définition d'un Atelier de Génie Automatique devrait centraliser l'ensemble des informations dans une base de données ou d'objets commune à l'ensemble des outils pour permettre une mémorisation du savoir-faire entreprise.

Si les nouvelles technologies en matière de SGBD envisagent le problème de l'évolution du schéma d'une base de données, les systèmes d'information actuels posent des problèmes particulièrement ardus lors des phases d'évolution. Ce travail étudie ces problèmes dans un contexte pratique tel qu'il est vécu actuellement par les développeurs. Il propose une typologie complète des modifications possibles ainsi qu’une analyse du phénomène de l'évolution et de son impact sur les structures de données, les données et les programmes d'application au travers de stratégies typiques. Le document décrit ensuite l'environnement de génie logiciel DB-Main avec lequel a été construit un prototype d'outil d'aide à l'évolution. Cet outil permet notamment de générer automatiquement les programmes de conversion de la base de données à partir de la trace des opérations de modification des schémas conceptuel ou logique de la base de données. Il aide aussi le programmeur à modifier les programmes d'application en conséquence.| If the recent DBMS technologies consider the problem of databases schema evolution, standard Information Systems in use raise hard problems when evolution is concerned. This work studies these problems in the current developer context. It gives a complete typology of modifications and analyses the evolution of systems and its impact on the data structures, data and programs through typical strategies. The document introduces the DB-Main CASE environment, with which an evolution tool prototype has been developed. This tool can automatically generate the conversion programs for the database from the operational trace of the conceptual and logical schema modifications. It can also help the programmer to modify the application programs.

Cette thèse s'inscrit dans la problématique de la comparaison de graphes. Nous proposons dans la première partie de ce manuscrit plusieurs algorithmes de recherche de motifs similaires dans de grands graphes. La seconde partie de cette thèse traite de l'étude des arborescences de fichiers, structure de données pour laquelle la méthode initiale de reconnaissance de motifs a été développée. Nous présentons un modèle stochastique pour la génération aléatoire de structure arborescentes, basé sur les observations de l'étude statistique des données réelles. Enfin, nous détaillons deux adaptations de l'algorithme de reconnaissance de motifs similaires à des applications particulières. La première concerne la reconnaissance d'objets extraits de la video basse résolution pour l'indexation grossière. La deuxième application a été développée pour la visualisation de l'évolution de projets logiciels.

Ce travail traite de la modélisation de systèmes complexes constitués de plusieurs composants impliquant des domaines techniques différents. Il se place dans le contexte de la modélisation hétérogène hiérarchique, selon l'approche à base de modèles de calcul. Chaque composant faisant appel à un domaine technique particulier, son comportement peut être modélisé selon un paradigme de modélisation approprié, avec une sémantique différente de celle des autres composants. La modélisation du système global, qui intègre les modèles hétérogènes de ces composants, nécessite donc une adaptation sémantique permettant l'échange entre les divers sous-modèles. Ce travail propose une approche de modélisation de l'adaptation sémantique où les sémantiques du temps et du contrôle sont explicitement spécifiées par le concepteur en définissant des relations sur les occurrences d'évènements d'une part et sur les étiquettes temporelles de ces occurrences d'autre part. Cette approche est intégrée dans la plateforme ModHel'X et testée sur un cas d'étude : un modèle de lève-vitre électrique.

Nous nous intéressons, dans le cadre de cette recherche, à l’accès à l’internet des personnes malvoyantes. Plusieurs types d’outils destinés à ce public sont disponibles sur le marché, comme les lecteurs et les agrandisseurs d’écran, en fonction de l’acuité visuelle de la personne. Bien que ces outils soient utiles et régulièrement utilisés, les malvoyants (ainsi que les aveugles) évoquent souvent leur aspect frustrant. Plusieurs raisons sont citées, comme le manque d’organisation spatiale du contenu lu avec les lecteurs d’écran ou le fait de ne solliciter qu’un seul sens. La présente recherche consiste à adapter pour les malvoyants un système en développement le TactoWeb (Petit, 2013) qui permet une exploration audio-tactile du Web. TactoWeb a été conçu pour les handicapés ayant une cécité complète et n’offre donc aucune propriété visuelle. Nous proposons ici une adaptation du système pour les handicapés n’ayant qu’une déficience visuelle partielle. Nous espérons fournir à cette population des outils performants qui leur permettront de naviguer sur l’internet de façon efficace et agréable. En effet, grâce à une exploration non-linéaire (qui devrait améliorer l’orientation spatiale) et une interface multimodale (qui sollicite la vue, l’ouïe et le toucher), nous pensons réduire fortement le sentiment de frustration qu’évoquent les malvoyants. Nous avons posé l’hypothèse qu’une exploration non-linéaire et trimodale d’un site internet avec TactoColor est plus satisfaisante et efficace qu’une exploration non-linéaire bimodale avec TactoWeb (sans retour visuel). TactoColor a été adapté pour les malvoyants en ajoutant des indices visuels traduisant les composantes de la page (liens, menus, boutons) qui devraient rendre l’exploration plus aisée. Pour vérifier notre hypothèse, les deux versions du logiciel ont été évaluées par des malvoyants. Ainsi, les participants ont commencé soit avec TactoWeb, soit avec TactoColor afin de ne pas favoriser une des versions. La qualité de la navigation, son efficacité et son efficience ont été analysées en se basant sur le temps nécessaire à l’accomplissement d’une tâche, ainsi que la facilité ou la difficulté évoquée par le participant. Aussi, à la fin de chaque session, nous avons demandé leur avis aux participants, grâce à un questionnaire d’évaluation, ce qui nous a permis d’avoir leur retour sur notre logiciel après leur brève expérience. Tous ces relevés nous ont permis de déterminer que l’ajout des couleurs entraine une exploration plus rapide des pages web et une meilleure orientation spatiale. Par contre les performances très différentes des participants ne permettent pas de dire si la présence des couleurs facilite la complétion des tâches. / For this research we wanted to focus on how we could improve the satisfaction of visually impaired people when surfing the internet. Many applications are being developed and used to help the disabled on the web, but almost all of them are criticized. Two of the main complaints are that you can only use one of your senses to interact with them and that it is very difficult to figure out how a page is organized. As Human Beings, we are used to use at least two senses at a time, for example you cannot help smelling and seeing. Thus, being forced to depend only on your hearing is very frustrating. This research wants to adapt, for visually impaired people, a new software, TactoWeb which allows an audio-tactile exploration of the web. As TactoWeb was conceived for blind people, there is no visual element. TactoWeb is a nonlinear screen reader designed to read the elements depending on where they are on the page. By answering the principal needs mentioned by blind people, TactoWeb could be an excellent product. Therefore, our hypothesis is that a nonlinear and tri-modal exploration of a web site is more efficient and satisfying than a bimodal. As many people are first visually impaired before being completely blind, we worked on a version, TactoColor, which would suit their special needs. We added visual elements (links, menu, button) that should make any exploration easier. We asked two groups of visually impaired to test both programs, one starting with TactoWeb and the others with TactoColor, in order not to favor any version. We analyzed the quality of the exploration, its efficacy and efficiency by looking at how long the participants took to fulfill their task and whether or not they found it easy. Thanks to these data, we were able to determine that participants completed their tasks faster. The exploration was also easier thanks to the colors which helped them understand the organization of the elements of the page. However, it is difficult to say if the colors make completion easier because the participant’s results are too different.

À la conjonction de l'Information Géographique et de l'Informatique, la recherche menée relève du domaine Géomatique. Elle traite de l'apport de l'ingénierie des modèles à la conception et au développement de Systèmes d'Information Géographique (SIG). Le domaine d'application géomatique, une capitalisation des connaissances déficiente au cours du processus de développement et une qualité des connaissances capturées en séance d'analyse insuffisante ont conduit à se fixer comme objectif de réaliser un outil d'aide à la conception de Systèmes d'Information Géographique adapté à un processus de développement permettant le prototypage rapide en séance d'analyse et assurant la capitalisation des connaissances. La dichotomie Information Géographique / Informatique a nécessité de mobiliser des connaissances de ces deux domaines et structure le contenu de la recherche. La première contribution porte sur la modélisation des SIG. Suite à un balayage rapide de la bibliographie sur les méthodes et formalismes de conception de SIG existants, le besoin de comparer les propriétés spatiales et temporelles mise en ½uvre par les méthodes et les formalismes a conduit à entreprendre une étude terminologique s'appuyant sur la théorie des ensembles. Cette étude a donné lieu à une taxinomie générale de la terminologie utilisée. La proximité conceptuelle entre cette taxinomie et les diagrammes de classes UML a permis de définir une méthode de dérivation de cette taxinomie pour obtenir un métamodèle SIG et un Patron de Conception SIG. Ce dernier sera généré automatiquement par les transformations définies en ingénierie des modèles. L'étude terminologique a aussi permis d'identifier les relations entre les concepts thématiques, les propriétés spatiales et temporelles, etc. Ces relations ont contribué à définir les transformations de modèles de la seconde contribution. La seconde contribution relève de l'ingénierie des modèles. L'objectif relatif au processus de développement permettant le prototypage rapide en séance d'analyse a conduit à définir la méthode Continuous Integration Unified Process qui superpose un cycle de prototypage rapide en phase d'analyse de la méthode Unified Process. L'objectif de capitalisation des connaissances a nécessité de concevoir une généralisation de l'approche MDA appelée Software Development Process Approach (SDPA) fondée sur le constat que la capitalisation des connaissances est une problématique qui se pose au cours de tout le processus de développement. Un artefact multimodèle, appelé Software Development Process Model (SDPM), a été conçu pour résoudre ce problème. Il associe un sous-modèle à chacune des phases du cycle de développement. Une transformation de diffusion fondée sur le clonage des concepts permet de transférer, de sous-modèle en sous-modèle, les concepts du sous-modèle d'analyse jusqu'au(x) sous-modèle(s) d'implémentation. Une transformation de rétrodiffusion permet le transfert inverse. La cohérence du SDPM est assurée par une architecture de liens de traçabilité qui relie tout concept à son clone et par des prétraitements et/ou post-traitements aux transformations de diffusion et de rétrodiffusion. Quatre transformations de nature géomatique permettent d'une part, la saisie des propriétés spatiales et/ou temporelles des entités référencées sous forme d'annotations et, d'autre part, la conversion de ces annotations en éléments de modélisation UML exploitables par les générateurs de code de l'atelier de génie logiciel. Enfin, les trois transformations effectuées sur le modèle d'implémentation SQL adaptent le modèle diffusé au générateur de code de l'atelier de génie logiciel utilisé. La méthode Continuous Integration Unified Process et la démarche Software Development Process Approach ont été instrumentées au sein de l'atelier de génie logiciel