Log in

Relevant bibliographies by topics / Développement et génie logiciel / Dissertations / Theses

To see the other types of publications on this topic, follow the link: Développement et génie logiciel.

Dissertations / Theses on the topic 'Développement et génie logiciel'

Author: Grafiati

Published: 28 September 2022

Last updated: 31 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 'Développement et 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

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

2

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

3

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

4

Alhalabi, Mohamad-Firas. "Modélisation et développement d'applications avec comportement adaptable." Lyon, INSA, 2009. http://theses.insa-lyon.fr/publication/2009ISAL0038/these.pdf.

Full text

Abstract:

Dans le domaine du génie logiciel, les systèmes autonomes sont des systèmes capables de modifier leur comportement et d’évoluer pour s’adapter à leur environnement d’exécution. Ces systèmes ont pour objectif de fonctionner, du moins partiellement ou de façon dégradée, dans des conditions qui n’ont pas été définies a priori. Le domaine d’application qui nous intéresse pour ces systèmes autonomes est la gestion de la qualité de service (Quality of Service, QoS). Le développement d’un système autonome pour gérer la QoS et qui répond à tous les besoins est une tâche difficile. Afin de faciliter ce

APA, Harvard, Vancouver, ISO, and other styles

5

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

6

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

7

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

8

Rolland, Jean-François. "Développement et validation d'architectures dynamiques." Phd thesis, Université Paul Sabatier - Toulouse III, 2008. http://tel.archives-ouvertes.fr/tel-00367994.

Full text

Abstract:

Dans le cadre de cette thèse, nous nous proposons d'étudier le développement et la validation de systèmes dans un contexte temps réel asynchrone. On a choisi d'utiliser le langage AADL pour ses spécificités issues de l'avionique, domaine proche du spatial, et pour la précision de la description de son modèle d'exécution. Le travail de cette thèse se divise en deux axes principaux : d'une part, on étudie l'utilisation du langage AADL dans le cadre du développement d'un logiciel de vol ; et d'autre part, on présente une version réduite du langage AADL, et la définition formelle de son modèle d'e

APA, Harvard, Vancouver, ISO, and other styles

9

Hazem, Lotfi. "Développement d'architectures logicielles par application de patrons d'architecture prouvés : définition et application." Versailles-St Quentin en Yvelines, 2007. http://www.theses.fr/2007VERS0005.

Full text

Abstract:

L’objectif visé par cette thèse est la réutilisation de solutions architecturales prouvées en combinant des techniques de développement formelles et semi-formelles pour répondre aux problèmes du développement d’architecture. Notre contribution porte sur la définition, la validation et l’intégration des patrons d’architecture dans les environnements de développement logiciel. Nous proposons de formaliser la définition des patrons d’architecture en prenant en compte non seulement la partie solution mais aussi la partie problème et les liens entre celles-ci. La description fournie s’appuie d’une

APA, Harvard, Vancouver, ISO, and other styles

10

Bosco, Michel. "Contribution à la spécification et à la conception de systèmes d'information intelligents pour le génie logiciel." Toulouse, ENSAE, 1988. http://www.theses.fr/1988ESAE0004.

Full text

Abstract:

Les logiciels sont fréquemment, aujourd'hui, des ensembles d'outils, des "ateliers" dont l'aspect intégré est un point fort: Cette intégration, est, le plus souvent, obtenue par l'utilisation d'un Système d'Information qui supporte les informations partagées par les outils. Nos travaux ont consisté à examiner quelles étaient aujourd'hui les lacunes des logiciels proposés pour construire des Systèmes d'Information et de définir certains concepts qu'il fallait leur ajouter. Nous avons aussi réalisé un prototype qui les implémente, en nous appuyant sur un système de gestion de bases de données re

APA, Harvard, Vancouver, ISO, and other styles

11

Rouillé, Emmanuelle. "Gestion de la variabilité et automatisation des processus de développement logiciel." Phd thesis, Université Rennes 1, 2014. http://tel.archives-ouvertes.fr/tel-01061129.

Full text

Abstract:

