Log in

Relevant bibliographies by topics / Génie Logiciel / Dissertations / Theses

To see the other types of publications on this topic, follow the link: Génie Logiciel.

Dissertations / Theses on the topic 'Génie Logiciel'

Author: Grafiati

Published: 4 June 2021

Last updated: 25 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'Génie Logiciel.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

Lafourcade, Mathieu. "Génie logiciel pour le génie linguiciel." Phd thesis, Université Joseph Fourier (Grenoble), 1994. http://tel.archives-ouvertes.fr/tel-00005104.

Full text

Abstract:

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 bla

APA, Harvard, Vancouver, ISO, and other styles

2

Garcia, Camargo Sergio. "Ingénierie Concurrente en Génie Logiciel: Céline." Phd thesis, Université Joseph Fourier (Grenoble), 2006. http://tel.archives-ouvertes.fr/tel-00263683.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

3

Doyer, Douglas. "Un nouveau paradigme du génie logiciel, le modèle du génie industriel." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2000. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape3/PQDD_0020/MQ49090.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Laporte, Claude. "Contributions au génie logiciel et au développement et déploiement de normes internationales en génie logiciel pour de très petites organisations." Phd thesis, Université de Bretagne occidentale - Brest, 2009. http://tel.archives-ouvertes.fr/tel-00483255.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

5

Benni, Benjamin. "Un modèle de raisonnement pour les opérateurs de composition logicielle décrits en boite noire." Thesis, Université Côte d'Azur (ComUE), 2019. http://www.theses.fr/2019AZUR4096.

Full text

Abstract:

La complexité des systèmes informatiques a rendu nécessaire leur découpage avant de les recomposer. Cette séparation est un défi connu et les développeurs découpent déjà les tâches au préalable. Néanmoins, séparer sans considérer la recomposition finale entraine des réunifications hâtives et chronophages. Cette composition doit mener au bon et meilleur système avec le minimum d'effort humain. Les opérateurs de composition sont souvent ad-hoc et développés par des non-spécialistes. Ils ne respectent pas de formalismes de haut-niveau et deviennent trop complexes ou informels pour pouvoir raisonn

APA, Harvard, Vancouver, ISO, and other styles

6

Sadaoui-Mouhoub, Samira. "Aide à la réutilisation de spécifications formelles en LOTOS." Nancy 1, 2000. http://www.theses.fr/2000NAN10030.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

7

Jouault, Frédéric. "Contribution à l'étude des langages de transformation de modèles." Nantes, 2006. http://archive.bu.univ-nantes.fr/pollux/show.action?id=5c85b1f5-71cc-4940-bba7-69d2b3205be4.

Full text

Abstract:

Les techniques classiques de développement logiciel consistent généralement en l'écriture du code source d'un système par des programmeurs à partir d'une spécification comportant des modèles. Ces derniers sont souvent des dessins qui ne peuvent pas être traités automatiquement. On parle donc de modèles contemplatifs. L'ingénierie des modèles, dont le MDA (Model Driven Architecture) est une variante, est un nouveau paradigme de l'ingénierie du logiciel qui considère les modèles comme entités de première classe. Les modèles ne sont donc plus limités à la documentation d'un système mais peuvent f

APA, Harvard, Vancouver, ISO, and other styles

8

Farias, Andrés. "Un modèle de composants avec des protocoles explicites." Nantes, 2003. http://www.theses.fr/2003NANT2072.

Full text

Abstract:

Un des objectifs principaux de la programmation par composants est de faciliter la réutilisation des logiciels à grande échelle. Une des caractéristiques principales de l'approche par composants est l'utilisation de contrats entre composants collaborant, spécifiés dans des interfaces, contrats dont sont garants les-dits composants. Pour la plupart des modèles de composants, qu'ils soient académiques ou industriels, les interfaces définissent des contrats simples qui spécifient, souvent sous forme d'ensembles de déclarations de méthodes, les services offerts et / ou requis par un composant. . .

APA, Harvard, Vancouver, ISO, and other styles

9

Chaudet, Christelle. "π-Space : langage et outils pour la description d'architectures évolutives à composants dynamiques : formalisation d'architectures logicielles et industrielles". Chambéry, 2002. http://www.theses.fr/2002CHAMS022.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Barthélémy, Charles. "Amélioration assistée de programmes par objectifs." Nancy 1, 1989. http://www.theses.fr/1989NAN10462.

Full text

Abstract:

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'évolutio

APA, Harvard, Vancouver, ISO, and other styles

