Dissertations / Theses on the topic 'Ateliers de génie logiciel'

La mise en oeuvre d'ateliers de génie logiciel, permettant le développement moins artisanal, mais plus industriel de logiciels, est discutée. L'outil fondamental pour les ateliers de génie logiciel est la base de données. Le modèle entité-relation est retenu. Une configuration d'une association binaire est proposée avec des règles de description afin d'organiser la structure des attributs. Un schéma bloc entité-relation est construit à l'aide d'entités et de relations qui se regroupent en cinq classes de vue. Le modèle est ensuite appliqué à un environnement de développement de logiciels

Malgre la profusion d'outils de genie logiciel (gl), malgre les enjeux considerables d'une augmentation de la productivite des developpeurs et de la qualite des programmes, force est de constater que les ateliers de genie logiciel (agl) n'ont pas convaincu les industriels de leur efficacite. La raison fondamentale de cet echec reside dans la nature meme de l'activite de developpement: elle se caracterise par une large part de creativite, fait intervenir des connaissances variees, complexes et fortement interdependantes, et l'experience y joue un role preponderant. De ce fait, une approche classique pour la realisation d'outils de gl n'est pas adaptee et conduit a une assistance superficielle au lieu d'apporter une aide veritable a l'activite de conception et de realisation. Inversement, l'intelligence artificielle (ia) propose un ensemble de techniques matures, et en particulier celle des systemes a base de connaissances, pour construire des programmes imitant les humains lorsqu'ils mettent en uvre de nombreuses connaissances, et ce, sans bien savoir comment. Cette these presente saigl, un agl integre et ouvert, dont l'originalite reside dans la cohabitation, dans un meme environnement, d'outils classiques de gl avec des outils de type systemes experts. Ces derniers peuvent intervenir pour transformer automatiquement les modeles detenus par l'atelier, pour aider ou controler les interactions utilisateur ou encore pour piloter le processus de developpement. Saigl est construit par couplage lache d'un moteur d'inferences d'ordre 1 a l'agl softpen de seconde generation. L'architecture logicielle du systeme repose sur une plate-forme d'integration destinee aux stations de travail sous unix et x-windows: inspiree des architectures client/serveur, cette plate-forme regroupe un ensemble de mecanismes qui autorisent la cooperation entre les deux sous-systemes en respectant les axes d'integration preconises pour les agl de troisieme generation. Construit dans un but exploratoire, l'atelier saigl permet une evolution progressive de l'atelier softpen par integration de fonctionnalites ia dans un environnement de developpement classique. Cette approche plate-forme d'integration apparait donc comme une technique novatrice pour la maintenance evolutive des agl de seconde generation

Cette thèse est consacrée à la réutilisation des procédés logiciels. Pour mettre en oeuvre efficacement cette réutilisation, nous adoptons la notion de composant de procédés, à l'instar de ce qui se fait pour les composants logiciels et les patrons de conception. L'environnement RHODES, un atelier de génie logiciel centré procédé (AGL-P), est la base de notre recherche. Cet environnement permet de décrire un procédé à l'aide du langage PBOOL, et permet d'exécuter ce procédé. Nous adaptons les propriétés de composants logiciels pour caractériser les composants de procédés. En particulier, nous proposons certaines caractéristiques nécessaires à un composant telles que l'autonomie, l'évolution, la cohérence, etc. Pour satisfaire ces caractéristiques, notre recherche s'effectue selon deux axes. Premièrement, nous proposons une extension du langage PBOOL (dite PBOOL+) afin de décrire les composants de procédés. Le langage PBOOL+ prend en compte les composants complexes et les composants paramétrés pour favoriser la réutilisation de procédés. Deuxièmement, nous établissons certaines propriétés topologiques (telles que la fermeture transitive, la connexité, la connexité faible. . . ) afin de préciser la sémantique de l'autonomie et la cohérence de composants. Nous caractérisons aussi les propriétés topologiques d'un composant selon sa nature (par exemple, un composant complexe doit être faiblement connexe, un procédé doit être une fermeture transitive. . . ) Nous proposons également une démarche de définition de composants de procédés, permettant de passer progressivement d'un procédé informel à un procédé décrit sous forme de composants PBOOL+. Enfin, la gestion des procédés s'appuie sur une base de composants de procédés (BCP). Nous avons réalisé un éditeur de composants et un système de gestion des BCP s'appuyant sur une base de données objets. Les composants de procédés sont définis et stockés dans une BCP par l'intermédiaire de l'éditeur de composants.

Un atelier de Génie Logiciel forme un support intégré pour classer, traiter et développer toutes les informations et les objets associés au développement d'un logiciel. Il doit permettre à différents utilisateurs de travailler, en même temps ou non, sur un même projet, susceptible d'évoluer, et de traverser différentes étapes. Afin de résoudre les problèmes liés à cette utilisation simultanée, et en particulier les problèmes de gestion de configurations différentes d'un même projet, un modèle d'évolution du logiciel est présenté ici : le modèle dérivation-archivage. En association avec ce modèle, un principe de génération de bases de projet à partir de leur spécification est introduit. Il permet notamment de manipuler les ateliers de génie logiciel avec une grande facilité, d'en changer la structure sans risque, et de réaliser automatiquement des échanges de logiciels complexes entre des environnements distincts. Un cadre formel, utilisant le formalisme de spécifications algébriques, permet de prouver la validité des résultats qui sont énoncés sur la génération de bases de projet. La génération d’environnements est définie comme l'implémentation abstraite d'une spécification d'environnement par une spécification de SGBD. Des prototypes illustrent ces travaux : un système de gestion de bases de données multi-utilisateurs, un générateur de noyaux de bases de projet, et des environnements intégrant le tout, Asspégaz et PEGASE<br>A software development environment is an integrated frame for storing, processing and developing all information concerning the development of a software. An environment should make it possible for several users to work, simultaneously or not, on the same project, this project being able to evolve, and have different states. For solving the problems raised by this situation, and particularly the problems of configuration management. A software evolution model is defined: the derivation-Jock model. The principle of the project database gen ration from the specification of the environment is defined, in association with this model. This principle makes it possible to handle very easily software development environments, to change their structure with no risk, and to get procedures for exchanging structured software between different environments. A formal framework, using the formalism of algebraic specifications makes it possible to prove the correctness of the project database generation. The generation of a project data­ base is defined in this framework as an abstract implementation between the specification of an environment and the specification of a database system. Some prototypes illustrate these works: a multi-user database system devoted to software development processes, a generator of project database kernels, and environments which integrate these works: Asspégaz and PEGASE

Le domaine de la thèse est celui de la modélisation et du guidage des mthodes d'analyse des systèmes d'information. L'ingéniérie des processus est utilisée dans la thèse pour décrire plus précisement des demarches methodologiques dans le domaine des systemes d'information et aider a construire des environnements capables de guider efficacement les ingenieurs d'application. Les demarches methodologiques que l'on trouve dans les manuels de reference sont generalement décrites de façon imprécise et informelle. Les ingénieurs d'application, lors du développement de projets, sont confrontés à deux problèmes importants qui sont la compréhension et l'application de la démarche liée à la méthode. Ceci conduit généralement à une mauvaise application des démarches. La solution proposée comporte : (a) un modèle de démarches basé sur une approche qui permet de décrire des démarches modulaires à différents niveaux d'abstraction et de granularité. Les niveaux de granularité simplifient la description des démarches et permettent de faciliter leur compréhension. (b) Une méta-démarche qui décrit, dans les termes du modèle de démarches, la marche à suivre pour décrire des démarches. Cette méta-démarche permet, d'une part, d'illustrer l'utilisation du modèle de démarches et, d'autre part, d'exploiter les mêmes mécanismes et le même environnement de guidage pour les processus d'analyse et pour les méta-processus. (c) Un environnement de guidage centre sur le processus, nomme mentor-ia. Cet environnement est basé sur le contrôle de l'éxécution des démarches. Son objectif est d'offrir un guidage flexible à des processus pour lesquels la créativité des agents humains est préponderante. Le modèle de démarches présenté dans la thèse, associé à l'approche dynamique de construction, offre une solution théorique aux problèmes de guidage et d'assistance dans le domaine des processus d'analyse et de conception. Le prototype mentor-ia est developpé sous l'environnement du SGBD orienté-objet 02.

La complexité croissante des produits logiciels et de leur processus de production rend indispensable la mise en place de mécanismes d'assistance au développement pour aider les acteurs d'un projet dans leurs choix et prises d'initiatives de développement. La modélisation des processus de fabrication de logiciels émerge depuis quelques années comme un paradigme prometteur pour la réalisation de cette assistance: la modélisation consiste à exprimer des connaissances sur les propriétés attendues d'un processus. Cette connaissance peut alors être exploitée par l'atelier de production pour contrôler et guider le développement. Cette thèse présente l'architecture d'un système de développement conduit par des modèles. Ensuite sont construits quatre mécanismes d'assistance: un mécanisme de contrôle des initiatives, un mécanisme de rapport, qui signale aux différents acteurs les événements pouvant influencer leur travail, un mécanisme de guidage, qui indique aux différents acteurs les moyens d'atteindre un objectif donne et un mécanisme de prévision, qui permet aux différents acteurs d'envisager l'avenir potentiel du processus. L'implantation de ces quatre mécanismes fait largement appel à des techniques d'intelligence artificielle, notamment la planification d'actions. Ces réalisations ont eu en partie pour cadre le projet esprit ALF

A partir d'une démarche axée sur le génie logiciel, l'objectif de cette thèse est d'intégrer des fonctionnalités de prototypage, favorisant le cycle de développement d'applications de surveillance. Le mémoire est divisé en cinq chapitres. Dans le premier, sont abordés les systèmes de supervision. Puis, après avoir identifié un ensemble de problèmes ergonomiques résultant de leur utilisation et de leur conception, une démarche globale de conception et évaluation développée au LAIH est décrite. Une application de supervision nécessitant de nombreux développements informatiques, les principaux modèles utilisés en génie logiciel sont ensuite abordés. La conception et l'évaluation d'un système homme-machine fait intervenir de multiples méthodes et outils issus de domaines divers. Dans ce cadre, un panorama de ces méthodes et outils fait l'objet du deuxième chapitre. Ces différents points nous conduisent à proposer une démarche axée sur le prototypage dans le troisième chapitre. Celle-ci a pour objectif d'améliorer la conception des images destinées à la supervision des procédés en fournissant un cadre méthodologique aux différents intervenants impliqués dans le cycle de développement. Dans l'objectif d'appliquer cette démarche, le quatrième chapitre décrit notre contribution à l'étude et l'intégration de fonctionnalités de prototypage dans l'atelier ATLAS (atelier logiciel pour l'animation de synoptiques). Cette recherche a été menée en collaboration avec la CSEE et 3IP. ATLAS consiste, à partir d'une description graphique du procédé, à générer des prototypes d'images. Une fois les vues graphiques évaluées et validées dynamiquement, une partie des données de prototypage est ensuite récupérée pour produire l'application définitive qui sera implantée sur le site. Enfin une première validation technique ainsi que des perspectives de recherches et de développement sont présentées dans le cinquième chapitre.