De nombreux outils existent afin de faire face à la complexité des logiciels et des projets de développement logiciel. Leur utilisation est cependant à l'origine de tâches manuelles répétitives, sources d'erreurs et coûteuses en temps. L'automatisation de ces tâches permet de gagner en productivité. Mais la difficulté est de déterminer quand une automatisation de tâche manuelle répétitive doit être réutilisée, ainsi que de créer des automatisations réutilisables à travers leurs différents cas d'utilisation. Nous proposons donc une approche outillée pilotant la réutilisation des automatisations

APA, Harvard, Vancouver, ISO, and other styles

12

Ahmed-Nacer, Mohamed. "Un modèle de gestion et d'évolution de schéma pour les bases de données de génie logiciel." Grenoble INPG, 1994. http://www.theses.fr/1994INPG0067.

Full text

Abstract:

"la 4e de couverture indique : Dans cette thèse, nous nous intéressons à l'évolution des schémas pour les bases de données de génie logiciel<br>Nous faisons d'abord le point des travaux concernant l'évolution de schémas et l’évolution des modèles de procédés logiciels ; nous définissons des critères d'évolution et nous montrons que les principales approches ne satisfont pas les besoins en génie logiciel<br>Nous présentons ensuite notre modèle : celui-ci permet l'existence simultanée de plusieurs points de vues de la base d'objets, la composition de schémas et enfin, l'expression de politiques

APA, Harvard, Vancouver, ISO, and other styles

13

Khammaci, Tahar. "Contribution à l'étude du processus de développement de logiciels : assistance à base de connaissance et modélisation des objets logiciels." Nancy 1, 1991. http://www.theses.fr/1991NAN10287.

Full text

Abstract:

Le travail présenté dans cette thèse s'inscrit dans le cadre de l'étude du processus de développement de logiciels selon deux aspects: 1) l'un concerne l'assistance a base de connaissance au développement. Une telle assistance repose sur une modélisation du processus de développement de logiciels. Le système UPSSA (using pre-postconditions for simulating software assistant) est une proposition d'intégration d'un outil d'assistance intelligente fonde sur les principes des systèmes à base de connaissances dans un environnement de génie logiciel. En outre, ce système s'appuie sur le paradigme des

APA, Harvard, Vancouver, ISO, and other styles

14

Matz, Frédéric. "Développement d'un module de rendu graphique et d'un cycle de développement de scénarios pour le Framework Apia." Thesis, Université Laval, 2007. http://www.theses.ulaval.ca/2007/24475/24475.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

Kambale, Bernard. "Modèle de m-learning et conception d'applications mobiles comme outils de support pour l'enseignement à distance en informatique et génie logiciel." Master's thesis, Université Laval, 2018. http://hdl.handle.net/20.500.11794/31325.

Full text

Abstract:

De nombreuses études menées dans le domaine de l'éducation ont révélé que l'apprentissage mobile apparaît de plus en plus comme une méthode d'apprentissage efficace avec l'utilisation des téléphones intelligents. Toujours opérationnels et facilement transportables, les téléphones intelligents peuvent être utilisés n'importe où, à n'importe quel moment et dans n'importe quel contexte. Considérant ce potentiel des téléphones intelligents dans notre société actuelle, nous présentons dans ce mémoire un modèle de l'apprentissage mobile conçu comme outil de support d'apprentissage en informatique et

APA, Harvard, Vancouver, ISO, and other styles

16

Pinet, François. "Vers une Méthode de Conception pour la Télégéomatique : Intégration et Validation au sein d'un Atelier de Développement." Lyon, INSA, 2002. http://www.theses.fr/2002ISAL0049.

Full text

Abstract:

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 trav

APA, Harvard, Vancouver, ISO, and other styles

17

Chollet, Stéphanie. "Orchestration de services hétérogènes et sécurisés." Grenoble 1, 2009. http://www.theses.fr/2009GRE10283.

Full text

Abstract:

Récemment, l'approche à services est apparue en ayant pour but de construire des applications à partir d'entités logicielles, nommées services. Un service fournit un ensemble de fonctionnalités définies par une description de services. A partir de cette description, un consommateur de service peut rechercher un service qui corresponde à ses besoins, le sélectionner et l'invoquer. La construction d'applications par composition de services demeure néanmoins une activité complexe puisqu'il faut traiter conjointement les aspects métier et techniques ; la composition doit satisfaire aux exigences f

APA, Harvard, Vancouver, ISO, and other styles

18

Voisinet, Jean-Christophe. "Contribution aux processus de développement d'applications spécifiées à l'aide de la méthode B par validation utilisant des vues UML et traduction vers des langages objets." Besançon, 2004. http://www.theses.fr/2004BESA2015.

Full text

Abstract:

Les travaux de recherche dans le domaine du génie logiciel ont permis de concevoir deux types d'approche, les méthodes formelles qui permettent d'écrire et de vérifier une spécification d'un système à l'aide d'une notation issue des mathématiques et les méthodes semi-formelles orientées objet qui permettent de modéliser un système en utilisant des vues graphiques. Le point de départ de nos travaux repose sur une méthode formelle: la méthode B. Nous apportons une contribution dans deux étapes du développement logiciel. Le premier est l'intégration des deux types de méthode par extraction de vue

APA, Harvard, Vancouver, ISO, and other styles

19

Pribadi, Krishna. "Contribution à l'étude du développement d'un système C. A. O. -V. R. D. : extension du système V.E.R.D.I., coût des infrastructures : étude de la portabilité du système vers l'Indonésie." Lyon 1, 1985. http://www.theses.fr/1985LYO19036.

Full text

APA, Harvard, Vancouver, ISO, and other styles

20

Bruneau, Julien. "Développement et test d'applications d'informatique ubiquitaire : une méthodologie outillée." Thesis, Bordeaux 1, 2012. http://www.theses.fr/2012BOR14518/document.

Full text

Abstract:

Malgré des progrès récents, développer une application d'informatique ubiquitaire reste un défi à cause d'un manque de canevas conceptuels et d'outils aidant au développement. Ce défi implique de prendre en charge des objets communicants hétérogènes, de surmonter la complexité des technologies de systèmes distribués, de définir l'architecture d'une application, et d'encoder cela dans un programme. De plus, tester des applications d'informatique ubiquitaire est problématique car cela implique d'acquérir, de tester et d'interfacer une variété d'entités logicielles et matérielles. Ce procédé peut

APA, Harvard, Vancouver, ISO, and other styles

21

Soekirno, Purnomo. "Contribution à l'étude du développement d'un système C. A. O. -V. R. D. : extension du système V.E.R.D.I., réseaux basse tension et éclairage public : étude de la circulation d'informations dans un processus de conception en V.R.D." Lyon 1, 1985. http://www.theses.fr/1985LYO10008.

Full text

APA, Harvard, Vancouver, ISO, and other styles

22

Lestideau, Vincent. "Modèles et environnement pour configurer et déployer des systèmes logiciels." Phd thesis, Chambéry, 2003. http://tel.archives-ouvertes.fr/tel-00005525.

Full text

Abstract:

Le cycle de vie du logiciel regroupe plusieurs activités comme l'analyse, la conception, la production, le test et le déploiement. Cette dernière activité est un procédé complexe composé de sous activités comme la configuration, l'installation ou la mise à jour. La complexité et l'importance du déploiement a augmenté récemment avec l'évolution des réseaux et la construction d'applications à base de composants. Il est maintenant envisageable d'imaginer des solutions permettant le déploiement automatisé de logiciels en assurant que chaque utilisateur recevra la version du logiciel la plus cohére

APA, Harvard, Vancouver, ISO, and other styles

23

Sriplakich, Prawee. "ModelBus : un environnement réparti et ouvert pour l'ingénierie de modèles." Paris 6, 2007. http://www.theses.fr/2007PA066265.

Full text

Abstract:

Le paradigme « Model Driven Engineering (MDE) » (Ingénierie de modèles) vise à simplifier le développement et de la maintenance des systèmes informatiques. Il se focalise sur l’utilisation de modèles pour spécifier les systèmes et sur les manipulations de modèles avec des outils. Cette thèse a pour but de définir et de réaliser un environnement réparti et ouvert pour réaliser MDE. Cet environnement, nommé ModelBus, vise 1) à supporter les manipulations collaboratives des modèles par multi-développeurs, et 2) à fournir l’interopérabilité entre outils hétérogènes impliqués dans les projets MDE.

APA, Harvard, Vancouver, ISO, and other styles

24

Lepreux, Sophie. "Approche de développement centré décideur et à l'aide de patron de systèmes interactifs d'aide à la décision : Application à l'investissement dans le domaine ferroviaire." Valenciennes, 2005. http://ged.univ-valenciennes.fr/nuxeo/site/esupversions/007a05a5-88ef-48c2-bcaf-993bcac935dc.

Full text

Abstract:

Les Systèmes Interactifs d'Aide à la Décision (SIAD) adaptés aux prises de décisions basées sur les connaissances sont au coeur de ces travaux. Un ensemble d'approches de développement (modèles, méthodes et architectures) provenant du génie logiciel, des IHM, des systèmes de connaissance, des systèmes à base de composants et des SIAD n'ont pas semblé correspondre au développement de ces SIAD. Une Approche de DEveloppement de Système Interactif d'Aide à la Décision (ADESIAD) a été proposée. Elle a pour particularité d'être centrée sur le décideur et d'utiliser des patrons pour formaliser et str

APA, Harvard, Vancouver, ISO, and other styles

25

Feugas, Alexandre. "Une approche agile, fiable et minimale pour le maintien de la qualité de service lors de l'évolution d'applications à base de processus métiers." Phd thesis, Université des Sciences et Technologie de Lille - Lille I, 2014. http://tel.archives-ouvertes.fr/tel-01073193.

Full text

Abstract:

Les logiciels actuels adoptent une méthodologie de développement dite "agile" pour mieux prendre en compte la nécessité de s'adapter constamment aux nouveaux besoins des utilisateurs. Les concepteurs et développeurs se rapprochent alors des futurs utilisateurs du logiciel en proposant des cycles courts d'itération, où le futur utilisateur fait un retour rapide sur l'incrément apporté au logiciel, et fait part de nouveaux besoins à prendre en compte dans les incréments à venir. Ces itérations peuvent être vues comme des évolutions, faisant suite à la définition d'un nouveau bes

APA, Harvard, Vancouver, ISO, and other styles

26

Damou, Elmehdi. "ApAM : Un environnement pour le développement et l'exécution d'applications ubiquitaires." Phd thesis, Université de Grenoble, 2013. http://tel.archives-ouvertes.fr/tel-00911462.

Full text

Abstract:

Simplifier notre interaction avec les entités informatiques interconnectées de notre environnement et faciliter l'exploitation des informations générées par celles-ci est l'objectif des environnements et des applications ubiquitaires. Le comportement des applications ubiquitaires dépend de l'état et de la disponibilité des entités (logiciels ou dispositifs) qui composent l'environnement ubiquitaire dans lequel elles évoluent, ainsi que des préférences et localisations des utilisateurs. Développer et exécuter des applications ubiquitaires est un véritable défi que notre approche essaie de relev

APA, Harvard, Vancouver, ISO, and other styles

27

Perrin, Amandine. "Tools for massive bacterial comparative genomics : Development and Applications." Electronic Thesis or Diss., Sorbonne université, 2022. https://theses.hal.science/tel-03789655.

Full text

Abstract:

La génomique comparative bactérienne consiste à comparer les contenus en gène des différentes souches : leur pangenome. Avec le nombre croissant de séquençages, les logiciels existants au début de cette thèse arrivaient à leurs limites en termes de temps de calcul et de mémoire. L’enjeu était de passer à l’échelle de milliers de génomes dans un temps raisonnable, en gardant une précision correcte. De plus, à notre connaissance, aucun logiciel ne permettait d’effectuer toutes les étapes clés d’une étude de génomique comparative. C’est dans ce contexte que nous avons développé PanACoTA, un outil