11

Séguin, Normand. "Inventaire, analyse et consolidation des principes fondamentaux du génie logiciel." Mémoire, École de technologie supérieure, 2006. http://espace.etsmtl.ca/528/1/S%C3%89GUIN_Normand.pdf.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

12

Desjardins, Daniel. "Les facteurs clés du succès d'une politique de réutilisation en génie logiciel." Montpellier 2, 1996. http://www.theses.fr/1996MON20215.

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

Mezrioui, Abdellatif. "Vers un modèle et une méthodologie de conception de procédés de développement de logiciels." Nancy 1, 1993. http://www.theses.fr/1993NAN10196.

Full text

Abstract:

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 acqu

APA, Harvard, Vancouver, ISO, and other styles

14

Medallel, Ridha. "Modélisation des connaissances méthodologiques en développement de projets logiciels : application : prototype d'un système expert didactique en génie logiciel." Toulouse, INPT, 1990. http://www.theses.fr/1990INPT051H.

Full text

Abstract:

Face a l'evolution rapide des techniques, methodes et outils du genie logiciel, des besoins tres forts apparaissent en matiere de formation, d'aide a la planification et a la gestion de projets logiciels. Nous pensons qu'une reponse a ces besoins passe par la realisation de systemes intelligents construits sur une base de connaissance methodologique extensible et reutilisable. La realisation de tels systemes suppose un important travail de formalisation des connaissances portant sur le savoir et le savoir-faire en genie logiciel. Nous proposons ainsi un modele methodologique construit sur l'un

APA, Harvard, Vancouver, ISO, and other styles

15

Bertrand, Christian. "Ateliers de génie logiciel : études, modèles de bases de données, contribution du modèle entité-association au cycle de vie du logiciel." Mulhouse, 1989. http://www.theses.fr/1989MULH0115.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

16

Zamfiroiu, Michel. "Contributions à la traçabilité du processus de conception en génie logiciel." Paris 9, 1998. https://portail.bu.dauphine.fr/fileviewer/index.php?doc=1998PA090074.

Full text

Abstract:

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'interacti

APA, Harvard, Vancouver, ISO, and other styles

17

Mouy, Patricia. "Automatisation du test de tous-les-chemins en présence d'appels de fonction." Evry-Val d'Essonne, 2007. http://www.biblio.univ-evry.fr/theses/2007/2007EVRY0033.pdf.

Full text

Abstract:

Le test structurel est d'habitude limité aux tests unitaires et est basé sur une définition précise de la couverture du code source. Le critère tous-les-chemins est reconnu comme offrant un haut niveau de confiance. Pour limiter l'explosion combinatoire des chemins, nous abstrayons les fonctions appelées par leur spécification. Nous incorporons les informations fonctionnelles des fonctions appelées dans les informations structurelles de la fonction sous test données par le CFG. Cette représentation combinant des descriptions fonctionnelles et structurelles nous permet de caractériser des critè

APA, Harvard, Vancouver, ISO, and other styles

18

Kintz, Michel. "Etude et mise en place d'un environnement de production de logiciels à dominante temps reel : démarche, mesures et modèles, méthodes." Mulhouse, 1988. http://www.theses.fr/1988MULH0075.

Full text

Abstract:

Les principaux domaines abordés sont ceux: 1) de la démarche à adopter pour faire évoluer l'environnement de production; 2) des mesures prises et des modèles applicables à la production du logiciel; 3) des méthodes de conduite et d'étude des projets logiciels

APA, Harvard, Vancouver, ISO, and other styles

19

Bolusset, Thomas. "β-space : raffinement de descriptions architecturales en machines abstraites de la méthode formelle B". Chambéry, 2004. http://www.theses.fr/2004CHAMS028.

Full text

Abstract:

L'architecture d'un logiciel décrit sa structure et son comportement par des composants et des connecteurs, mais leurs langages n'autorisent pas le développement complet de systèmes logiciels complexes. Certaines méthodes de développement formel permettent de raffiner une spécification, pour en obtenir une autre plus proche de l'implémentation, voire du code, sans prendre en compte la description architecturale du système. Nous proposons d'utiliser un mécanisme de raffinement pour transformer la description architecturale en une spécification formelle "classique" disposant d'outils pour acheve

APA, Harvard, Vancouver, ISO, and other styles

20

Fajon, Marc. "Application du génie logiciel aux systèmes experts : problèmes posés et contributions." Toulouse, ENSAE, 1992. http://www.theses.fr/1992ESAE0010.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

