Relevant bibliographies by topics / Composants logiciels / Dissertations / Theses
To see the other types of publications on this topic, follow the link: Composants logiciels.

Dissertations / Theses on the topic 'Composants logiciels'

Author: Grafiati
Published: 4 June 2021
Last updated: 14 December 2024

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 'Composants logiciels.'

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

Bailly, Arnaud Clerbout Mireille Ryl Isabelle. "Test & validation de composants logiciels." Villeneuve d'Ascq : Université des sciences et technologies de Lille, 2007. https://iris.univ-lille1.fr/dspace/handle/1908/515.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Bailly, Arnaud. "Test & validation de composants logiciels." Lille 1, 2005. https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/2005/50376-2005-Bailly.pdf.

Full text
Abstract:
Les producteurs de logiciels et plus particulièrement les prestataires de services doivent faire face aux exigences de plus en plus fortes des utilisateurs pour obtenir des logiciels de meilleure qualité qui remplissent un nombre de fonctions de plus en plus grande, à un coût réduit. Cette thèse se propose de contribuer à la résolution de cette équation en soulignant l'importance de structurer les applications dans une architecture à base de composants et d'industrialiser le processus de développement. Pour ce faire, nous proposons un modèle de composants permettant l'expression de contrats co
APA, Harvard, Vancouver, ISO, and other styles
3

Pham, Thi Xuan Loc Padiou Gérard. "Adaptation des composants centrée sur l'utilisation." Toulouse : INP Toulouse, 2005. http://ethesis.inp-toulouse.fr/archive/00000126.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Saudrais, Sébastien Jézéquel Jean-Marc. "Qualité de Service temporelle pour composants logiciels." [S.l.] : [s.n.], 2007. ftp://ftp.irisa.fr/techreports/theses/2007/saudrais.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Khemakhem, Sofien. "Un environnement de spécification et de découverte pour la réutilisation des composants logiciels dans le développement des logiciels distribués." Phd thesis, Université Paul Sabatier - Toulouse III, 2011. http://tel.archives-ouvertes.fr/tel-00627232.

Full text
Abstract:
Notre travail vise à élaborer une solution efficace pour la découverte et la réutilisation des composants logiciels dans les environnements de développement existants et couramment utilisés. Nous proposons une ontologie pour décrire et découvrir des composants logiciels élémentaires. La description couvre à la fois les propriétés fonctionnelles et les propriétés non fonctionnelles des composants logiciels exprimées comme des paramètres de QoS. Notre processus de recherche est basé sur la fonction qui calcule la distance sémantique entre la signature d'un composant et la signature d'une requête
APA, Harvard, Vancouver, ISO, and other styles
6

Saudrais, Sébastien. "Qualité de Service Temporelle pour Composants Logiciels." Phd thesis, Université Rennes 1, 2007. http://tel.archives-ouvertes.fr/tel-00538267.

Full text
Abstract:
La qualité de service temporelle permet à l'utilisateur d'une application à composants d'estimer les propriétés extra-fonctionnelles l'application. Afin d'obtenir une estimation précise de la qualité, les informations de qualité de service temporelle doivent être présentes durant le processus de développement de l'application, de la spécification jusqu'à l'implantation. La contribution de cette thèse est la définition d'un processus de gestion de la qualité de service temporelle pendant le développement d'une application à composants. Nous nous intéressons dans un premier temps à l'introductio
APA, Harvard, Vancouver, ISO, and other styles
7

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
8

Baudry, Benoit. "Assemblage testable et validation de composants." Rennes 1, 2003. http://www.theses.fr/2003REN10048.

Full text
Abstract:
Le test de logiciel apparaît aujourd'hui comme le moyen principal pour la validation du fonctionnement d'un programme. Les travaux présentés au cours de cette thèse s'articulent autour de trois contributions qui se concentrent sur certaines spécificités de la programmation et de la conception orientée objet pour l'étude de solutions particulières pour le test d'un composant. La qualité des cas de test étant un facteur important pour une validation efficace, le premier point concerne l'étude d'algorithmes évolutionnistes pour la génération automatique de cas de test pour un composant. Nous nous
APA, Harvard, Vancouver, ISO, and other styles
9

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
10

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
11

El, Baida Rami. "Les composants logiciels réutilisables : méthode de vérification." Toulouse 3, 2004. http://www.theses.fr/2004TOU30066.