APA, Harvard, Vancouver, ISO, and other styles

28

Ceret, Eric. "Flexibilité des processus de développement à la conception et à l'exécution : application à la plasticité des interfaces homme-machine." Thesis, Grenoble, 2014. http://www.theses.fr/2014GRENM041/document.

Full text

Abstract:

La diversité des dispositifs et les exigences des utilisateurs en termes de disponibilité et de continuité de service complexifient l'ingénierie de l'interaction homme-machine : il devient nécessaire de créer des IHM douées d'adaptation dynamique à leur contexte d'usage. L'ingénierie de ces IHM, dites plastiques, peut suivre une approche dirigée par les modèles mais ces approches sont encore peu pratiquées et souffrent d'un coût d'apprentissage important. Il est donc impératif d'accompagner les concepteurs et développeurs par un guidage, mais ce guidage doit être suffisamment flexible pour int

APA, Harvard, Vancouver, ISO, and other styles

29

Le, Goaer Olivier. "Styles d'évolution dans les architectures logicielles." Phd thesis, Université de Nantes, 2009. http://tel.archives-ouvertes.fr/tel-00459925.

Full text

Abstract:

Les architectures logicielles ont été introduites en réponse à l'accroissement de la complexité des systèmes, en favorisant leurs descriptions à un haut niveau d'abstraction. Dans cette thèse, nous proposons d'aborder la problématique de leurs évolutions avec comme objectif, de capitaliser les évolutions récurrentes et de favoriser leur réutilisation. Notre contribution se décline en deux volets majeurs. Le premier volet concerne la proposition du modèle d'évolution SAEM (Style-based Architectural Evolution Model), permettant l'abstraction, la spécification et la gestion de l'évolution dans le

APA, Harvard, Vancouver, ISO, and other styles

30

Ait, Lahcen Ayoub. "Développement d'Applications à Base de Composants avec une Approche Centrée sur les Données et dans une Architecture Orientée Service et Pair-à-Pair : Spécification, Analyse et Intergiciel." Phd thesis, Université Nice Sophia Antipolis, 2012. http://tel.archives-ouvertes.fr/tel-00766329.

Full text

Abstract:

Le développement d'applications avec une architecture Pair-à-Pair (P2P) est devenu de plus en plus important en ingénierie du logiciel. Aujourd'hui, un grand nombre d'organisations de tailles et secteurs différents compte d'une manière croissante sur la collaboration entre multiples acteurs (individus, groupes, communautés, etc.) pour accomplir des tâches essentielles. Ces applications P2P ont généralement un comportement récursif que plusieurs approches de modélisation ne peuvent pas décrire et analyser (ex. les approches basées sur les automates à états finis). Un autre challenge qui concern

APA, Harvard, Vancouver, ISO, and other styles

31

Patel, Pankesh. "Environnement de développement d'applications pour l'Internet des objets." Phd thesis, Université Pierre et Marie Curie - Paris VI, 2013. http://tel.archives-ouvertes.fr/tel-00927150.

Full text

Abstract:

Application development in the Internet of Things (IoT) is challenging because it involves dealing with a wide range of related issues such as lack of separation of concerns, and lack of high-level of abstractions to address both the large scale and heterogeneity. Moreover, stakehol- ders involved in the application development have to address issues that can be attributed to different life-cycles phases when developing applications. First, the application logic has to be analyzed and then separated into a set of distributed tasks for an underlying network. Then, the tasks have to be implement

APA, Harvard, Vancouver, ISO, and other styles

32

Papoulias, Nikolaos. "Le Débogage à Distance et la Réflexion dans les Dispositifs à Ressources Limitées." Phd thesis, Université des Sciences et Technologie de Lille - Lille I, 2013. http://tel.archives-ouvertes.fr/tel-00932796.

Full text

Abstract:

La construction de logiciels pour des appareils qui ne peuvent pas accueillir localement des outils de développement peut être difficile. Ces appareils soit ont une puissance de calcul trop limitée pour exécuter un IDE (par exemple, smartphones), ou manquent d' interfaces d'entrée / sortie appropriées (écran, clavier , souris) pour la programmation (par exemple, les robots mobiles) ou sont tout simplement inaccessibles pour des développements locaux (par exemple cloud - serveurs). Dans ces situations, les développeurs ont besoin d'une infrastructure appropriée pour développer et déboguer des a

APA, Harvard, Vancouver, ISO, and other styles

33

Aït-Ameur, Yamine. "Application des techniques d'interprétation abstraite aux développements formels de programmes." Toulouse, ENSAE, 1992. http://www.theses.fr/1992ESAE0014.

Full text

Abstract:

Ce travail s'inscrit dans le cadre du développement formel de programmes. Ces programmes sont obtenus par transformation de spécifications formelles (algébriques) en appliquant des règles de base du système fold/unfold ou des tactiques de développement les combinant. A cet effet un langage de développement par transformation a été défini. Il est supporté par un système de types d'ordre supérieur appelé DEVA développé dans le cadre du projet ESPRIT-TOOL'USE. Les développements sont exprimés dans ce langage. L'isomorphisme de Curry-Howard établissant la correspondance entre type et proposition g

APA, Harvard, Vancouver, ISO, and other styles

34

Mou, Lei. "Toward a customized privacy preservation method in mobile tourism applications." Thesis, Université Grenoble Alpes (ComUE), 2016. http://www.theses.fr/2016GREAM063.

Full text

Abstract:

Le développement rapide des TIC (Information and Communication Technology) a un impact énorme à toutes les industries. Internet Mobile, Web 2.0, la technologie de positionnement sont déployées dans le monde largement, qui a initialisé la demande intérieure des nouvelles technologies dans le domaine du tourisme. En profitant de la commodité apportée par les nouvelles technologies, de plus en plus d'utilisateurs de commencer à se concentrer sur les questions de confidentialité.Comme on le sait, il y a une contradiction entre la qualité des services et la vie privée recommandés basés sur la local

APA, Harvard, Vancouver, ISO, and other styles

35

Aljer, Ammar. "Co-design et raffinement en B : BHDL tool, plateforme pourr la conception de composants numériques." Lille 1, 2004. https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/2004/50376-2004-Aljer.pdf.

Full text

Abstract:

Dans le cadre de la modélisation de systèmes complexes, la conception d'entrée ou appelée système représente le plus haut niveau d'abstraction du système global, ceci avant tout choix en terme d'implantation et de technologies. À ce tout premier stade de la conception, l'utilisation d'un langage formel de spécification est de plus en plus considéré comme le fondement d'un réel processus de validation en particulier dans le cas d'exigences de sûreté. Cette thèse met en lumière la nécessité d'une modélisation par raffinement: de la spécfication la plus abstraite vers un point de description proc

APA, Harvard, Vancouver, ISO, and other styles

36

Diaw, Samba. "Spem4mde : un métamodèle et un environnement pour la modélisation et la mise en œuvre assistée de processus IDM." Phd thesis, Université Toulouse le Mirail - Toulouse II, 2011. http://tel.archives-ouvertes.fr/tel-00668956.

Full text

Abstract:

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 natu

APA, Harvard, Vancouver, ISO, and other styles

37

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

38

Antonio, Wendell De Oliveira Rodrigues. "Une Méthodologie pour le Développement d'Applications Hautes Performances sur des Architectures GPGPU: Application à la Simulation des Machines Éléctriques." Phd thesis, Université des Sciences et Technologie de Lille - Lille I, 2012. http://tel.archives-ouvertes.fr/tel-00670221.

Full text

Abstract:

Les phénomènes physiques complexes peuvent être simulés numériquement par des techniques mathématiques basées souvent sur la discrétisation des équations aux dérivées partielles régissant ces phénomènes. Ces simulations peuvent mener ainsi à la résolution de très grands systèmes. La parallélisation des codes de simulation numérique, c'est-à-dire leur adaptation aux architectures des calculateurs parallèles, est alors une nécessité pour parvenir à faire ces simulations en des temps non-exorbitants. Le parallélisme s'est imposé au niveau des architectures de processeurs et les cartes graphiques