L'arrivée sur le marché des premiers SGBD orientés objet conduit à poser le problème de conception de ces bases de données orientées objet. En effet, plus systèmes d'information sont complexes, plus les outils pour les traiter deviennent sophistiqués, plus le recours à des méthodes et outils de conception deviennent nécessaires. Il convient donc d'explorer de nouvelles voies afin que ces SGBD puissent être pleinement utilisés. Nous proposons quelques concepts pour une approche méthodologique orientée objet. Le but cherché consiste à offrir un ensemble de représentations graphiques permettant de traduire les notions de d'attribut-tuple , d'attributs atomiques, de liens d'agrégation et d'héritage. La finalité est, bien-sûr, la génération de code permettant d'implanter le schéma d'une base de données d'un SGBD orienté objet (cible 02). La méthode se caractérise par une phase d'intégration impliquant des tâches algorithmiques, des décisions humaines (choix de certaines relations , etc. . . ). Parmi ces décisions, certaines ont codées ·et enregistrées comme des règles expérimentales applicables par défaut, d'autres interviennent lors du dialogue entre le système et l'utilisateur. Des processus d'intégration sont proposés afin de fournir une vision un recours aides outils de conception (AGL ). Nous avons mis au oint un permettant de visualiser graphiquement les objets suivant les au modèle et assurant d'une manière automatique (ou semi-automatique des vues utilisateurs<br>The recent apparition of the Object Oriented DBMSs requires an enhancement of classical information system design. The complexity of the Information System is accompanied by the development of more sophisticated aide tools and by having recourse to design methodologies. Using the traditional design methods are insufficient to abject approach. For example, the methods formed upon the Entity - Association model are not convenient for the design of applications developed on abject oriented DBMSs. New means must be explored to benefit as much as possible from such DBMSs. We propose some concepts for an Object Oriented methodology. The proposed method, folloing an object oriented approach provides a static and dynamic representation of the applications. Our approach considers different aspects of the same object, depending on the viewpoint of each users. We proceed then to integrate all these views in a global conceptual scheme. The views integration, tockled in some classical conceptual methods arises new problems features and highlights the complexity of phenomena. E can mention, for example. Inheritance conflicts, data semantic, synonymy and polysemy. The target DBMS which guides us is 02. We have developed a tool. (CASE)

Automatisation et flexibilisation des ateliers de production au moyen d'une boucle de simulation qui peut être décrite comme suit : choix d'un modèle, simulation de la configuration, interprétation des résultats, analyse des performances.

Le genie logiciel est en mesure de proposer une nouvelle generation de methodes et d'outils pour la realisation industrielle de logiciels. Ces methodes et outils s'appuient sur de nouveaux concepts comme: l'atelier de genie integre, l'approche basee sur des objets, le prototypage, l'assurance qualite. Ces methodes et outils permettent de: proposer des logiciels agreables a utiliser et adaptables aux situations particulieres, realiser ces logiciels avec un taux de productivite acceptable. Depuis quelques annees, les recherches en eao s'orientent vers la definition de ce type de methodes et d'outils pour une nouvelle facon de realiser les logiciels educatifs: les didacticiels. Le genie didacticiel est ne de la volonte d'utiliser et surtout d'adapter ces methodes et outils dans la production de didacticiels. A terme, l'objectif des travaux de genie didacticiel est de proposer des ateliers de genie logiciel appeles en eao: ateliers de genie didacticiel (agd). Dans le cadre de ces travaux, nous avons imagine, formule et valide plusieurs propositions. Ces dernieres portent essentiellement sur les points suivants: structure et architecture des didacticiels, methode d'elaboration, architecture et utilisation d'un agd, outils integres dans un agd. Apres un tour d'horizon de l'etat actuel des demarches, des techniques et des outils utilises pour la production des didacticiels, nous passerons en revue l'ensemble de nos propositions. Nous illustrerons et argumenterons nos propos a l'aide des produits que nous avons realises (eao-cao, math-max, maquettes d'outils integres)

Les Systèmes d'Information Web (SIW) représentent la génération actuelle d'applications Web. Ils permettent aux utilisateurs, d'accéder à travers le Web, non seulement à des données complexes, mais aussi à des services interactifs relativement sophistiqués. Malgré la rapide évolution du Web et la complexité croissante des SIWs, les approches de développement restent largement artisanales et empiriques; ce qui conduit à des produits qui posent des problèmes de qualité et de maintenance, similaires à ceux rencontrés dans le domaine des systèmes d'information traditionnels. De plus, du fait d'une population du Web de plus en plus hétérogène, les SIWs induisent une perte du sens de l'orientation et une surcharge de connaissances, lors du parcours du réseau Hypermedia par l'utilisateur. L'ingénierie des SIWs est un thème de recherche récent dans la communauté du Web, qui préconise d'utiliser des approches systématiques et rigoureuses pour le développement du Web. Le travail de thèse s'inscrit dans la problématique définie ci-dessus. Il propose un cadre méthodologique pour l'ingénierie des Systèmes d'information web adaptatifs (SIWA). Nous définissons un SIWA comme un système d'information Web qui personnalise les informations et les services proposés selon les besoins spécifiques et les profils des utilisateurs. Ce travail comporte : AWIS-M (AWIS-Methodology) : un ensemble de modèles de données spécifiques qui permettent à un ingénieur d'application Web de décrire à différents niveaux d'abstraction les différentes facettes d'un SIWA, une démarche méthodologique qui fournit un ensemble de directives pour supporter les étapes de développement. AWIS-CASE : une architecture d'un environnement logiciel visant d'une part, à apporter une aide outillée à l'utilisation des modèles de données et de la démarche méthodologique, d'autre part à faciliter la mise en œuvre et l'exploitation du système obtenu. L'approche proposée ajoute au développement du Web, une dimension supplémentaire : la modélisation de l'utilisateur (et de ses objectifs). Il s'agit précisément d'une approche guidée par les objectifs qui considère toute session de navigation dans un SIW comme la réalisation d'un ou de plusieurs objectifs par l'utilisateur.

Certains travaux en eao s'orientent vers le developpement d'environnements integres appeles ateliers de genie educatif. Ces ateliers doivent couvrir le cycle de vie du logiciel educatif, et mettre a disposition des pedagogues et des informaticiens un ensemble d'outils favorisant un travail cooperatif. Nous proposons une approche ascendante pour la conception des ateliers de genie educatif. Avant tout developpement d'outils, nous pensons qu'il faut considerer le niveau d'integration requis par ce genre d'atelier, et c'est pourquoi nous proposons mage, un meta-atelier de genie educatif. Mage favorise la cooperation entre pedagogues et informaticiens car ce meta-atelier propose: un cadre methodologique regissant les interactions entre acteurs au cours du processus de developpement des logiciels educatifs. Nous avons ainsi decrit formellement la tache de chacun des acteurs durant les etapes de specification, de conception et de realisation d'un logiciel educatif; des services bases sur un langage formel de description des logiciels educatifs. Ces services permettent aux pedagogues et aux informaticiens d'echanger des donnees relatives aux caracteristiques du logiciel educatif developpe. Ce meta-atelier de genie educatif est construit a partir de la plate-forme pcte (portable common tool environment). C'est un composant important de l'environnement pete (portable educational tool environment) qui est au centre des travaux du programme delta (developing european learning through technological advance)

Les Systèmes d’Information possède des domaines d’application très variés et son souvent difficilement personnalisables pour un utilisateur final non expert. De plus les données gérées dans les SIG peuvent être de nature complexe (vecteur ou rasteur). Le modèles mental de l’utilisateur final n’est pas pris en compte ni dans les langages d’interrogation existants, ni dans les méthodes de conception rencontrées. Face à ces problèmes, les principaux SIG rencontrés offrent des environnements propriétaires et des solutions « clefs en main ». Aussi a-t-il été nécessaire de mettre en œuvre un atelier visuel, nommé AIGLE, dédié à la conception et la génération automatique d’applications géomatiques portables sur plusieurs SIG. La portabilité est garantie par la définition d’un langage intermédiaire qui à été implanté dans l’atelier. La prise en compte du modèle mental de l’utilisateur se concrétise par la définition d’un environnement visuel intégré, d’une part, une méthode de conception « visuelle » orientée objet, nommée OMEGA, base sur l’utilisation de métaphores visuelles et un modèle de validation avec l’utilisateur final dès les phases d’analyse et de conception et d’autre part, la définition d’un langage d’interrogation visuel encapsulant un langage d’interrogation intermédiaire. Afin de valider notre approche, un prototype a été réalisé et validé par la génération d’une application-exemple qui a été commercialisée et installée dans un site pilote<br>The Geographical Information Systems (GIS) applications domain is very large. Nowadays marketed GfS are closed regarding applications. Each geographical application needs specific development which is time consuming and which is dedicated to a specific GIS. Moreover, in GIS, manipulated spatial data could be complex (raster or vector). Mental model of the end-user is not considered in the method design aspect; it is not taken into account in the query language aspect. Regarding these problems no real solution exists and most of marketed GIS are still proprietary systems. Our aim is to develop a new visual CASE tool named AIGLE, capable of generating various applications on several GIS platforms. The problem of portability leads us to integrate an intermediate language into the CASE tool. This CASE tool supports, in one hand, a visual object oriented method named OMEGA, and, in the other hand, a visual query language. OMEGA is dedicated to the design and development of geographical end-user applications. This method uses a visual iconic metaphors for the representation of object classes and dynamic state diagrams. In the visual query language for GIS two important levels are defined: end-user level with iconic metaphors and technical level with graphical representation of class abject. The iconic metaphors could represent data or queries. For data, iconic metaphors should be defined in the design stage with OMEGA. The proposed visual language is translated into an intermediate query language before being generated into a specific target GIS. In order to validate our approach a prototype has been developed and an example of geographical application has been generated and marketed

La production de didacticiels souffre d'une absence d'outils opérationnels apportant une véritable assistance aux auteurs. L'observation des besoins, en particulier lors de l’élaboration de didacticiels d'apprentissage au pilotage de système technologiques, nous conduit à proposer une méthodologie de développement de logiciels éducatifs qui combine : analyse structurée, conception guidée et techniques d'évaluation avec une technique de prototypage dans un environnement d'hyperdidacticiel. Cet environnement éducatif de développement respecte une méthodologie d'élaboration et se compose d'un ensemble d'outils coordonnés et organisés dans un atelier de génie logiciel appliqué aux spécifications logicielles didactiques (appelé AGEDI). Cette approche a pour but d'améliorer le développement, la validation, l'affinement d'une maquette de didacticiel et donc de compléter les spécifications fonct. Ionnelles<br>The producation of conrseware requi res a powerflù tool for use in an instructional environment enabling the use of sophisticated instructi anal design strategies by authors. The way of proceeding in the context of building courseware, in particular within the framework of the technological process control training leads us to propose a methodology for courseware develo ment which combines : strucutural analysis, design and assessment techni ues with a protatypying technique in a hypercourseware fashion. This educational environment, based on a methodology of elaboration, provides a set of tools coordinated and organized in a computer-assista:i software engineering applied to courseware specifications (called AGEDI). This approaclLaccomodates the development demonstration and refinement of a working madel to complete set of courseware functional requirements

Dans le cadre du projet de systeme de formation par les nouvelles technologies educatives de l'entreprise aerospatiale, l'auteur formalise la representation et la manipulation des connaissances pedagogiques, didactiques et mediatiques necessaires au developpement d'un logiciel educatif. Dans une problematique genie logiciel et intelligence artificielle, il propose un processus de production, une architecture logicielle et un modele de traitement des connaissances destinees a optimiser la productivite des usagers d'un atelier de genie didacticiel. L'auteur definit alors un modele norme de representation des connaissances integrant leur manipulation et leur controle. Ce modele s'appuie sur un formalisme hybride a base d'objets, de schemas et de regles de production et permet la formalisation de contraintes de developpement caracterisant chaque etape du processus de production. L'etude se concretise par la description des deux maquettes de logiciels developpes pour le projet digitef (diffusion informatique de graphiques, images et textes pour l'enseignement et la formation) et reprenant ces concepts: un outil d'aide a la description de connaissances pedagogiques en vue de leur implantation informatique, et une structure de diffusion de cours par des techniques d'enseignement intelligemment assiste par ordinateur

L'étude menée sur les ateliers logiciels a montré que bon nombre d'entres-eux se limitent à une tâche bien déterminée, qu'ils n'ont pas été conçus pour collaborer les uns avec les autres. Généralement, ils ne sont pas adaptés aux spécificités des systèmes de production et de ce fait les utilisateurs font appel à des outils souvent non complémentaires pour analyser ou concevoir un système. Ce constat engendra l'idée de concevoir et réaliser un atelier dont les principales caractéristiques sont une complémentarité, une homogénéité et une cohérence de l'ensemble des outils de l'environnement d'aide à la modélisation. La particularité de notre approche est que toutes les étapes de développement d'un système reposent sur une méthodologie unique et que les interfaces de communication homme-machine sont uniformes pour l'ensemble des outils. Ces derniers communiquant par l'intermédiaire d'une base de données représentant le noyau de l'architecture logicielle et que la structure interne des données manipulées est unique dans l'environnement. La démarche expérimentale eut pour objet la méthodologie Idef autour de laquelle nous avons conçus et réalisé un système d'aide à l'analyse et à la conception de modèles fonctionnels et informationnels. Celui-ci permet une modélisation graphique et interactive d'un système en général et de production en particulier avec vérification de la cohérence des informations créées, une gestion de l'historique des modèles construits et une génération automatique de routines SQL pour le modèle de données représente sous forme entité-association. Cet atelier est une partie d'un environnement intègre de modélisation dont le but final est d'analyser le comportement dynamique du système modélisé en utilisant les techniques de simulation et d'animation graphique

Les travaux menés se divisent en trois étapes progressives : 1) Étude de la base de données relationnelle et intégration des applications de base de données relationnelle dans le langage LTR-3 à l'aide de la notion de type abstrait de données ; 2) Études approfondies sur le modèle entité-association et proposition d'une méthode de transformation du modèle entité-association au modèle relationnel ; 3) Première description d'un système de gestion d'objets basé sur le modèle entité-association avec la spécification de ses fonctions