Full text
Abstract:
La programmation orientée objet est de plus en plus utilisée dans le développement des systèmes complexes. Une des caractéristiques principales de ce type de programmation est de favoriser la réutilisation. Quelques échecs retentissants (comme la panne du réseau téléphonique aux États-Unis en 1989) ont prouvé la nécessité de vérifier ce type de systèmes. Plusieurs méthodes de vérifications existent, comme la vérification par preuves et la vérification par modèles (ou model-checking). Dans cette thèse, nous présentons un langage de modélisation pour les systèmes à objets concurrents ainsi que l
APA, Harvard, Vancouver, ISO, and other styles
12

Pickin, Simon. "Test des composants logiciels pour les télécommunications." Rennes 1, 2003. http://www.theses.fr/2003REN10034.

Full text
Abstract:
Nous affirmons le besoin d'un langage intégré dans UML pour décrire des test fonctionnels de composants, et nous proposons un tel langage, TeLa, fondé sur les diagrammes de séquence UML, où l'architecture de test se décrit avec des diagrammes de composant UML. Nous formalisons la base de la sémantique non entrelacée de TeLa, et les notions de déterminisme / contrôlabilité, complétude en entrée, verdicts implicite / explicite et alternative par défaut. La sémantique par projection sur les événements du testeur permet l'usage d'une syntaxe avec lignes de vie pour le SUT. Lárchitecture de test fo
APA, Harvard, Vancouver, ISO, and other styles
13

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
14

George, Bartholomew O'Sullivan. "Un processus de sélection de composants logiciels multi-niveaux." Lorient, 2007. http://www.theses.fr/2007LORIS107.

Full text
Abstract:
Le paradigme composant propose de construire un système à partir d'éléments faiblement couplés et pour la plupart déjà existants. Le taux de réutilisation ainsi atteint entraîne une diminution des délais et des coûts de développement. Pour faire face à la complexité croissante des applications, les entreprises sont de plus en plus obligées d'avoir recours à des composants commerciaux "sur étagère", fournis par des tierces personnes, et dont la nature même impose de repenser profondément le cycle de développement d'un logiciel. Il n'est plus possible de spécifier un besoin ou une architecture s
APA, Harvard, Vancouver, ISO, and other styles
15

Noël, Victor. "Component-based software architectures and multi-agent systems : mutual and complementary contributions for supporting software development." Toulouse 3, 2012. http://thesesups.ups-tlse.fr/1705/.

Full text
Abstract:
Dans cette thèse, nous explorons les diverses contributions que les systèmes multi-agents (SMA) et les architectures à base de composants (CBSA) peuvent mutuellement et complémentairement s'apporter l'un à l'autre. Dans un premier temps, nous définissons, illustrons, analysons et discutons une méthodologie du développement des SMA, un modèle de composants (SpeAD), un langage de description d'architecture (SpeADL) et une méthode de conception (SpEArAF) qui facilitent et guident la description et l'implémentation des SMA. Cette réponse complète au développement des SMA est assistée par un outil
APA, Harvard, Vancouver, ISO, and other styles
16

Vadet, Mathieu. "Un modèle de services logiciels pour la spécialisation des intergiciels à composants." Lille 1, 2004. http://www.theses.fr/2004LIL10115.

Full text
Abstract:
La définition d'un intergiciel à composants commun spécialisable par rapport aux services techniques apparaît comme un enjeu majeur pour réussir la capitalisation des fonctions des systèmes opérationnels. Toutefois, les intergiciels modernes n'exposent pas de fonction de spécialisation. Notre proposition définit une approche unifiée pour fabriquer des intergiciels à composants spécialisés en assemblant des services logiciels. L'analyse des modèles standards J2EE et CCM nous a permis de caractériser la fonction de spécialisation. Dans l'optique de couvrir les besoins d'intégration, de compositi
APA, Harvard, Vancouver, ISO, and other styles
17

Kmimech, Mourad. "Vérification d’assemblages de composants logiciels : Application aux modèles de composants UML2.0 et Ugatze." Pau, 2010. http://www.theses.fr/2010PAUU3017.

Full text
Abstract:
L'approche par composants vise la réutilisation par assemblage aisé et cohérent des composants. Mais l’obtention d’un assemblage de composants cohérent n’est pas un exercice facile. Pour y parvenir, nous préconisons une approche contractuelle distinguant divers contrats syntaxiques, structurels, sémantiques, de synchronisation et de qualité de services. Nous avons appliqué avec succès cette approche contractuelle sur deux modèles de composants semi-formels : UML2. 0 et Ugatze. En effet, nous proposons deux démarches VerifComponentUML2. 0 et VerifComponentUgatze. La démarche VerifComponentUML2.
APA, Harvard, Vancouver, ISO, and other styles
18