21

Badri, Linda. "Mcp : environnement de conception détaillée de logiciels." Lyon, INSA, 1990. http://www.theses.fr/1990ISAL0021.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

22

Oquendo, Flavio. "Contribution à l'étude des bases de données pour le génie logiciel : modèle et fonctionnalités d'un système de gestion d'objets pour environnement de génie logiciel assisté par ordinateur." Grenoble 2, 1990. http://www.theses.fr/1990GRE21010.

Full text

Abstract:

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,

APA, Harvard, Vancouver, ISO, and other styles

23

Huang, Lidan. "Analyse et contrôle de la qualité du logiciel." Lyon, INSA, 1989. http://www.theses.fr/1989ISAL0084.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

24

Souquières, Jeanine. "Aides au développement de spécifications." Nancy 1, 1993. http://www.theses.fr/1993NAN10026.

Full text

Abstract:

Le développement d'une spécification est décrit par une suite d'étapes de développement, une étape se définissant par application d'un operateur sur un état de développement et fournissant un nouvel état de développement. Au cours d'une étape, des décisions sont prises pour résoudre un objectif, ces décisions portant a la fois sur le produit à concevoir (programme ou spécification) et sur la suite des taches à résoudre pour atteindre cet objectif. La définition d'un développement repose sur les concepts essentiels de produit, de plan de travail et d'operateurs de développement: - le produit: l

APA, Harvard, Vancouver, ISO, and other styles

25

Zhang, Jun. "Conception et réalisation de l'interface Moduleco-TSP." Paris 9, 1990. https://portail.bu.dauphine.fr/fileviewer/index.php?doc=1990PA090035.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

26

Alloui, Ilham. "Peace+ : un formalisme et un système pour la coopération dans les environnements de génie logiciel centré processus : une approche intentionnelle des interactions dans un univers multi-agents." Grenoble 2, 1996. http://www.theses.fr/1996GRE21020.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

27

Razavizadeh, Azadeh. "BeeEye: approche et cadre de travail pour la construction des vues architecturales basées sur les points de vue." Chambéry, 2010. http://www.theses.fr/2010CHAMS034.

Full text

Abstract:

Une grande partie de l'effort de développement des logiciels de grande taille et de longue durée de vie est consacrée à la maintenance et à l'évolution de ces derniers; et la compréhension de ces logiciels est une nécessité pour laquelle trop peu de propositions ont été faites. Le but de cette thèse est la prise en compte des architectures logicielles comme élément capital pour l'aide à compréhension et l'évolution des applications logicielles à objets. Les travaux de recherche des dix dernières années ont montré qu'il était très difficile voire impossible de raisonner sur le code source (nive

APA, Harvard, Vancouver, ISO, and other styles

28

Vesco, Jacques. "Integration des systemes experts dans le genie logiciel." Lyon 2, 1987. http://www.theses.fr/1987LYO22016.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

29

Guay, Bernard. "Analyse comparative du guide swebok et des principes fondamentaux du génie logiciel." Mémoire, École de technologie supérieure, 2004. http://espace.etsmtl.ca/691/1/GUAY_Bernard.pdf.

Full text

Abstract:

Le génie logiciel est une discipline récente et il y a maintenant un besoin d'améliorer ses bases pour encadrer son évolution et atteindre un certain niveau de maturité. Cette analyse comparative est motivée par l'amélioration de ces bases. Elle utilise la liste des principes fondamentaux suggérés dans l'article «Fundamental Principles of Software Engineering - A journey» et présente une méthodologie aidant à analyser le niveau et l'étendue de la correspondance d'un principe fondamental par rapport aux connaissances généralement reconnues du «Guide to the Software Engineering Body of Knowled

APA, Harvard, Vancouver, ISO, and other styles

30

Poulain, Thierry. "Contribution du génie logiciel pour la conception et l'évaluation d'applications de supervision." Valenciennes, 1994. https://ged.uphf.fr/nuxeo/site/esupversions/86faffad-3e4b-4990-b7c1-7a6b0cf7faac.

Full text

Abstract:

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 mo

APA, Harvard, Vancouver, ISO, and other styles

31

Kazakov, Mikhaïl. "A Methodology of semi-automated software integration : an approach based on logical inference. Application to numerical simulation solutions of Open CASCADE." INSA de Rouen, 2004. http://www.theses.fr/2004ISAM0001.

Full text

Abstract:

Application integration is a process of bringing of data or functionality from one program together with that from another application programs that were not initially created to work together. Recently, the integration of numerical simulation solvers gained the importance. Integration within this domain has high complexity due to the presence of non-standard application interfaces that exchange complex, diverse and often ambiguous data. Nowadays, the integration is done mostly manually. Difficulties of the manual process force to increase the level of automation of the integration process. Th

APA, Harvard, Vancouver, ISO, and other styles

32

Le, Guennec Alain. "Génie logiciel et méthodes formelles avec UML : : spécification, validation et génération de tests." Rennes 1, 2001. http://www.theses.fr/2001REN10156.

Full text

APA, Harvard, Vancouver, ISO, and other styles

33

Griech, Brahim. "Un système interactif d'aide à la décision base sur la connaissance pour l'estimation des coûts de développements des logiciels." Paris 6, 1991. http://www.theses.fr/1991PA066509.

Full text

Abstract:

Jusqu'ici, les modèles d'estimation de l'effort (exprimé en homme-mois) nécessaire au développement d'un logiciel sont souvent basés sur des méthodes statistiques. Le modèle Cocomo (Boehm, 1981) et SPQR (Jones, 1986) sont des exemples, de loin les plus connus, de ces modèles. D'autre part, tous les spécialistes s'accordent pour penser que plusieurs facteurs qualitatifs, tels que l'expérience de l'équipe de développement, celle des utilisateurs, et la clarté des spécifications fonctionnelles du logiciel, influence sensiblement les coûts de développement. Dans cette thèse, nous présentons un SIA

APA, Harvard, Vancouver, ISO, and other styles

34

Canals, Gérôme. "Des mécanismes pour l'assistance aux utilisateurs dans un atelier de génie logiciel conduit par des modèles." Nancy 1, 1992. http://www.theses.fr/1992NAN10170.

Full text

Abstract:

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ôl

APA, Harvard, Vancouver, ISO, and other styles

35

Maurice, François. "Un modèle d'évaluation et d'amélioration d'entités logicielles basé sur l'utilisation de métriques." Toulouse 3, 1996. http://www.theses.fr/1996TOU30192.

Full text

Abstract:

L'augmentation de la duree du developpement, de la complexite et de la criticite des taches a automatiser pour la realisation de logiciels a rendu de plus en plus difficile la satisfaction de leur qualite. De ce constat est ne le besoin de mesurer les produits logiciels afin de comprendre comment leurs aspects internes (tels que la taille, le couplage ou encore la complexite) nuisent a leur qualite externe telle que leur fiabilite, leur maintenabilite ou leur productivite, et ce afin de pouvoir prendre les decisions pour les ameliorer. De nombreuses metriques ont ete definies mais un manque de

APA, Harvard, Vancouver, ISO, and other styles

36

Giron, Patricia. "Introduction de méthodes rigoureuses de génie logiciel pour le développement d'applications spatiales embarquées." Toulouse 3, 1996. http://www.theses.fr/1996TOU30235.

Full text

Abstract:

Nous apportons une contribution a l'elaboration de methodes de developpement de logiciels embarques unissant a la fois une methode structuree en l'occurence sa-rt selon hatley et pirbhai et une methode formelle (le modele des systemes de transitions etiquetes). Nous decrivons comment le formalisme des systemes de transitions etiquetes pour fournir une semantique formelle pour les diagrammes de flots de donnees et de flots de controle, assortis de la specification de controle associee. Nous presentons ensuite le programme developpe qui automatise cette transformation et quelques possibilites de

APA, Harvard, Vancouver, ISO, and other styles

37

Perseil, Isabelle. "Méthode C, une méthode de génie logiciel pour les systèmes avioniques temps-réel." Paris, Télécom ParisTech, 2009. http://www.theses.fr/2009ENST0057.

Full text

Abstract:

Nous proposons ici une méthode de génie logiciel pour les systèmes avioniques temps-réel embarqués distribués (DRE) et tolérants aux fautes, capable de couvrir tout le cycle de vie du logiciel à l'aide d'un processus de développement continu. Nous avons appelé cette méthode la ''Méthode C'' parce que C signifie ''continuum'', le concept phare que nous avons introduit entre chaque phase du cycle de vie. Étant donné que les systèmes ''DRE" possèdent des problématiques de systèmes critiques liés à la sûreté de fonctionnement, ils ont recours aux langages formels (qui permettent des spécifications

APA, Harvard, Vancouver, ISO, and other styles

38