APA, Harvard, Vancouver, ISO, and other styles

39

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

40

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

41

Ghabach, Eddy. "Prise en charge du « copie et appropriation » dans les lignes de produits logiciels." Thesis, Université Côte d'Azur (ComUE), 2018. http://www.theses.fr/2018AZUR4056/document.

Full text

Abstract:

Une Ligne de Produits Logiciels (LPL) supporte la gestion d’une famille de logiciels. Cette approche se caractérise par une réutilisation systématique des artefacts communs qui réduit le coût et le temps de mise sur le marché et augmente la qualité des logiciels. Cependant, une LPL exige un investissement initial coûteux. Certaines organisations qui ne peuvent pas faire face à un tel investissement, utilisent le « Clone-and-own » C&O pour construire et faire évoluer des familles de logiciels. Cependant, l'efficacité de cette pratique se dégrade proportionnellement à la croissance de la fam

APA, Harvard, Vancouver, ISO, and other styles

42

Bernas, Pierre. "Bases de projet pour les environnements de développement de logiciel." Paris 11, 1989. http://www.theses.fr/1989PA112229.

Full text

Abstract:

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è

APA, Harvard, Vancouver, ISO, and other styles

43

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

44

Mercadal, Julien. "Approche langage au développement logiciel : application au domaine des systèmes d’informatique ubiquitaire." Thesis, Bordeaux 1, 2011. http://www.theses.fr/2011BOR14315/document.

Full text

Abstract:

Face à l'augmentation de la taille et de la complexité des systèmeslogiciels, il convient de les décrire à un plus haut niveaud'abstraction (i.e., au-delà du code) avant de concrètement lesimplémenter. Toutefois, l'utilisation de ces descriptions de hautniveau dans les processus de construction et de vérification dessystèmes reste très rudimentaire, ne permettant pas de véritablementguider et faciliter le développement logiciel. Cette thèse propose une nouvelle approche pour rendre plus simple etplus sûr le développement de systèmes logiciels. Cette approche reposesur l'utilisation de langages

APA, Harvard, Vancouver, ISO, and other styles

45

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

46

Guelfi, Nicolas. "Les réseaux algébriques hiérarchiques : un formalisme de spécifications structurées pour le développement de systèmes concurrents." Paris 11, 1994. http://www.theses.fr/1994PA112292.

Full text

Abstract:

Les réseaux algébriques hiérarchiques introduits dans cette thèse constituent un formalisme permettant la spécification de systèmes concurrents complexes. Ils sont fondeé sur les réseaux de Pétri et les spécifications algébriques et possèdent des primitives de structuration. Les premiers travaux proposant une classe de réseaux algébriques structures furent ceux de F de Cindio avec obj-sa en 1988 puis ceux de d. Buchs et N. Guelfi avec co-opn (concurrent object oriented petri nets) en 1991. Les travaux sur co-opn ont abouti à un formalisme de spécifications éprouvé par des études de cas et pour

APA, Harvard, Vancouver, ISO, and other styles

47

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

48

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

49

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

50

Burgy, Laurent. "Approche langage au développement du support protocolaire d'applications réseaux." Phd thesis, Université Sciences et Technologies - Bordeaux I, 2008. http://tel.archives-ouvertes.fr/tel-00359948.

Full text

Abstract:

Une application réseau communique avec d'autres applications par le biais d'un ensemble consen- <br />suel de règles régissant la communication, appelé protocole. Cette communication est gérée par la <br />partie de l'application connue comme la couche de support protocolaire qui gère la manipulation de <br />messages protocolaires. Elle s'avère être un composant critique d'une application réseau puisqu'elle <br />représente l'interface entre celle-ci et le monde extérieur. Elle est donc soumise à deux contraintes <br />fortes : une contrainte d'efﬁcacité pour pouvoir traiter un grand nombre d

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!