Roméo, Fabien. "Administration de composants logiciels pour systèmes sans fil." Pau, 2007. http://www.theses.fr/2007PAUU3012.

Full text
Abstract:
Une des grandes tendances dans les systèmes sans fil est de concevoir leur logiciel comme un assemblage de composants. Les composants sont interconnectés grâce à leurs interfaces, tout en cachant leur implémentation afin d'augmenter leur réutilisabilité et permettre leur déploiement par des tiers. Le déploiement s'effectue sur des dispositifs très variés tels que des téléphones mobiles, des PDA, des boîtiers de télévision numérique, etc. Compte tenu du fait que les environnements de déploiement sont différents des environnements de développement, des comportements anormaux et/ou des dysfonctio
APA, Harvard, Vancouver, ISO, and other styles
19

Buisson, Jérémy Pazat Jean-Louis. "Adaptation dynamique de programmes et composants parallèles." (S.l.) : (s.n.), 2006. ftp://ftp.irisa.fr/techreports/theses/2006/buisson.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
20

Chang, Hervé. "Négociation de contrats dans les systèmes à composants logiciels hiérarchiques." Phd thesis, Université de Nice Sophia-Antipolis, 2007. http://tel.archives-ouvertes.fr/tel-00782493.

Full text
Abstract:
Les systèmes logiciels modernes sont caractérisés par leur complexité croissante et les fortes exigences en termes de continuité et de disponibilité des services. Face à cette problématique, des propositions telles que le génie logiciel à composants et l'approche contractuelle constituent des approches pertinentes pour faciliter la construction des systèmes et augmenter leur fiabilité. En outre, les aspects extrafonctionnels des systèmes à l'exécution doivent être constamment mieux gérés, et des techniques qui permettent aux systèmes logiciels de réagir à divers changements et maintenir des qu
APA, Harvard, Vancouver, ISO, and other styles
21

Seyler, Frédérick. "Ugatze : métamodélisation pour la réutilisation de composants hétérogènes distribués." Pau, 2004. http://www.theses.fr/2004PAUU3037.

Full text
Abstract:
La proposition Ugatze se place à la croisée de quatre domaines de recherche : réutilisation, métamodélisation, paradigme composant et interopérabilité. Sa contribution s'articule autour de trois propositions. Un (méta) modèle de composants et d'interactions, séparant traitement de l'information et du contrôle, et permettant la spécification puis l'intégration conceptuelle des composants réutilisables. Ce métamodèle contient une syntaxe abstraite, une syntaxe concrète graphique, ainsi que des règles de vérification. Il est également articulé de manière à séparer les points de vue et les niveaux
APA, Harvard, Vancouver, ISO, and other styles
22

Le, Sommer Nicolas. "Contractualisation des ressources pour les composants logiciels : une approche réflexive." Lorient, 2003. http://www.theses.fr/2003LORIS023.

Full text
Abstract:
Depuis quelques années l'industrie du logiciel s'oriente vers un processus de développement basé sur l'assemblage de composants logiciels préexistants. Dans ce contexte, disposer de composants logiciels aux propriétés fonctionnelles et non-fonctionnelles (e. G. Fiabilité, performance, sureté) apparaît comme une nécessité. Cependant, les modèles de composants actuels ne permettent pas de définir pleinement ces propriétés, en particulier celle portant sur les ressources nécessaires à l'exécution des composants. Au vue de l'hétérogénéité des environnements de déploiement de composants existant à
APA, Harvard, Vancouver, ISO, and other styles
23

Sadou-Harireche, Nassima. "Évolution structurelle dans les architectures logicielles à base de composants." Nantes, 2007. http://www.theses.fr/2007NANT2114.

Full text
Abstract:
Le travail présenté dans cette thèse s'inscrit dans le cadre des architectures logicielles à base de composants. Une architecture logicielle offre une description d'un système à un niveau d'abstraction élevé en terme de composants et d'interactions entre ces composants. La problématique abordée relève de l'évolution structurelle des architectures logicielles à base de composants. L’évolution permet, dans le cadre des architectures logicielles, d’éviter que celles-ci ne restent figées et soient obsolètes par rapport aux besoins en perpétuels changements. Notre contribution à cette problématique
APA, Harvard, Vancouver, ISO, and other styles
24