Cette recherche se situe dans le contexte des environnements informatiques destinés à favoriser les apprentissages (EIAO, Environnement Interactif d'Apprentissage avec Ordinateur). Les nombreux prototypes développés en recherche implantent une ou plusieurs fonctionnalités requises pour la formation (simulation, explication, etc.) mais jamais l'ensemble de ces fonctionnalités. Au lieu de chercher à développer un nouvel outil qui proposerait cet ensemble, on peut franchir une étape supplémentaire en faisant coopérer divers prototypes offrant des fonctionnalités complémentaires. L'objectif du travail est donc de définir des critères, une architecture et des outils permettant cette coopération. Nous focalisons notre proposition sur la coopération de prototypes existants et nous restreignons l'application au champ de l'enseignement de la géométrie plane au niveau collège et lycée. Nous proposons un atelier logiciel qui permet à un enseignant ou un chercheur d'utiliser des fonctionnalités implantées dans des prototypes différents, à travers une interface unificatrice, à peu près comme s'ils étaient disponibles dans le même logiciel. Pour le définir, nous avons modélisé une activité d'apprentissage du point de vue de l'exécution de logiciels et de l'échanges de données. Notre modèle comprend des scénarios découpés en étapes munies de transitions, des fonctionnalités offertes par un prototype, et la notion d'observable construite à partir de traces d'interaction et d'événements sémantiques. Nous proposons la notion de macro-définition avec les grammaires et interprètes associés pour adapter aussi bien des données du domaine que des observables. Notre atelier est implanté dans une maquette en Java et toutes les propositions sont faites avec un objectif de généralité qui confère aux propositions un caractère générique.

Nos travaux ont consisté à établir une méthodologie d'intégration d'outils dans un environnement hétérogène fédéré et de l'expérimenter dans le cadre d'une architecture productique. Notre méthodologie propose, tout d'abord, d'extraire et de modéliser les données des outils par retro conception. Deux niveaux d'intégration d'outils sont ensuite considérés: un niveau local ou les données manipulées par les outils sont modélisées au-dessus de la plate-forme d'intégration et un niveau fédéré ou les outils manipulent non seulement leurs données mais aussi celles des autres outils de l'environnement au travers de la définition d'un ensemble de niveaux de schémas. Cette méthodologie a été expérimentée au travers de la mise en œuvre de l'environnement DMMS (Design Management and Manufacturing System) faisant intervenir les métiers de la mécanique et de l'automatique. L’objectif principal de cette expérimentation, outre la validation de la méthodologie proposée, est d'évaluer l'aptitude de PCTE à couvrir les besoins de la productique aussi bien du point de vue des données que du contrôle

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é.

Ces dernières années, le développement important des nouvelles technologies en matière de communication (Internet/Intranet, GSM, GPS) a entraîné de nouveaux types ‘applications géomatiques. Ces applications que nous qualifierons de télégéomatiques touchent des domaines tels que le suivi de véhicules en utilisant la technologie GPS, la surveillance de risques, la diffusion de l’information géographique via Internet. L’objectif de la thèse tend à concevoir un atelier T-AIGLE et son formalisme T-OMEGA (basé sur UML) dans le but de faciliter la conception des applications télégéomatiques. Ces travaux ont été réalisés dans le cadre d’une thèse CIFRE avec la société CIRIL SA et font suite aux travaux de thèse d’Ahmed Lbath appelé « AIGLE, un environnement visuel pour la conception et la génération automatique d’applications géomatiques »<br>Recently, the important development of new communication technology (Internet/Intranet, GSM, and GPS) has implied new types of geoprocessing applications. These applications that we will call telegeoprocessing applications concern fields such as traffic monitoring in using GPS technology, risk monitoring, diffusion of geographie information with Internet. The goal of this thesis is to propose a case-tool T -AIGLE and an associated formalism T-OMEGA (based on UML) in order to facilitate the conception of telegeoprocessing applications. ' Our works have been released in the context of a CIFRE thesis with the company ClRIL SA. They follow the thesis of Ahmed Lbath named "AIGLE, a visual environment for the conception and automatic generation of geoprocessing applications"

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é.

Les problèmes liés au temps de développement et à la maintenance des logiciels provoquent généralement une baisse de productivité de l'industrie logicielle. Pour que cette industrie soit compétitive, elle doit recourir à de nouvelles techniques: modèle commun sémantique, services et outils pour les concepteurs, interfaces homme/machine conviviales. Toutes ces technologies devraient être articulées autour d'une même structure d'accueil, facilitant ainsi la réutilisabilité des composants logiciels. Le travail qui fait l'objet de ce mémoire, consiste à présenter aux concepteurs d'applications une plate-forme de développement muni d'un environnement puissant permettant de décharger les concepteurs de certaines tâches, et de leur laisser le soin de se concentrer sur les aspects sémantiques de l'application

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.

Dans le cadre du developpement formel de programmes (specifications, raffinages, transformations), nous construisons un atelier de calcul symbolique. Cet atelier (arcs) est bati pour supporter des methodes de developpement formel de programmes a partir de specifications. Il vise le monde de la recherche en genie logiciel. Il est destine a assister la conception de methodes de programmation en fournissant un environnement de developpement specifique des lors que les langages et regles des methodes sont definis formellement. Le noyau de l'environnement ainsi fourni est constitue d'un editeur interactif et graphique de termes algebriques ou logiques et des outils de traitement de ces derniers. Les services proposes par l'atelier se font au plus haut niveau d'abstraction possible: celui de la syntaxe abstraite. Les traitements sont exprimes par des schemas de reecriture et constituent des parametres de travail. Pour garantir la liberte d'expression et la mobilite des frontieres du systeme, les langages, symbolismes et regles des methodes sont des parametres modifiables et non des constituants predefinis. La visualisation est en deux dimensions pour permettre l'usage de symboles graphiques tels que ceux utilises en mathematique et de plus en plus pour les formalisations en informatique , l'edition d'expressions graphiques complexes, et la manipulation directe par designation de ces dernieres a la souris. Une approche de formalisation est elaboree pour specifier le comportement operationnel du systeme arcs en particulier et des systemes interactifs et graphiques en general. De nombreuses experimentations sont faites avec arcs: edition multiformalisme, manipulation de termes algebriques, transformations par schemas de reecriture, decompilation, etc. . .

Cette thèse concerne l'étude de différentes techniques modernes de génie logiciel qui peuvent être mises en ¦uvre pour développer des systèmes de Traitement Automatique des Langues Naturelles de façon générique et extensible. La première partie fait le point sur l'état de l'art en TALN à propos des Langages Spécialisés pour la Programmation Linguistique et permet d'identifier l'intégrabilité, l'extensibilité et la généricité comme trois qualités qu'il est souhaitable de fournir aux systèmes de TALN. La définition d'un modèle à objets (LEAF) et l'affinage d'un modèle d'architecture (tableau blanc) constituent deux premiers éléments de réponse au problème de l'intégration. Une première approche de la généricité et de l'extensibilité est également présentée avec une expérience de réingéniérie du langage LT. La seconde partie approfondit les problèmes de généricité et les illustre avec la définition d'un langage original de représentation linguistique (DECOR). L'introduction de protocoles internes et externes permet de rendre ce langage particulièrement générique et dynamique. La troisième partie fait état de la réingériérie de deux langages spécialisés (ATEF et ROBRA). Cette expérience permet d'introduire une grande extensibilité dans les moteurs de ces langages par une programmation par objets et protocoles. Une question transverse à ces trois parties concerne l'identification des limites et des écueils liés à la recherche de l'intégrabilité, de l'extensibilité et de la généricité. Ces difficultés viennent principalement de la complexité croissante des protocoles adéquats, dont la maîtrise pourrait rapidement échapper au développeur si l'on n'y prend garde.

Les FabLabs, les hackerspaces et les makerspaces sont des ateliers collectifs équipés de machines à commandes numériques et organisés en réseau. Ces lieux s’inscrivent dans l’élan du mouvement maker et dans l’héritage des hackers. Ils se présentent comme des espaces ouverts à tous et pour tout faire. Malgré une forte médiatisation, la réalité des discours et des pratiques qui s’y développent est encore peu étudiée. Cette thèse en esthétique et en design s’appuie sur une vaste enquête ethnographique menée de 2012 à 2015 au coeur de ces communautés, en France et à l’étranger.De nombreux entretiens et observations dessinées permettent une description critique des manières de faire rencontrées sur ces terrains.Les pratiques, les discours et les ambitions de la fabrication numérique personnelle se construisent dans les marges des territoires classiques de l’industrie et du design et en brouillent les cadres historiques. La première partie de la thèse retrace les origines des mouvements maker et hacker et des FabLabs. En s’appuyant sur des données de première mains et sur des récits plus classiques, elle montre comment la contre-culture américaine et les ambitions technophilesdes chercheurs du MIT rencontrent des appropriations locales divergentes.La réhabilitation du plaisir au travail et l’héritage des Arts and Crafts sont deux aspects qui permettent d’envisager ces lieux comme des terrains d’expérimentation sociale, au-delà de la stricte production. Dans la deuxième partie, la thèse se concentre sur les valeurs d’ouverture et de partage prônées par les amateurs, bricoleurs, makers ou inventeurs contemporains. L’hypothèse d’un design ouvert et participatif conçu hors des standards de la production industrielle de masse est examinée. L’« open design » place la production d’objets dans le sillage de l’open source. Les résultats de ce type de production dessinent les contours encore fl ous d’un territoire nouveau pour le design.La troisième partie étudie les promesses et contradictions qui entourent la démocratisation de l’innovation et de la production. L’impression 3D est prise comme cas d’étude emblématique pour étudier les ambivalences de l’émancipation espérée par les porteparoles du mouvement maker. Ces pratiques hésitantes nourrissent les ramifi cations de ce que nous proposons d’appeler un design diffus. Celui-ci se développe par tâtonnements dans les communautés d’amateurs et touche à des activités créatives d’invention, de Conception et de fabrication.L’étendue rhizomatique des manières de faire propresau design diff us est composée d’objets sans apparat,situés dans les marges de l’industrie. Selon la défi nitionqui en est proposée, ils sont conçus de manière ouverteet documentée dans l’objectif d’explorer et de contribuerà la découverte des technologies de la fabricationnumérique personnelle. Sans constituer de paradigmeclos, le design diff us détourne les normes instituées etles procédures classiques du design et de l’industriepour proposer une conception exploratoire et ouverte dela fabrication<br>FabLabs, hackerspaces and makerspaces are shared workshops, equipped with digital tools and organised in a network. These places are connected to the maker movement and are heirs to hackers.They off er themselves as places where anybody can come and make anything. In spite of some strong media coverage, the reality of discourses and practices that occur in those places has not yet been much studied. This dissertation in Aesthetics and design is based on a large ethnographic survey conducted between 2012 and 2015, in France and abroad. A series of interviews and drawn observations allows for a critical description of the ways of doing that can be witnessed on these fields. Practices, discourses and ambitions of personal digital fabrication are built in the margins of the classical fields of industry and design, blurring their historical frames. The fi rst part of this dissertation retraces the origins of FabLabs as well as of the maker and hacker movements. First hand data and classical accounts reveal how American counter-culture and the technophile ambitions of MIT researchers result in diverging local appropriations.The rehabilitation of pleasure at work and the heritage of the Arts and Crafts both point to these places as fields ofsocial experimentation, beyond mere production. In the second part, this dissertation focuses on the values of openness and sharing advocated by contemporary amateurs, tinkerers, makers or inventors. The hypothesis of a design that could be open, participative, out of the standards of industrial mass production is examined. « Open design » places the production of artefacts in the wake of open source. This type of production ends up shaping a new, though hazy, field for design.The third part studies the promises and contradictions that surround the democratization of innovation and production. 3D printing is taken as an emblematic case study to consider the ambivalences behind the emancipation expected by representatives of the maker movement.These indecisive practices feed the branches of what we might call 'diff use design'. It develops itself by trial and error in amateur communities and reaches creative activities of invention, conception and fabrication. The rhizomatic area of diff use design comprises rather plain objects, situated in the margins of industry. According to this defi nition, they are produced in an open and documented way, in order to explore and contribute to the discovery of digital fabricationtechnologies. Diff use design is not a closed paradigm, but turns away from instituted norms and off ers an openand exploratory conception of fabrication

La croissance en taille et en complexité des logiciels actuels, ainsi que les contraintes du marché, rendent de plus en plus nécessaires les techniques d'ingénierie concurrente. Ces techniques servent à réduire les temps de développement en permettant à plusieurs développeurs de travailler simultanément sur les mêmes objets. Malheureusement, la concurrence pose de nombreux problèmes mal gérés par les systèmes de support à la collaboration qui existent aujourd'hui. Le contrôle de la concurrence est donc un défi pour les concepteurs d'environnements de génie logiciel. Cette thèse s'intéresse au support informatique des procédés collaboratifs de génie logiciel et, en particulier, au contrôle de la concurrence.<br />Notre proposition sera divisée en deux parties. Dans la première partie nous définissons un langage pour la modélisation des procédés de génie logiciel concurrents et nous expliquons les mécanismes qui permettent l'application dans la réalité des procédés ainsi définis. La deuxième partie propose un système dit d'augmentation de l'information contextuelle, qui prend avantage de l'existence des modèles de procédés, pour fournir aux utilisateurs une information pertinente pour leur travail.<br />La proposition est implémentée au sein du logiciel CELINE. Ce logiciel a été mis en service dans un environnement industriel au sein de deux équipes de conception de la société STMicroelectronics.

Pour etre competitives dans le contexte economique actuel, les entreprises doivent evoluer sur des marches internationaux, et etre capables de faire face a la concurrence accrue des pays ou la main d'uvre est bon marche. Durant ces dernieres annees, le nombre de produits des industries manufacturieres a fortement augmente, les volumes de commande ont ete reduits, et les delais de livraison ont ete raccourcis. Il devient donc tres difficile de realiser de bons plannings en un temps raisonnable et il est pratiquement impossible d'apprecier les consequences d'un ecart de planning. Les entreprises sont donc constamment a la recherche d'outils de planification et d'ordonnancement fiables et efficaces. Dans cette these, nous etudions les problemes d'ordonnancement des organisations lineaires d'ateliers des industries manufacturieres, et proposons un systeme d'aide a la decision pour le pilotage de la production. Nous illustrons nos principaux resultats dans le cadre d'une entreprise pilote du secteur textile. Nous proposons une nouvelle approche des systemes de production pour identifier les problemes d'ordonnancement, et specifier des modeles dynamiques permettant d'evaluer et valider les decisions d'ordonnancement. Cette approche associe la simulation a evenements discrets aux techniques classiques de l'optimisation. Les problemes d'ordonnancement ont ete modelises dans le cadre d'organisations lineaires d'ateliers (flow shop hybride), integrent des contraintes technologiques et de ressources, et prennent en compte differents objectifs. Ces problemes etant np-difficiles, plusieurs heuristiques ont ete developpees ou adaptees de precedents travaux pour prendre en compte les diverses contraintes et les differents objectifs. De nombreuses experimentations ont ete effectuees pour juger de la qualite et de la robustesse de ces algorithmes et la validation industrielle de cette approche de resolution a ete realisee en experimentant les algorithmes sur des donnees industrielles. Enfin, nous proposons de formaliser et de generaliser notre demarche dans le cadre de la conception d'un atelier de genie decisionnel pour le pilotage des systemes de production

Comme le mentionne l'Académie des Sciences nationales « le logiciel n'est pas qu'un produit essentiel du marché, mais, en fait, incarne la fonction de production de l'économie elle-même » (Jorgenson et al. 2006). Les trois exemples suivants illustrent cette situation : d'ici 2010, on prévoit que le téléphone mobile contiendra 20 millions de lignes de code et un fabricant d'automobiles a estimé que ses voitures auront jusqu'à 100 millions de lignes de code (Charrette, 2005). Dans l'industrie aérospatiale, la société Boeing compte dépenser environ 4 milliards de dollars pour le développement des logiciels de son nouvel avion, le modèle 787 (Longtemps, 2008). Le développement de ces logiciels de haute qualité pourrait exiger jusqu'à 20 000 personnes-année d'effort. Même les organismes tels que Boeing ne peuvent développer cette quantité de logiciels à l'interne dans un délai raisonnable. Il est très probable que beaucoup de petites et très petites organisations fourniront des composants à la société Boeing ou à ses fournisseurs principaux qui les intégreront à d'autres composants ou sous-systèmes. L'auteur a passé une partie significative de sa carrière dans de grandes organisations comme le Ministère de la Défense nationale du Canada, en tant qu'ingénieur des processus pour un fabricant d'un système équipé de missiles pour la défense antiaérienne. Il a oeuvré en outre comme conseiller en amélioration des processus pour un fabricant ferroviaire important. Dans ces organisations, l'utilisation de normes pour le développement ou l'entretien des logiciels faisait partie de leur culture. Quand l'auteur a joint, en tant que professeur de génie logiciel, l'École de technologie supérieure (ÉTS) en 2000, il a été confronté avec un nombre d'étudiants de premier cycle en génie logiciel qui travaillaient dans de petites entreprises. Les étudiants n'avaient pratiquement aucune connaissance concrète des normes du génie logiciel. L'auteur a dû apporter des modifications à sa stratégie d'enseignement des normes pour s'adapter au contexte des étudiants, puisque les normes en génie logiciel ont été développées par des professionnels travaillant dans de grandes organisations, pour répondre aux besoins de ces dernières. Les petites organisations n'ont pas l'expertise, ni le budget ni le temps pour adapter de telles normes à leur contexte. Après avoir assisté à quelques réunions du comité responsable du développement des normes en génie logiciel et en génie des systèmes de l'Organisation internationale de normalisation (ISO), l'auteur a décidé d'aborder ces problèmes. Dans les paragraphes suivants, l'auteur décrit l'approche adoptée pour aider les très petites organisations (TPOs) à améliorer leurs pratiques en génie logiciel en vue d'augmenter leurs performances et leur compétitivité. Les TPOs sont des entreprises, des organismes, des départements ou des projets ayant jusqu'à 25 personnes. Les TPOs en technologie de l'information (TI) sont très importantes pour l'économie mondiale. Un grand pourcentage des organisations produisant des logiciels dans le monde ont moins de 25 employés. Par exemple en Europe, 85 % des sociétés du secteur des technologies de l'information (TI) ont entre 1 et 10 employés1. Au Canada, la région de Montréal comporte près de 80 % de sociétés de moins de 25 employés (Gauthier, 2004). Leurs composants logiciels sont souvent intégrés dans les produits de plus grandes entreprises. Les retards de livraison, le nonrespect du budget et un produit parfois de faible qualité menacent la compétitivité des clients et des TPOs. Une approche visant à atténuer ces risques est d'utiliser des fournisseurs ayant instauré des pratiques éprouvées en génie logiciel comme celles documentées dans les normes de l'ISO. Beaucoup de normes internationales, telles que la norme définissant les processus de cycle de vie de logiciel, ISO/CEI 12207 (ISO 2008d) et de modèles tels que le modèle d'évolution des capacités (SEI 2006) développé par le Software Engineering Institute, ont été développés pour documenter des pratiques éprouvées. Cependant, ces normes et modèles n'ont pas été conçus en ayant les TPOs à l'esprit. Il est difficile les appliquer dans de telles organisations. Un groupe de travail de l'ISO/IEC JTC1/SC72 a été établi, le groupe de travail 24 (WG24) pour aborder ces difficultés et développer des normes de génie logiciel et des rapports techniques conçus spécifiquement en fonction des besoins des TPOs. L'auteur de cette thèse a été nommé, par l'ISO en 2005, éditeur de ce nouveau groupe de travail. Cette thèse utilise le modèle à six (6) phases du processus de développement d'innovations de Rogers (Rogers, 2003) illustré à la figure ci-dessous, pour décrire la démarche et les contributions de l'auteur. Phases du processus d'innovation (adapté de Rogers 2003) La phase 1 du processus d'innovation, intitulée identification des besoins et problèmes, a débuté en 2004 en Australie, lors de la réunion du comité de normalisation SC7 de l'ISO responsable des normes en génie logiciel. À cette réunion, le Canada a souligné les problèmes des petites organisations requérant l'adaptation des normes à leur taille et à leur niveau de maturité. Des participants à cette réunion ont mentionné que les normes sont, pour les TPOs, trop volumineuses et compliquées. Les normes actuelles d'ingénierie logicielle ciblent ou semble cibler 1 http://www.esi.es/en/main/iitmark.html 2 ISO/IEC JTC 1/SC7 signifie International Organization for Standardization/ International Electrotechnical Commission Joint Technical Committee 1/Sub Committee 7. Ce comité est responsable du développement et de l'amélioration des normes en génie logiciel et en génie des systèmes. les grandes organisations. Une réunion fut organisée avec des représentants de cinq instances nationales (Australie, Canada, République tchèque, Afrique du Sud et Thaïlande) où un consensus fut atteint quant aux objectifs généraux (ISO 2004c) d'un futur groupe de travail : • Rendre les normes d'ingénierie logicielle de l'ISO davantage accessibles aux TPOs. • Fournir aux TPOs de la documentation demandant un effort minimum d'adaptation. • Fournir aux TPOs une documentation harmonisée, intégrant les normes existantes: o Normes de processus o Normes décrivant les produits du travail et les livrables o Normes portant sur l'évaluation et la qualité Il fut également décidé de créer un groupe d'intérêt spécial (SIG) en vue d'explorer ces objectifs, de mieux articuler les priorités et d'élaborer un plan de travail. La phase 2 du processus d'innovation, intitulée recherche fondamentale et appliquée, a été amorcée par l'invitation d'un groupe d'experts à l'Institut de standardisation industrielle de Thaïlande (TASI), pour faire progresser les travaux définis lors de la réunion en Australie. Un des sujets de discussion fut de définir clairement la taille des TPOs visées par les travaux de ce groupe. Il a été convenu qu'une TPO est définie comme suit : une entreprise, une organisation, un département ou un projet ayant jusqu'à 25 personnes. L'auteur a proposé, lors de cette réunion, de développer et de conduire un sondage international des TPOs. Ce sondage, traduit dans 9 langues, a été mené sur l'utilisation des normes par les TPOs. Des données ont été rassemblées pour valider la liste de problèmes et de besoins documentés par les membres du groupe de travail. Plus de 435 réponses ont été reçues de 32 pays. Les résultats du sondage ont été utilisés par le groupe de travail pour définir les exigences qui seront employées aux fins de développer les normes pour les TPOs. En 2005, l'ISO a approuvé la formation d'un groupe de travail (Working Group), le WG24. Puisque le WG24 désirait préparer une première norme le plus rapidement possible, il a effectué une recherche des normes ou des modèles existants pouvant être adaptés aux besoins des TPOs. Une norme nationale mexicaine, la norme MoProsoft (NMX 2005), développée pour les petites et moyennes entreprises mexicaines, a été choisie pour atteindre cet objectif. À la phase 3 du processus d'innovation intitulée développement, le WG24 a développé un ensemble de normes et de rapports techniques. Le développement a été réalisé en deux étapes : à l'étape 1, le groupe de travail a choisi, à partir de la norme nationale mexicaine, un sous-ensemble de processus et de produits de travail (Work Products) applicables aux TPOs. À l'étape 2, le groupe a adapté ce sous-ensemble aux besoins des TPOs et a développé des normes et des rapports techniques. Chaque document développé par le WG24 vise une clientèle spécifique. De plus, pour guider les TPOs à la mise en oeuvre des pratiques de génie logiciel adaptées à leurs besoins et à leur croissance, le WG24 a développé un parcours (roadmap) composé de quatre (4) étapes ou profils : • L'étape 1 s'adresse aux TPOs en démarrage (Start-up) et aux TPOs qui développent des projets de 6 personnes-mois ou moins. • L'étape 2 s'adresse aux TPOs qui n'exécutent qu'un seul projet logiciel à la fois. • L'étape 3 s'adresse aux TPOs qui exécutent plusieurs projets logiciels à la fois. • L'étape 4 s'adresse aux TPOs désirant améliorer notablement la gestion de leurs affaires (Business Management, Portfolio Management). La figure ci-dessous illustre les documents développés à ce jour pour les TPOs exécutant un seul projet à la fois : • Le document intitulé Overview est un rapport technique ISO présentant les concepts nécessaires à la compréhension de l'ensemble des documents liés à la norme, c'est-à-dire les documents intitulés Framework and Taxonomy et Specification of Profile, ainsi que les rapports techniques intitulés Assessment Guide et Management and Engineering Guide. Le document Overview est destiné à une clientèle désirant comprendre la norme: les TPOs, les donneurs d'ordre, les évaluateurs, les auteurs d'un profil, les développeurs d'outils, les consultants, etc. • Le document intitulé Framework and Taxonomy est une norme ISO. Ce document explique le concept et la structure des profils ainsi que la terminologie spécifique à cette norme. • Le document intitulé Assessment Guide est un rapport technique ISO. Il présente des guides pour développer une méthode d'évaluation ou pour effectuer l'évaluation d'un profil. • Le document intitulé Specification of Profile est une norme ISO. Il énumère les éléments de normes telles que la ISO/CEI 12207 (ISO 2008d) et la ISO/CEI 15289 (ISO 2006a), qui sont utilisées pour la description d'un profil spécifique. • Le document intitulé Management and Engineering Guide est un rapport technique ISO. Il fournit des guides d'application en matière de gestion et d'ingénierie pour un profil spécifique. 29110 Guides (TR) Assessment Guide (TR 29110-3) Management and Engineering Guide (TR 29110-5) Management and Engineering Guide – Nnnn VSE Profile (TR 29110-5-x) 29110 ISPs Framework and Taxonomy (ISP 29110-2) SpecificationsofVSE Profiles (ISP 29110-4) Specification - Nnnn VSE Profile (ISP 29110-4-x) 29110 Overview (TR 29110-1) Vue d'ensemble des documents ISO pour les TPOs À la phase 4 du processus d'innovation intitulée commercialisation, le WG24 et l'ISO ont coordonné des cycles de révision des documents et ont rassemblé des centaines de commentaires des délégations nationales. Le WG24 a analysé chaque commentaire et a produit une version révisée des documents. L'ensemble de ces documents devrait être approuvé par les organismes nationaux de normalisation et publié par l'ISO en 2010. Même si le groupe de travail a créé un guide de gestion et d'ingénierie, la plupart des TPOs ne possèdent pas l'expertise pour transformer ce guide en un processus utilisable et utile. L'auteur a donc proposé aux délégués du groupe 24, lors de sa réunion à Moscou en 2007, le développement de matériel utilisable ‘tel quel' par les TPOs. À la phase 5 du processus d'innovation intitulée diffusion et adoption, l'auteur a encadré le développement d'un ensemble de documents intitulé trousse de déploiement (Deployment Package), à partir du guide de gestion et d'ingénierie (ISO/IEC TR29110-5.1 VSEP Basic Profile- Management and Engineering Guide), pour faciliter l'adoption et l'implémentation des pratiques logicielles dans les TPOs. Une trousse de déploiement (TD) est un ensemble d'artefacts visant à faciliter et à accélérer l'implantation de la norme ISO dans les TPOs en leur donnant des processus prêts à être utilisés. Par exemple : processus documentés comportant les activités, rôles, intrants, extrants, listes de vérification, gabarits, exemples et outils de support. Pour le profil s'adressant aux TPOs qui n'exécutent qu'un seul projet logiciel à la fois, les membres du groupe de travail ont élaboré bénévolement les trousses de déploiement énumérées au tableau suivant. Nom de la trousse de déploiement Pays responsable Analyse des exigences Belgique, Canada Architecture et conception détaillée Canada Construction (i.e. codage et tests unitaires) Mexique Intégration et tests Colombie Vérification et validation Pérou Gestion des versions Thaïlande Gestion de projets Irlande Livraison du produit Thaïlande Auto-évaluation Finlande Conduite de projets pilotes Canada, Uruguay Liste des trousses de déploiement Ces trousses de déploiement forment un ensemble cohérent, permettant la mise en place de la norme, pièce par pièce, pour répondre aux besoins des TPOs et à leurs capacités spécifiques à implémenter et utiliser de nouvelles pratiques. Par exemple, une TPO qui éprouve des difficultés à gérer les versions de ses documents et logiciels appliquera les pratiques de la trousse ‘version control'. En ce moment, les trousses ne sont disponibles qu'en anglais puisqu'elles sont développées et révisées par les membres du groupe 24. Par la suite, elles seront traduites par le délégué d'un pays pour satisfaire les besoins des TPOs de son pays. Lors de la réunion du WG24 à Mexico en 2008, l'auteur a proposé la création d'un réseau international de support aux TPOs. Comme plusieurs membres du WG24 travaillent dans des centres de transfert technologique, il a été proposé d'instaurer un réseau de collaboration entre ces centres. Chaque centre a la responsabilité de déployer les trousses et d'offrir d'autres produits et services en tenant compte des particularités nationales. Les principaux objectifs de ce réseau sont d'accélérer le déploiement de la norme de l'ISO et des guides pour les TPOs, l'accélération du développement et l'application des guides et des trousses de déploiement. Un document décrivant les modalités de collaboration a été rédigé et signé entre chacun des membres du réseau et l'ÉTS. Les participants au réseau sont : • Belgique - Centre d'Excellence en Technologies de l'Information et de la Communication (CETIC) • Colombie - Parquesoft Foundation • Finlande - Université de technologie de Tampere, Pori • France - Université de Bretagne Occidentale • Hong Kong - Université Polytechnique • Irlande - Lero, The Irish Software Engineering Research Centre • Luxembourg - Centre de Recherche Public Henri Tudor • Thaïlande – Federation of Thai Industries Afin de s'assurer que les normes, documents techniques et les trousses de déploiement satisferont les besoins des TPOs, des projets pilotes seront réalisés en 2009. La Thaïlande annoncé, lors de la réunion du groupe 24 en Inde en mai 2009, un réseau de collaboration dont elle sera le chef de file (Regional Hub). Ce réseau est composé des 10 pays de l'organization ASEAN3: Thaïlande (20004), Cambodge (100), Laos (200), Myanmar (200), Vietnam (500), Malaisie (1200), Singapour (1000), Indonésie (1500), Philippines (2500) et Brunei (500). L'Universidad Nacional Autónoma de México (UNAM) a également manifesté son intérêt à devenir membre du réseau. D'autres centres de transfert ainsi que d'autres universités seront contactés et invités à se joindre au réseau en 2009 (i.e. Corée, Japon, Chine, Afrique du Sud). Lors de la réunion du groupe de travail de l'ISO en Inde en mai 2009, l'auteur a proposé aux 21 délégués, représentant 11 pays, la création d'un groupe d'intérêt sur l'éducation (Education Interest Group). L'objectif d'un tel groupe est de développer un ensemble de cours pour les étudiants de premier et second cycle en informatique ou en génie logiciel/informatique, de telle sorte qu'ils apprennent et appliquent les normes ISO pour les TPOs durant leurs études plutôt que d'attendre leur arrivée en industrie. Les cours développés seront, pour les universités, similaires aux trousses de déploiement développées pour les TPOs. Ces trousses d'enseignement comporteront les éléments suivants : un plan de cours, du matériel de présentation, des exercices, des études de cas et des suggestions de lecture. Un premier jeu de six cours a été proposé aux délégués : • Cours 1 - Introduction aux normes ISO/CEI en génie logiciel. • Cours 2 - Introduction aux normes, rapports techniques ISO/CEI 29110 et aux trousses de déploiement pour les TPOs. • Cours 3 - Développement d'un processus d'ingénierie de logiciels (Process Engineering) utilisant le Rapport technique ISO/CEI 29110 Partie 5 – Guide d'ingénierie et de gestion. • Cours 4 - Développement de logiciels utilisant le Rapport technique ISO/CEI 29110 Partie 5 – Guide d'ingénierie et de gestion. • Cours 5 - Évaluation de la conformité des processus de développement de logiciels à la norme ISO/CEI 29110. • Cours 6 – Conduite de projets pilote pour implanter la norme ISO/ CEI 29110 dans une TPO. L'auteur a développé un gabarit de trousse d'enseignement qui sera utilisé pour le développement et la documentation de chaque cours. Les délégués de quatre pays ont offert de développer les cours suivants : • Irlande- Introduction aux normes ISO/CEI en génie logiciel. • Canada - Introduction aux normes, rapports techniques ISO/CEI 29110 et aux trousses de déploiement pour les TPOs. 3 Association of Southeast Asian Nations. 4 Ce nombre indique le nombre de TPOs qui pourraient bénéficier des travaux du WG24. • République Tchèque - Développement de logiciels utilisant le Rapport technique ISO/CEI 29110 Partie 5 – Guide d'ingénierie et de gestion. • Thaïlande - Conduite d'un projet pilote pour implanter la norme ISO/ CEI 29110 dans une TPO. Lors de la prochaine réunion du groupe de l'ISO au Pérou en novembre 2009, les cours seront présentés aux délégués. Ils seront ensuite disponibles gratuitement sur Internet pour les professeurs des universités. Dans le but de publiciser, à l'extérieur du groupe de travail 24 de l'ISO, le travail effectué par celui-ci, l'auteur a développé un site Internet en français et un en anglais. Ce site est hébergé à l'ÉTS et s'avère une extension du site professionnel de l'auteur. Ce site comporte les informations suivantes ; • Une page d'accueil expliquant le mandat du groupe ISO. • Une page énumérant les membres du groupe de travail afin de bien illustrer la participation de plusieurs pays au groupe ISO. • Une page décrivant le réseau de support aux TPOs. • Une page dépeignant les trousses de déploiement et qui permet de télécharger ces trousses (les trousses ne sont disponibles qu'en anglais présentement). • Une page dépeignant les trousses d'enseignement (les trousses ne sont disponibles qu'en anglais présentement). • Une page énumérant les publications et communications effectuées par les membres du groupe ISO. La plupart des publications peuvent être téléchargées. Au dernier chapitre de cette thèse, l'auteur présente les travaux futurs et une conclusion. En ce qui a trait aux travaux futurs, les sujets suivants sont discutés : l'application des concepts des profils et des trousses de déploiement au domaine de l'ingénierie de systèmes pour le développement des produits par des TPOs; la mesure de l'adoption, par les TPOs dans le monde entier, des normes de l'ISO et des trousses de déploiement développées par le WG24; l'établissement d'un centre de transfert technologique, pour les TPOs québécoises à l'École de technologie supérieure (ÉTS); le développement de profils pour les développeurs de logiciels critiques et pour les développeurs de logiciels scientifiques; le développement de modules appelés ‘plug-in' pour faciliter et accélérer l'implémentation des normes ISO et des trousses de déploiement. Finalement, au chapitre de la phase 6 du processus d'innovation, l'auteur propose des pistes visant l'étude des conséquences positives et négatives résultant de la publication de la norme ISO, pour les TPOs.

L'avènement de l'IDM (Ingénierie Dirigée par les Modèles) a suscité beaucoup d'intérêt de la part des organisations qui de fait commencent à transformer leur processus de développement traditionnel en un processus de développement dirigé par les modèles, appelé aussi processus IDM.Au moment où ces processus commencent à émerger, nous notons l'absence d'un langage dédié pour les modéliser et les mettre en œuvre. Le standard SPEM 2.0 propose des concepts génériques qui sont supposés être capables de décrire tout type de processus logiciel. Cependant, les concepts de SPEM ne capturent pas la nature exacte des processus IDM. D'autre part, une autre insuffisance majeure de SPEM réside dans le fait qu'il n'intègre pas les concepts relatifs à la mise en œuvre des processus.L'objectif de cette thèse est triple : (1) proposer une extension de SPEM dans laquelle les concepts centraux des processus IDM sont réifiés ; (2) proposer un langage dédié à la modélisation comportementale des processus IDM ; (3) proposer une architecture conceptuelle d'un environnement logiciel d'aide à la modélisation et à la mise en œuvre des processus IDM.Pour valider notre approche, un prototype a été développé sous l'environnement TOPCASED. Ce prototype fournit d'une part un éditeur graphique pour la modélisation structurelle et comportementale des processus IDM et d'autre part un environnement de mise en œuvre s'appuyant sur les modèles comportementaux des processus. Nous avons également appliqué notre approche à une étude de cas significatif: le processus UWE (UML-based Web Engineering), qui est un processus IDM dédié au développement d'applications web.

L'importance du logiciel est un fait dont les responsables de projets informatique sont aujourd'hui pleinement conscients. Pour cette raison, les utilisateurs et les concepteurs de produits logiciels sont de plus en plus exigeants et ressentent de façon aiguë et urgente la nécessité de développer des méthodologies pour la réalisation et la validation des produits logiciels. L'approche que nous proposons entre dans cette perspective en mettant en œuvre des stratégies intervenant dans les deux phases du cycle de vie conception détaillée et codage pour aboutir à une méthodologie de conception de programmes (MCP). MCP propose à l'utilisateur une démarche guidée selon un processus établi pour rationaliser la production des logiciels et en augmenter la qualité en respectant certaines étapes de production. Pour la phase de conception, nous avons d6fini un langage algorithmique (LA) adapté aux concepts de la programmation modulaire et d' encapsulation. La démarche retenue s' appuie également sur l'analyse descendante par raffinements successifs pour les données comme pour les programmes. Par ailleurs une aide à la saisie est fournie lors de l'écriture d'un programme, déchargeant ainsi l'utilisateur d'un ensemble de tâches fastidieuses et redondantes. MCP permet également l'accès à une banque d'entités logicielles : types abstraits et outils. Le passage de la phase de conception détaillée à la phase de codage se fait de façon automatique: on assure ainsi une continuité entre les phases. Outre ces apports, MCP fournit automatiquement une documentation plus ou moins détaillée selon le souhait de l'utilisateur. En résumé, MCP donne à l'utilisateur les moyens d'une conception rigoureuse (par l'utilisation du LA) et contrôlée, elle assure la production automatique d'une documentation et permet enfin une bonne communication et une transition cohérente entre les phases de conception détaillée et de codage.

Cette thèse a pour objectif de concevoir et de réaliser l'interface entre le logiciel Moduleco et le logiciel TSP. Les principaux sujets abordés sont les suivants: 1) études approfondies de Moduleco-logiciel de modélisation macro-économique, et de TSP-logiciel de statistique et de calcul économétrique; 2) génération automatique de programmes TSP; 3) traduction des équations de syntaxe Moduleco en équations de syntaxe TSP; 4) récupération des résultats TSP dans Moduleco. Ce travail a été réalisé au sein du projet Moduleco de l'Inria-Rocquencourt

Les environnements de génie logiciel dits "centres processus" (EGLCP) ont pour but d'assister et de guider les développeurs dans leurs activités individuelles et collectives au cours du développement du logiciel. Ils englobent un formalisme pour la modélisation des processus logiciels et des mécanismes pour l’exécution de ces modèles Le problème que nous traitons dans ce mémoire est celui du support de la coopération au cours du processus logiciel. Nous définissons la coopération en termes de partage de buts et en termes d'interactions telles que la communication, la coordination et la négociation . A l'issue d'une analyse de plusieurs environnements de génie logiciel, nous observons que la plupart d'entre eux, lorsqu'ils traitent la coopération: d'une part, la placent au niveau de l'environnement d’exécution des modèles de processus, et d'autre part, n'offrent pas la possibilité de définir et de prendre en charge de nouvelles interactions. Nous nous fixons alors deux objectifs: celui de permettre aux développeurs de définir de manière explicite et personnalisable leurs interactions, et, celui de leur fournir une assistance dans leurs activités individuelles et collectives par la prise en charge de ces interactions. Nous proposons pour cela un formalisme et un système d’exécution pour modéliser et mettre en œuvre des processus logiciels selon une perspective orientée "coopération". Le paradigme multi-agents et l'apport d'une sémantique intentionnelle aux interactions représentent les éléments clés de notre solution. Le système d’exécution prend en charge des processus logiciels vus comme . .<br>Software process centred environments aim to assist engineers during software development in their individual and collective tasks. These environments consist of a formalisme for process modelling and mechanisms for enacting the process models. In this thesis, we address the issue of cooperation support in the software process. Cooperation is defined in terms of goal sharing and of interactions such as communication, coordination and negotiation. The analysis of existing software development environments shows that, on the one hand, cooperation is only considered at a basic enactment level, and on the other hand, they do not provide engineers with means for defining and carrying out new types of interactions. Thereby, our objective is twofold: first, to provide engineers with concepts for defining and customising their interactions, and second, to assist them in their individual and collective activities taking into account possible interactions. We propose a formalism and mechanisms for modelling and enacting software processes according to a "cooperation-oriented" viewpoint. The multi-agent paradigm and the intentional semantics of interactions are the key elements of the proposed solution. Enacting processes are seen as multi-agents systems where agents assist engineers in carrying out their tasks, achieving their goals and managing their interactions. Interactions, based on the concept of . .

Dans le contexte économique actuel, la maîtrise de la qualité est devenue un impératif absolu pour les logiciels industriels. Un des objectifs de l'atelier de contrôle de qualité (FIAB) est d'évaluer la qualité du logiciel par une approche quantitative (McCALL). Une étude de METROLOGIE du logiciel a été menée pour tenter d'apporter une réponse aux difficultés qui surgissent lorsqu'il s'agit d'estimer objectivement la qualité du logiciel. Nous nous intéressons à l'exploitation la plus complète possible des informations contenues dans les documents de conception détaillée (formalisés en Langage Algorithmique) et de codage. Si l'on considère l'approche "arbre de qualité" de McCALL, on peut réduire l'arbre complet pour ne conserver qu'un sous-arbre aboutissant à des indices de qualité faciles à réaliser automatiquement. Les mesures nécessaires à. L'évaluation de ces indices sont obtenues à partir d'un analyseur statique multi langage (C, PASCAL, PLM, LDP) constituant l'ossature de FIAB. Cette structure d'accueil (implantée sous UNIX) offre des fonctionnalités telles que la documentation, l'aide aux tests et la vérification des normes de programmation. Les résultats de l'étude permettent essentiellement l'enrichissement de la fonction audit (QUALIMETRE) avec comme objectif une estimation des facteurs de qualité retenus (fiabilité, maintenabilité, portabi lité, modifiabilité, banalité d'emploi, efficacité, intégrité).

Depuis 1970, un certain nombre d'auteurs se sont intéressés à dédinir le noyau de base du génie logiciel. Ces auteurs s'entendent sur le fait que la discipline doit s'appuyer sur des principes fondamentaux qui seraient moins sensibles à l'évolution rapide de la technologie. Contrairement aux autres disciplines du génie, le génie logiciel ne peut s'appuyer sur les principes de la physique, ainsi, le génie logiciel doit identifier ses propres principes fondamentaux. Plus de 300 principes ont été recensés au niveau des travaux antérieurs sur l'identification des principes du génie logiciel. Depuis plus de 30 ans, les listes de principes s'accumulent sans qu'il y ait un consensus de la part de la communauté sur un ensemble précis de principes. Le nombre élevé de principes publiés bloque l'avancement de la recherche sur le sujet. Cette thèse traite de front 308 principes recensés depuis 1970 à l'aide d'une méthodologie analytique originale afin de filtrer l'ensemble des principes et de ne conserver que ceux qui satisfont à des critères d'identification précis. En premier, un bilan historique des travaux est fait afin de bien cerner la problématique. Par la suite, les objectifs de la recherche sont établis, ainsi que la méthodologie composée de quatre étapes. La première phase consiste à développer le cadre conceptuel nécessaire à la thèse. Par la suite, la deuxième phase applique les critères individuels d'identification aux 308 principes. La troisième phase applique deux critères d'ensemble aux principes retenus à la phase 2, catégorise les principes et effectue des liens avec les processus de la norme ISO/IEC 12207. La quatrième phase procède à une évaluation du degré de couverture des principes retenus à la phase 3 en fonction des éléments du modèle d'ingénierie, dans un premier temps, et en fonction des normes du génie logiciel de l'IEEE. Cette thèse a permis d'obtenir une liste réduite de 34 principes qui répondent aux critères d'identification. De plus, ces 34 principes supportent bien les éléments de base du modèle d'ingénierie, ainsi que les normes du génie logiciel de l'IEEE. Il est maintenant possible de poursuivre la recherche sur les principes du génie logiciel avec la liste réduite obtenue de cette thèse.

Nous présentons dans cette thèse la résolution de trois problèmes d’optimisation liés aux systèmes de production : 1) Deux problèmes d’agencement physique d’un ensemble de cellules de production sur un atelier. Nous considérons dans ce cas des formes polygonales rectilinéaires rigides pour les cellules ainsi que la possibilité d’affecter trois types de moyens de manutention pour transporter les différents flux de produit. 2) Un problème de découpe à deux dimensions de formes polygonales rectilinéaires 3) Des problèmes d’ordonnancement de type « flowshop » général. La résolution de ces différents types de problème se fait par le biais d’hybridation des métaheuristiques que sont les algorithmes génétiques et le recuit simulé avec d’autres algorithmes conçus pour des besoins spécifiques à chacune des applications. Un algorithme d’Hitchcock dans le cas de l’agencement, des procédures complexes de réparation et d’exploration de l’espace libre dans le cas des problèmes de découpe et des opérateurs orientés données dans le cas des problèmes d’ordonnancement<br>In this thesis, we present efficient methods for solving three optimization problems dealing with production systems : 1) Two physical facility layout problems. We consider rigid and polygonal rectilinear shapes for the cells and the material handling system assignment to transport the different production flows. 2) 2 dimensional cutting problem for polygonal rectilinear shapes 3) Flowshop scheduling problems. For solving each problem, we use hybrid methods combining metaheuristics such an genetic algorithms and simulated annealing with other procedures used specifically to each application. Hitchcock algorithm for layout problems, complex repairing procedures and free space exploration algorithms for the 2D cutting problems and data oriented operators for flowshop problems