Daniel, Marc. "Un éditeur pilote par la syntaxe pour le langage Pascal." Paris 9, 1987. https://portail.bu.dauphine.fr/fileviewer/index.php?doc=1987PA090004.

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

39

Henniche, M'hammed. "Apprentissage incrémental à partir d'exemples dans un espace de recherche réduit." Paris 13, 1998. http://www.theses.fr/1998PA13A001.

Full text

APA, Harvard, Vancouver, ISO, and other styles

40

Shaheen, Muhammad Rabee. "Validation de métriques de testabilité logicielle pour les programmes objets." Phd thesis, Grenoble 1, 2009. http://www.theses.fr/2009GRE10210.

Full text

Abstract:

Pour les systèmes logiciels, la méthode de validation la plus utilisée est le test. Tester consiste en l'exécution du logiciel en sélectionnant des données. En observant/jugeant les sorties, C'est un processus souvent coûteux. L'effort de test est difficile à caractériser précisément. Il dépend de la complexité du logiciel, des objectifs en termes de validation, des outils et du processus développement. La testabilité logicielle s'intéresse à caractériser et prédire l'effort de test. Cela est nécessaire pour estimer le travail de test, prévoir les coûts, planifier et organiser le travail. De n

APA, Harvard, Vancouver, ISO, and other styles

41

Shaheen, Muhammad Rabee. "Validation de métriques de testabilité logicielle pour les programmes objets." Phd thesis, Université Joseph Fourier (Grenoble), 2009. http://tel.archives-ouvertes.fr/tel-00978771.

Full text

Abstract:

Pour les systèmes logiciels, la méthode de validation la plus utilisée est le test. Tester consiste en l'exécution du logiciel en sélectionnant des données et en observant/jugeant les sorties. C'est un processus souvent coûteux. Il dépend de la complexité du logiciel, des objectifs en termes de validation, des outils et du processus de développement. La testabilité logicielle s'intéresse à caractériser et prédire l'effort de test. Cela est nécessaire pour estimer le travail de test, prévoir les coûts, planifier et organiser le travail. De nombreuses mesures ont été proposées dans la littératur

APA, Harvard, Vancouver, ISO, and other styles

42

Réveillère, Laurent. "Approche langage au développement de pilotes de périphériques robustes." Rennes 1, 2001. http://www.theses.fr/2001REN10136.

Full text

Abstract:

Bien que les pilotes de périphériques soient des composants critiques, leur processus de développement est resté rudimentaire malgré le haut niveau d'expertise requis. Ainsi, une récente étude a montré que leur propension à contenir des bogues est jusqu'à sept fois plus importante que celles des autres composants d'un système d'exploitation. Cette thèse propose une nouvelle approche au développement des pilotes de périphériques basée sur les langages dédiés. Nous illustrons notre approche par l'introduction d'un langage dédié à la spécification d'interfaces de programmation de périphériques, n

APA, Harvard, Vancouver, ISO, and other styles

43

Pham, Thi Xuan Loc. "Adaptation des composants centrée sur l'utilisation." Phd thesis, Toulouse, INPT, 2004. https://hal.science/tel-04603858.

Full text

Abstract:

Cette thèse introduit une nouvelle approche de l'adaptation de composants logiciels qui consiste à adapter le composant à ses contextes d'utilisation en se basant sur le point de vue de l'utilisateur. Nous décrivons le profil de l'utilisateur sous la forme d'un ensemble de triplets dont chacun spécifie les propriétés souhaitées, les réactions correspondantes à traiter dans le cas où une condition n'est pas vérifiée et les échéanciers d'évaluation des propriétés. Nous proposons aussi un service de supervision de composant (SSC) qui repose sur la surveillance de l'état des composants pour obteni

APA, Harvard, Vancouver, ISO, and other styles

44

Pham, Thi Xuan Loc. "Adaptation des composants centrée sur l'utilisation." Phd thesis, Toulouse, INPT, 2004. http://oatao.univ-toulouse.fr/7297/1/pham_thi_xuan.pdf.

Full text

Abstract:

Avec la notion de composant logiciel, la démarche de conception d'applications informatiques a vu apparaître une alternative intéressante à l'approche classique, où le développement est mené selon une approche centralisée. L'idée est en effet de permettre la construction d'applications adaptées aux besoins spécifiques de chaque utilisateur par assemblage de composants préexistants. Néanmoins, le choix de composants prédéfinis, sur étagère, pose le problème de leur adéquation à une utilisation spécifique. Dans ce contexte, la possibilité d'adapter les composants semble cruciale, si l'on souhait