Kouici, Nabil. "Gestion des déconnexions pour applications réparties à base de composants en environnements mobiles." Evry, Institut national des télécommunications, 2005. https://tel.archives-ouvertes.fr/tel-00012013.

Full text
Abstract:
Ces dernières années ont été marquées par une forte évolution des équipements et des réseaux utilisés dans les environnements mobiles. Cette évolution a abouti à la définition d'une nouvelle thématique : l'informatique mobile. L'informatique mobile offre aux utilisateurs la capacité de pouvoir se déplacer tout en restant connecté aux applications réparties et d'être indépendant de la localisation géographique. Toutefois, l'accès aux applications réparties dans ces environnements soulève le problème de la disponibilité des services en présence des déconnexions. Ces déconnexions peuvent être vol
APA, Harvard, Vancouver, ISO, and other styles
25

Chardigny, Sylvain. "Extraction d'une architecture logicielle à base de composants depuis un système orienté objet : une approche par exploration." Nantes, 2009. http://www.theses.fr/2009NANT2115.

Full text
Abstract:
La modélisation et la représentation des architectures logicielles sont devenues une des phases principales du processus de développement de systèmes complexes. En effet, la représentation de l'architecture fournit de nombreux avantages pendant tout le cycle de vie du logiciel. Cependant, pour beaucoup de systèmes existants, aucune représentation fiable de leurs architectures n'est disponible. Afin de pallier cette absence, source de nombreuses difficultés principalement lors des phases de maintenance et d'évolution, nous proposons, dans cette thèse, une approche, appelée ROMANTIC, visant à ex
APA, Harvard, Vancouver, ISO, and other styles
26

George, Bart. "Un processus de sélection de composants logiciels multi-niveaux." Phd thesis, Université de Bretagne Sud, 2007. http://tel.archives-ouvertes.fr/tel-00512356.

Full text
Abstract:
Le paradigme composant propose de construire un système à partir d'éléments faiblement couplés et pour la plupart déjà existants. Le taux de réutilisation ainsi atteint entraîne une diminution des délais et des coûts de développement. Pour faire face à la complexité croissante des applications, les entreprises sont de plus en plus obligées d'avoir recours à des composants commerciaux "sur étagère", fournis par des tierces personnes, et dont la nature même impose de repenser profondément le cycle de développement d'un logiciel. Il n'est plus possible de spécifier un besoin ou une architecture s
APA, Harvard, Vancouver, ISO, and other styles
27

RAMES, ERIC. "Sur la reutilisation de composants logiciels : classification et recherche." Toulouse 3, 1991. http://www.theses.fr/1991TOU30098.

Full text
Abstract:
Un des problemes essentiels poses par la reutilisation de logiciel est celui de la recherche, dans des bases existantes, de composants verifiant des criteres fonctionnels et/ou techniques particuliers. Dans la premiere partie de la these, nous analysons quelques modeles existants. Nous definissons ensuite un modele de recherche fonde sur une classification hierarchique et thematique des composants logiciels contenus dans une base. Dans la seconde partie de la these, nous proposons une methodologie permettant d'etablir manuellement des classifications hierarchiques et thematiques d'un domaine.
APA, Harvard, Vancouver, ISO, and other styles
28

Shabani, Iyad Al. "Un framework pour les composants logiciels distribués et parallèles." Lille 1, 2006. https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/2006/50376-2006-Shabani.pdf.

Full text
Abstract:
Dans cette thèse nous nous sommes intéressés aux applications distribuées/parallèles à base de composants. Notre contribution se situe dans la construction d'un framework de composants (CCADAJ) au dessus de la plateforme DG-ADAJ (Desktop Grid - Adaptive Distributed Applications in Java). La plateforme DG-ADAJ propose des mécanismes d'observation, de placement et de migration d'objets pour les applications distribuées/parallèles. Le framework CCADAJ est basé sur le modèle de composants CCA (Common Component Architecture). CCA permet une simplicité d'écriture, une efficacité d'exécution et la dy
APA, Harvard, Vancouver, ISO, and other styles
29

Shabani, Iyad Al Toursel Bernard Olejnik Richard. "Un framework pour les composants logiciels disribués et parallèles." Villeneuve d'Ascq : Université des sciences et technologies de Lille, 2007. https://iris.univ-lille1.fr/dspace/handle/1908/1010.