Il est possible, grace aux systemes experts, d'aller plus loin dans l'automatisation de la production des logiciels et cela a travers deux types d'outils : 1- des systemes experts d'aide au genie logiciel dans ces types d'outils, le systeme expert n'est pas la base de l'atelier de genie logiciel mais il est seulement un outil d'aide pour certaines fonctions faisant appel a l'experience et a des regles d'elaboration complexes ou nombreuses. Comme par exemple, l'evaluation des charges d'un projet, le controle qualite, l'aide a la conception. . . 2- des ateliers de genie logiciel concus autour de systemes experts par contre, dans ces types d'outils, le systeme experts est a la base meme de l'atelier de genie logiciel. C'est-a-dire que la base d'information de l'atelier de genie logiciel (c'est-a-dire le dictionnaire) n'est plus une bade de donnees, ni des fichiers classiques mais un systeme expert. C'est ce que se propose d'etudier cette these apres une description de "l'etat de l'art" du genie logiciel aujourd'hui et une etude de ce que sont les systemes experts<br>Owing to expert systems, it is possible to go further into the automation of software production and this through two types of tools : 1- expert systems helping software engineering in these types of tools, the expert system is not the basis of software engineering environment but it is only a tool of help to certain functions appealing to experience, complex and numerous rules of elaboration, like for example the assessment of the expenses of a scheme, quality and reliability, help for conception. . . 2- software engineering environments conceived around expert systems in return, in this types of tools, the expert system is at the very source of software engineering environment. That is to say that the information basis of the software engineering environment (that is to say the dictionary) is no longer a data base, nor classical files but an expert system. That is what this thesis intends to study after describing the state of the today's situation of the software engineering and studying what expert systems are

La première partie expose les concepts de la théorie de la compilation mise en œuvre : analyse lexicale, analyse syntaxique, contrôles sémantiques. La seconde partie définit les contraintes supplémentaires dues à l'interactivité et les outils nécessaires. La troisième partie décrit le système réalise en Pascal selon les critères exposes précédemment. La dernière partie mentionne les projets appartenant à des domaines voisins.

Afin de résoudre le problème de la traçabilité du processus de construction de logiciel, nous proposons les modèles Yamm et Karma. Yamm permet la définition des aspects structurels et dynamiques d'une méthodologie. L'instanciation de la méthodologie ainsi définie permet le suivi de la traçabilité à travers les multiples itérations du cycle de vie d'un projet, grâce au modèle Karma. Notre solution et son prototype s'appuie sur la complémentarité des deux composantes indispensables : le versionnement basé sur l'approche des versions des bases de données et l'enregistrement des traces d'interaction (journalisation orientée impact). L'objectif de traçabilité est ainsi atteint en trois volets : collection de traces, synthèse des flux d'interactions et analyse de l'impact.

L'amélioration assistée de programmes concerne tous les programmes existants dont on souhaite augmenter l'une ou l'autre des qualités. L'utilisateur, dans le cadre de stratégies, définit les objectifs à atteindre essentiellement en termes de facteurs de qualité à améliorer. Le programme subit alors un certain nombre de changements d'états, le conduisant d'une version à l'autre, grace à la transformation de structures de représentations de celui-ci choisies par l'utilisateur. Ce dernier disposant d'un ensemble de fonctions d'amélioration met en œuvre des tactiques dont il peut suivre l'évolution intrinsèque ou comparative sur un arbre d'amélioration et dont il peut mesurer les effets grâce à l'élaboration de métriques "signifiantes". L'assistance à l'amélioration est décrite comme dans ALF par des règles et des contraintes. Une maquette de système d'amélioration et sa mise en œuvre pour faire du reverse-engineering ou de la traduction assistée de programmes (de COBOL vers ADA par exemple) complète la présentation de ce travail

Les systèmes experts apportent des réponses techniques satisfaisantes dans des domaines où l'algorithmique ne résout pas tous les problèmes, mais ne présentent pas les garanties d'un produit industriel: respect des budgets, des délais et de la qualité. La première partie expose les disciplines classiques du génie logiciel pour évaluer leur applicabilité aux systèmes experts. On propose un modèle générique des activités de conduite de projet qui définit la structure de notre exposé. La deuxième partie présente les propositions méthodologiques issues de nos recherches et les justifie par rapport à nos expériences professionnelles. Le passage des systèmes experts au stade de produit industriel relève d'une discipline de qualité totale qui résout l'antagonisme classique entre qualité et productivité. Cette démarche s'articule sur un cycle de vie étendu qui établit des étapes en amont du recueil des connaissances. Ce mémoire s'achève sur les retours possibles de nos propositions méthodologiques sur le génie logiciel.

Contrairement aux applications conventionnelles de bases de donnees, les environnements de genie logiciel manipulent des donnees de taille variable, ayant une structure tres complexe et pouvant exister en plusieurs versions. L'integrite des donnees s'exprime par des contraintes semantiques egalement complexes et le actions a executer quand celles-ci ne sont pas verifies sont tres variees. Pour resoudre les problemes poses par ce nouveau type d'application, pour lequel les systemes de gestion de bases de donnees conventionnels ne sont pas adaptes, nous proposons un systeme de gestion d'objets, specialement adapte aux besoins en gestion de bases de donnees des environnements de genie logiciel. Nous presentons un vouveau modele de donnees, appele modele objet de donnees pour le genie logiciel, fonde sur le modele de donnees de l'interface d'outils logiciels standard europeen pcte. Ce modele integre les concepts d'objets composites, de versions multiples, de contraintes semantiques complexes et de declenchement par evenement. Une definition dormelle du modele est presentee. Ce modele et les fonctionnalites de ce systeme de gestion d'objets sont la base d'un environnement de genie logiciel assiste par ordinateur, appele alf (accueil de logiciel futur)<br>Unlike conventional database applications, software engineering environments deal with variable size data having complex structures, that may exist in several versions. The data integrity is expressed by equally complex semantic constraints and the actions to be executed when these are not verified as being true are of a wide range. In order to over come the problems raised by this new type of application, for which conventional database systems are not appropriate, we propose an object management system, a special purpose database system, that provides the capabilities for meeting the database requirements for software engineering environments. We present a novel data model, called the object data model for software e ngineering , based on the pcte data model, the european tool support interface standard. This model includes the concepts of composite objets, multiple versions, complex semantic constraints and event-driven triggers. A formal definition of the model is presented. This model and the functionalities of the object management system are the basis of a computer assisted software engineering environment, called alf (accueil de logiciel futur)

Cette thèse s'intéresse à la construction d'environnements de développement et plus particulièrement à la définition des services nécessaires à cette construction. Son objectif est de montrer qu'il est possible de construire des environnements économiques par composition de constituants basés sur la description des objets participant à ce développement. La première partie de la thèse est consacrée à l'étude des besoins pour la gestion des objets du développement et à la confrontation de ces besoins avec les systèmes existants (sgf, sgbd, pcte, cais). La seconde partie est une proposition d'un modèle et de mécanismes devant permettre la construction progressive et incrémentale d'environnements, basée sur le modèle de pcte. Ce modèle permet la construction de composants d'environnements basés sur la description de leurs objets et des opérations de manipulation de ces objets. Les mécanismes associés permettent la fusion, l'intégration et l'évolution de ces composants pour assurer la construction progressive d'environnements. La dernière partie fait le bilan de cette expérience en montrant comment l'objectif initial a été atteint

Le but de cette thèse est l'élaboration d'une méthodologie de conception de procédés de développement de logiciels (PDL). Dans une première partie, la problématique est explicitée, posant à la fois le problème de la modélisation et de la démarche de conception de PDL. Les qualités attendues d'une telle méthodologie, et les modèles sur lesquels elle s'appuie, sont mis en valeur. Aussi, sont établis des analogies avec des domaines voisins que sont les systèmes d'informations, les systèmes logiciels et les systèmes sociaux. La deuxième partie, état de l'art, explore l'existant et analyse les acquis en ce qui concerne les modèles et les méthodes dans le domaine des PDL et dans les domaines voisins. Ce tour d'horizon a montré que l'existant ne couvre que certains des aspects des PDL. La troisième partie présente l'approche proposée: 1) une modélisation multi-vues de PDL: naturelle, fonctionnelle, comportementale et organisationnelle; 2) une représentation multi-niveaux de PDL: conceptuelle, organisationnelle et physique; 3) et enfin des guides méthodologiques de conception de PDL basés sur des metafonctions. La quatrième partie est consacrée à la validation de la méthodologie à travers l'étude de trois cas