APA, Harvard, Vancouver, ISO, and other styles

45

Musco, Vincenzo. "Propagation Analysis based on Software Graphs and Synthetic Data." Thesis, Lille 3, 2016. http://www.theses.fr/2016LIL30053/document.

Full text

Abstract:

Les programmes sont partout dans notre vie quotidienne : les ordinateurs et les téléphones, mais aussi les frigo, les avions et ainsi de suite. L'acteur principal dans la création de ces programmes est humain les êtres. Aussi minutie qu'ils peuvent être, les humains sont connus pour faire des erreurs involontaires sans leur conscience. Ainsi, une fois une phase déjà difficile d'écriture d'un programme, ils doivent faire face à la phase de maintenance sur laquelle ils doivent faire face aux erreurs qu'ils ont eu précédemment réalisé. Toute la durée de leur tâche de développement, les développeu

APA, Harvard, Vancouver, ISO, and other styles

46

Barais, Olivier. "Construire et maîtriser l'évolution d'une architecture logicielle à base de composants." Lille 1, 2005. https://ori-nuxeo.univ-lille1.fr/nuxeo/site/esupversions/1495c084-3273-41d6-aea6-c5343a3d2120.

Full text

Abstract:

Dans une industrie du logiciel où la complexité des applications ne cesse de croître, un des objectifs du génie logiciel est de conserver l'intelligibilité du processus de construction et de maintenance de ces applications. Dans ce cadre, le concept de composant a été introduit comme une extension du concept d'objet pour faciliter la conception d'applications réparties complexes, c'est-à-dire formées de nombreux éléments en coopération, distribuées sur différents sites d'exploitation, et de nombreuses contraintes qui expriment des exigences variées (persistance, sécurité, tolérance aux pannes,

APA, Harvard, Vancouver, ISO, and other styles

47

Hunel, Philippe. "Conception et réalisation d'un environnement intégré de génie logiciel pour le développement des protocoles." Clermont-Ferrand 2, 1994. http://www.theses.fr/1994CLF21624.

Full text

Abstract:

Le travail présenté dans cette thèse porte sur l'élaboration d'un environnement pour concevoir, spécifier et implanter des protocoles de communication en utilisant la Technique de Description Formelle (TDF) Estelle. Les différents outils courants d'aide au développement, basés sur Estelle, ne couvrent généralement pas l'ensemble des objectifs des différentes phases d'un développement de protocole. En outre, ils présentent souvent des interfaces utilisateur variés. Cette thèse propose une solution pour intégrer les outils Estelle existants ou à venir dans un environnement ouvert. La première pa

APA, Harvard, Vancouver, ISO, and other styles

48

Charoy, François. "Construction modulaire d'ateliers logiciels sur une structure d'accueil a objets." Nancy 1, 1992. http://www.theses.fr/1992NAN10173.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

49

Cavalcante, Hora André. "Assessing and improving rules to support software evolution." Thesis, Lille 1, 2014. http://www.theses.fr/2014LIL10114/document.

Full text

Abstract:

Les systèmes logiciels évoluent pour ajouter de nouvelles fonctionnalités, corriger des bugs ou refactoriser du code source. Durant ce processus, certains problèmes peuvent survenir provoquant l'inconsistance ou l'échec des systèmes en évolution et avec leurs clients, ce qui aboutit finalement à une baisse de la qualité du code. Pour faire face à ces problèmes, il est possible d'utiliser des règles. Ces règles peuvent être créées par des experts ou extraites de précédentes versions du code source. Nous soutenons que les approches existantes : (i) n'analysent pas précisément les avantages des r

APA, Harvard, Vancouver, ISO, and other styles

50

Jaime, Damien. "Analysis and evolution of dependencies in software ecosystems." Electronic Thesis or Diss., Sorbonne université, 2025. http://www.theses.fr/2025SORUS088.

Full text

Abstract:

L'essor du logiciel libre et open source favorise le développement par réutilisation de bibliothèques logicielles disponibles au sein d'écosystèmes tels que celui de Java/Maven. Cette pratique offre des avantages, notamment en termes de temps de développement. Cependant, elle soulève aussi des problématiques de maintenance, renforcées par la présence de dépendances entre les bibliothèques elles-mêmes. Au-delà des dépendances directes d'un projet, il est crucial d'analyser l'ensemble de sa chaîne d'approvisionnement logicielle. Dans cette thèse, réalisée en collaboration avec un partenaire indu

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!