Full text
Abstract:
Reproduction de : Thèse de doctorat : Informatique : Lille 1 : 2006.<br>N° d'ordre (Lille 1) : 3776. Résumé en français et en anglais. Titre provenant de la page de titre du document numérisé. Bibliogr. p. 161-[170].
APA, Harvard, Vancouver, ISO, and other styles
30

Waignier, Guillaume. "Canevas de développement agile pour l’évolution fiable de systèmes logiciels à composants et orientés services." Thesis, Lille 1, 2010. http://www.theses.fr/2010LIL10007/document.

Full text
Abstract:
Les logiciels se caractérisent par un besoin d'évolutions perpétuelles et rapides. Pour faciliter l'évolution rapide de systèmes, des approches de génie logiciel ont été proposées, telles que les architectures logicielles et la méthode de conception agile. Néanmoins, les solutions actuelles offrent peu de support pour permettre l'évolution fiable d'un système, c'est-à-dire permettre sa modification tout en garantissant le respect de ses exigences de qualités de service (QdS) et de bon fonctionnement global. La contribution de cette thèse est CALICO, un canevas de développement agile et multi p
APA, Harvard, Vancouver, ISO, and other styles
31

Bigot, Céline. "Une proposition de formalisme orienté composant : application de méthodes d'exécution symbolique pour la validation de systèmes à base de composants." Paris, CNAM, 2005. http://www.theses.fr/2005CNAM0497.

Full text
Abstract:
De plus en plus, les logiciels sont considérés comme des assemblages de composants, chaque composant étant lui-même considéré comme un logiciel indépendant. Ce type d'approche permet de simplifier les étapes de conception, de développement et de maintenance des logiciels tout en garantissant de manière plus aisée leur qualité, leur fiabilité et leur sûreté. Dans ce contexte, nous proposons un cadre formel pour la définition de composants et de systèmes de composants avec une syntaxe orientée UML et une sémantique opérationnelle puis dénotationnelle. La sémantique opérationnelle nous permet de
APA, Harvard, Vancouver, ISO, and other styles
32

Özcan, Ali Erdem. "Conception et implantation d’un environnement de développement de logiciels à base de composants, applications aux systèmes multiprocesseurs sur puce." Grenoble INPG, 2007. http://www.theses.fr/2007INPG0080.

Full text
Abstract:
Ces travaux de thèse définissent un environnement de développement ouvert et extensible pour la conception de logiciels à base de composants. L'environnement se présente comme une chaîne de compilation d'architectures logicielles, acceptant des architectures écrites dans des langages différents et fournissant des fonctionnalités comme la génération de code ou le déploiement. L'extensibilité de l'outil est assurée par une architecture à base de composants implantant des patrons de programmation extensibles et supportant un mécanisme de plug-in pour intégrer des extensions de tierces parties. L'
APA, Harvard, Vancouver, ISO, and other styles
33

Bouix, Emmanuel. "Modèles de flux et de composants pour applications multimédias distribuées dynamiquement reconfigurables." Pau, 2007. http://www.theses.fr/2007PAUU3029.

Full text
Abstract:
Les travaux présentés s’intéressent au déploiement et à la reconfiguration dynamique des applications multimédias distribuées à travers l’Internet. Sur ce réseau, elles sont soumises à un contexte d’exécution hétérogène et mouvant, et ce tant au niveau logiciel qu’au niveau matériel. Ce constat rend leur implantation et leur utilisation contraignantes. La solution proposée consiste à superviser leur exécution pour gérer la qualité de service requise et fournie à l’aide d’une plate-forme de reconfiguration dynamique. Des travaux antérieurs proposent de spécifier ces applications à l’aide de gra
APA, Harvard, Vancouver, ISO, and other styles
34

Lacouture, Jérôme. "Ingénierie logicielle orientée service : une contribution à l'adaptation dynamique basée sur une approche mixte composant/agent." Pau, 2008. http://www.theses.fr/2008PAUU3011.

Full text
Abstract:
L'évolution des systèmes distribués est en train de prendre une nouvelle dimension avec l'essor de nouvelles technologies (Architectures Orientées Services, Grille informatique, informatique nomade et ubiquitaire). Au sein de tels environnements, l'architecture logicielle du système évolue en cours d'exécution, c'est-à-dire lors de la phase d'exploitation du cycle de développement. Par conséquent, persistance des services et aspects dynamiques constituent de nouveaux challenges et amènent à reconsidérer des problématiques inhérentes que sont la réutilisation des services existants et leur adap
APA, Harvard, Vancouver, ISO, and other styles
35