La réutilisation est un moyen permettant d'améliorer la qualité et la productivité des logiciels. Cependant, il existe encore des problèmes non entièrement résolus limitant la pratique de la réutilisation comme la construction d'un composant réutilisable et l'adaptation d'un composant dans une application selon les besoins spécifiques de l'utilisateur. Dans notre travail, nous nous sommes intéressés à la réutilisation de spécifications formelles. Celles-ci permettent, d'une part, une description du système de manière plus abstraite, plus explicite et plus modulaire que le code, et d'autre part, de prouver la correction du nouveau système. Nous nous sommes focalisés sur deux types de spécifications, les types abstraits de données et les processus concurrents, en utilisant le langage LOTOS. Pour supporter la réutilisation de spécifications, nous avons défini des méthodes nouvelles et élaborées : restriction, promotion et généralisation de types de données et également composition et extension de processus. Ces méthodes sont assistées à l'aide d'opérateurs définis dans le modèle Proplane. Nos opérateurs de réutilisation sont basés sur des bases formelles (afin d'engendrer des résultats corrects), sont automatiques (les utilisateurs ne sont pas forcément des experts de méthodes formelles) et inter-actifs (pour supporter l'intuition des utilisateurs). Nous avons appliqué ces opérateurs sur des études de cas<br>Reuse is a key to improve the quality and the productivity of software. However, there are still problems not entirely resolved limiting the practice of reuse such as construction of a reusable component and adaptation of a component in an application according to the specific needs of the user. In our work, we are interested to the reuse of formal specifications. These specifications allow on one hand a system description to de more abstract, explicit and modular than the code and on the other hand to prove the correction of new system. We focused on two specifications types : abstract data types and concurrent processes using LOTOS language. To support specification reuse, we defined new and complex methods : re-striction, promotion and generalization of data types as well a composition and extension of processes. These methods are aided with operators defined in Proplane model. Reuse operators are based on theories (to produce correct results), are automatic ( the users are not necessarily experts in formal methods) and interactive (to support the user intuition). We applied these operators on case studies