Herault, Colombe. "Adaptabilité des services techniques dans le modèle à composants." Valenciennes, 2005. http://ged.univ-valenciennes.fr/nuxeo/site/esupversions/359967dd-fbfb-45b2-a91f-4224e73234ed.

Full text
Abstract:
Le développement des applications distribuées, amenées de plus en plus à s'exécuter sur des machines à caractéristiques hétérogènes, tend à se complexifier. Le modèle à composants apporte une réponse à ce problème en favorisant la réutilisabilité du code. Par ailleurs, les services techniques, offerts par les plateformes à composant, allègent le code source et améliorent la qualité de service. Cependant, ces services techniques conçus pour une exécution statique sur des machines serveurs ne s'adaptent pas à d'autres contextes d'exécution. Leur développement sous forme d'objet notoire empêche l
APA, Harvard, Vancouver, ISO, and other styles
36

Parot, Patrick. "Mecanisation de la reutilisation de composants logiciels : approches et outils." Orléans, 1995. http://www.theses.fr/1995ORLE2057.

Full text
Abstract:
Les developpements de systemes d'information complexes ont montre la necessite de concevoir et d'ecrire des programmes ou composants logiciels reutilisables. Les systemes de gestion de bibliotheques logicielles (sgbl) sont des supports destines a mecaniser la reutilisation de composants au travers d'une infrastructure de bibliotheque. Celle-ci doit etablir formellement les mecanismes de composition et de recherche des elements traites. Les composants sont decrits par un ensemble de facettes exprimant chacune une classe de specifications dans une semantique particuliere. La recherche est l'oper
APA, Harvard, Vancouver, ISO, and other styles
37

Navas, Juan. "Une infrastructure pour l'optimisation de systèmes embarqués évolutifs à base de composants logiciels." Phd thesis, Université de Bretagne occidentale - Brest, 2011. http://tel.archives-ouvertes.fr/tel-00624826.

Full text
Abstract:
Concernant la partie logicielle des systèmes embarqués, on constate le besoin d'un modèle de la structuration du logiciel qui facilite le processus de développement, la capacité de faire évoluer le comportement du système lors de son exécution, afin de s'adapter aux changements de son environnement, et la prise en compte des limitations des ressources physiques des plates-formes d'exécution. L'utilisation de composants logiciels est une approche de conception qui, via l'abstraction des détails techniques, facilite la gestion de la complexité du logiciel. La question que nous nous posons est: c
APA, Harvard, Vancouver, ISO, and other styles
38

David, Pierre-Charles. "Développement de composants Fractal adaptatifs : un langage dédié à l'aspect d'adaptation." Phd thesis, Université de Nantes, 2005. http://tel.archives-ouvertes.fr/tel-00659076.

Full text
Abstract:
Les contextes toujours plus variés et dynamiques dans lesquels les logiciels actuels s'exécutent leurs imposent de s'adapter de façon autonome à ces changements. L'objectif de cette thèse est de faciliter le développement de telles applications adaptatives, en considérant l'adaptation comme un aspect qui doit être développé séparément du reste de l'application a fin de pouvoir y être intégré et modifié dynamiquement. Pour cela nous proposons Safran, une extension du modèle de composants Fractal permettant d'associer dynamiquement des politiques d'adaptation aux composants d'une application. Ce
APA, Harvard, Vancouver, ISO, and other styles
39

Belguidoum, Meriem. "Conception d'une infrastructure pour un déploiement sûr et flexible des composants logiciels." Télécom Bretagne, 2008. http://www.theses.fr/2008TELB0060.

Full text
Abstract:
Le déploiement de logiciels est une tâche complexe car elle nécessite la réalisation de nombreuses actions ayant de fortes contraintes de dépendance. Il recouvre toutes les activités qui composent le cycle de vie du logiciel depuis son développement jusqu’à son utilisation. Dans le cadre de ce travail, nous nous intéressons aux activités d’installation, de désinstallation et de mise à jour. En parallèle, les applications deviennent de plus en plus complexes, ce qui provoque une explosion de leur taille. Pour faciliter leur gestion et leur réutilisation, elles sont représentées par des collecti
APA, Harvard, Vancouver, ISO, and other styles
40

Raclet, Jean-Baptiste. "Quotient de spécifications pour la réutilisation de composants." Rennes 1, 2007. ftp://ftp.irisa.fr/techreports/theses/2007/raclet.pdf.

Full text
Abstract:
Nous étudions la réutilisation d'un composant à un niveau comportemental plutôt qu’au niveau de sa signature grâce à une opération de quotient de spécifications. Partant des spécifications des comportements du composant à réutiliser et du système global désiré, cette opération calcule la spécification résiduelle caractérisant les systèmes qui, lorsqu'ils sont composés avec la composant de départ, satisfont la spécification globale. Nous définissons le quotient des spécifications modales lorsque la composition est le produit synchrone. Ce travail est étendu aux spécifications à ensembles d'acce
APA, Harvard, Vancouver, ISO, and other styles
41

Matougui, Selma. "Proposition d'un processus de réification d'abstraction de communication comme un connecteur associé à des générateurs." Phd thesis, Université Rennes 1, 2005. http://tel.archives-ouvertes.fr/tel-00012036.

Full text
Abstract:
Les approches de conception et de programmation à base de composants et les architectures logicielles séparent les composants de leurs interconnexions. Ces dernières, souvent appelées connecteurs, possèdent des définitions diverses et contradictoires dans la communauté. Le but de cette thèse est de clarifier le concept de connecteur et de proposer un processus pour son implémentation sous la forme d'un ensemble de générateurs. Ainsi, nous définissons un connecteur comme un élément d'architecture qui évolue et se concrétise durant son cycle de vie. Nous discutons en détails les différents conce
APA, Harvard, Vancouver, ISO, and other styles
42

Irfan, Muhammad Naeem. "Analyse et optimisation d'algorithmes pour l'inférence de modèles de composants logiciels." Phd thesis, Université de Grenoble, 2012. http://tel.archives-ouvertes.fr/tel-00767894.

Full text
Abstract:
Les Components-Off-The-Shelf (COTS) sont utilisés pour le développement rapide et efficace de logiciels tout en limitant le coût. Il est important de tester le fonctionnement des composants dans le nouvel environnement. Pour les logiciels tiers,le code source des composants, les spécifications et les modèles complets ne sont pas disponibles. Dans la littérature de tels systèmes sont appelés composants "boîte noire". Nous pouvons vérifier leur fonctionnement avec des tests en boîte noire tels que le test de non-régression, le test aléatoire ou le test à partir de modèles. Pour ce dernier, un mo
APA, Harvard, Vancouver, ISO, and other styles
43

Macedo, de Amorim Karine. "Modélisation d'aspects qualité de service en UML : application aux composants logiciels." Rennes 1, 2004. http://www.theses.fr/2004REN10065.

Full text
Abstract:
Aujourd'hui, le choix d'un composant se porte sur les services qu'il offre mais aussi et surtout pour sa qualité de réalisation qui est définie par les propriétés extra-fonctionnelles du composant, appelées aussi propriétés de qualité de service. Le concept de contrat de qualité de service va constituer le concept fondamental autour duquel vont s'articuler les solutions proposées. Les contrats spécifient les droits et les obligations entre un client et un fournisseur de service. La notion de contrat va permettre à l'application d'avoir un retour d'informations et de pouvoir ainsi réagir sur so
APA, Harvard, Vancouver, ISO, and other styles
44

Navas, Juan F. "Une infrastructure pour l'optimisation de systèmes embarqués évolutifs à base de composants logiciels." Brest, 2011. http://www.theses.fr/2011BRES2013.

Full text
Abstract:
Concernant la partie logicielle des systèmes embarqués, on constate le besoin d’un modèle de la structuration du logiciel qui facilite le processus de développement, la capacité de faire évoluer le comportement du système lors de son exécution, afin de s’adapter aux changements de son environnement, et la prise en compte des limitations des ressources physiques des plates-formes d’exécution. L’utilisation de composants logiciels est une approche de conception qui, via l'abstraction des détails techniques, facilite la gestion de la complexité du logiciel. La question que nous nous posons est :
APA, Harvard, Vancouver, ISO, and other styles
45

Bobeff, Gustavo. "Spécialisation de composants." Phd thesis, Université de Nantes, 2006. http://tel.archives-ouvertes.fr/tel-00484948.

Full text
Abstract:
La programmation à base de composants facilite l'encapsulation de logiciel générique qui peut ainsi être réutilisé dans différents contextes d'utilisation. Un composant est spécifié à partir d'une implémentation et d'une interface. Cette interface, utilisée pour la composition, peut être adaptée par le consommateur du composant. Les modèles existants ne permettent que l'adaptation au niveau de l'interface alors que leur implémentation reste inchangée (boîte noire), les applications résultantes conservent le degré de généralité des composants constituants. Pour aller au-delà de ces modèles, nou
APA, Harvard, Vancouver, ISO, and other styles
46

Hoareau, Didier. "Composants ubiquitaires pour réseaux dynamiques." Phd thesis, Université de Bretagne Sud, 2007. http://tel.archives-ouvertes.fr/tel-00516907.

Full text
Abstract:
On assiste depuis quelques années à l'émergence de réseaux de machines, qualifiés de dynamiques, qui ne sont plus limités à une interconnexion de stations de travail définissant un réseau stable. Ces plates-formes intègrent de plus en plus des équipements mobiles et à faibles ressources. L'exploitation effective de ces éseaux dynamiques constitue encore un défi. Du fait de la volatilité des équipements et de leur hétérogénéité, on ne peut avoir une connaissance a priori de toutes les ressources logicielles et matérielles qui sont disponibles dans ces réseaux. De plus, la connectivité entre les
APA, Harvard, Vancouver, ISO, and other styles
47

Pessemier, Nicolas. "Unification des approches par aspects et à composants." Lille 1, 2007. https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/2007/50376-2007-Pessemier.pdf.

Full text
Abstract:
Cette thèse adresse le rapprochement de deux paradigmes mettant en oeuvre le principe de séparation des préoccupations en ingénierie logicielle: les approches par aspects et les approches à composants. Ces différents types d'approche constituent un enjeu majeur pour le développement d'intergiciels adaptatifs et à large échelle et se positionnent aux limites de l'approche par objets. Les aspects peuvent apporter aux composants logiciels un support pour les propriétés transverses d'un système à base de composants. Réciproquement, les composants apportent aux aspects des propriétés structurantes,
APA, Harvard, Vancouver, ISO, and other styles
48

Prada, Rojas Carlos Hernan. "Une approche à base de composants logiciels pour l'observation de systèmes embarqués." Phd thesis, Université de Grenoble, 2011. http://tel.archives-ouvertes.fr/tel-00621143.

Full text
Abstract:
À l'heure actuelle, les dispositifs embarqués regroupent une grande variété d'applications, ayant des fonctionnalités complexes et demandant une puissance de calcul de plus en plus importante. Ils évoluent actuellement de systèmes multiprocesseur sur puce vers des architectures many-core et posent de nouveaux défis au développement de logiciel embarqué. En effet, Il a classiquement été guidé par les performances et donc par les besoins spécifiques des plates-formes. Or, cette approche s'avère trop couteuse avec les nouvelles architectures matérielles et leurs évolutions rapprochées. Actuelleme
APA, Harvard, Vancouver, ISO, and other styles
49

Bastide, Gautier. "Scorpio : une Approche d'Adaptation Structurelle de Composants Logiciels - Application aux Environnements Ubiquitaires." Phd thesis, Université de Nantes, 2007. http://tel.archives-ouvertes.fr/tel-00488132.

Full text
Abstract:
La réutilisation à grande échelle de composants logiciels se révèle être un challenge pour la conception de nouvelles applications. Dans la grande majorité des cas, pour être intégrés à une application, les composants disponibles ont besoin d'être adaptés afin de faire face à la multiplicité des environnements de déploiement dotés de caractéristiques variables. Ainsi, pour éviter le redéveloppement de nouveaux composants et favoriser la réutilisation, de nombreuses approches ont proposé des techniques permettant d'adapter le comportement de composants existants. Cependant, adapter le comporteme
APA, Harvard, Vancouver, ISO, and other styles
50

Pichon, Vincent. "Contribution à la conception à base de composants logiciels d'applications scientifiques parallèles." Phd thesis, Ecole normale supérieure de lyon - ENS LYON, 2012. http://tel.archives-ouvertes.fr/tel-00776371.

Full text
Abstract:
La conception d'applications scientifiques à base de couplage de code est une tâche complexe car elle demande de concilier une facilité de programmation et une obtention de haute performance. En outre, les ressources matérielles (supercalculateurs, grappes de calcul, grilles) permettant leur exécution forment un ensemble hétérogène en constante évolution. Les modèles à base de composants logiciels forment une piste prometteuse pour gérer ces deux sources de complexité car ils permettent d'exprimer les interactions entre les différents constituants d'une application tout en offrant des possibil
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the bibliographies on the topic 'Composants logiciels' for other source types:
Journal articles Books
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!

To the bibliography