Gotowe bibliografie tematyczne / Génération de logiciel / Rozprawy doktorskie
Kliknij ten link, aby zobaczyć inne rodzaje publikacji na ten temat: Génération de logiciel.

Rozprawy doktorskie na temat „Génération de logiciel”

Autor: Grafiati
Data publikacji: 7 września 2024
Data aktualizacji: 31 lipca 2025

Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych

Wybierz rodzaj źródła:

Sprawdź 50 najlepszych rozpraw doktorskich naukowych na temat „Génération de logiciel”.

Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.

Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.

Przeglądaj rozprawy doktorskie z różnych dziedzin i twórz odpowiednie bibliografie.

1

Villeneuve, D. "Logiciel de génération de colonnes." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2000. http://www.collectionscanada.ca/obj/s4/f2/dsk2/ftp02/NQ53547.pdf.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
2

Chevalley, Philippe. "Approche statistique pour le test de logiciels critiques orientés-objet : expérimentation sur un logiciel avionique." École nationale supérieure de l'aéronautique et de l'espace (Toulouse ; 1972-2007), 2001. http://www.theses.fr/2001ESAE0018.

Pełny tekst źródła
Streszczenie:
Les travaux présentés dans ce mémoire ont pour objectif de définir une stratégie appropriée pour le test de logiciels critiques orientés-objet. La stratégie de test que nous préconisons s'appuie sur la complémentarité de données de test statistique et déterministe. Les entrées de test statistiques sont générées automatiquement à partir de l'information présente dans les diagrammes d'état UML; en complément, les entrées de test déterministes ciblent des points singuliers du domaine d'entrée. Cette stratégie mixte s'intègre dans un environnement commercial de modélisation (Rose RealTime) permett
Style APA, Harvard, Vancouver, ISO itp.
3

Bertault, François. "Génération et tracé de structures décomposables." Nancy 1, 1997. http://www.theses.fr/1997NAN10297.

Pełny tekst źródła
Streszczenie:
L'objet de cette thèse est la réalisation d'algorithmes et d'outils d'aide à l'étude des propriétés de structures combinatoires particulières, les structures décomposables. Nous nous intéressons pour cela à la génération aléatoire et systématique de structures décomposables, puis à leur représentation graphique automatique. Ce travail se situe à la frontière entre calcul mathématique et visualisation. Les structures décomposables sont les structures combinatoires qu'il est possible de former récursivement en utilisant des constructeurs aux propriétés particulières. Le point de vue est similair
Style APA, Harvard, Vancouver, ISO itp.
4

Nebut, Clémentine. "Génération automatique de tests à partir des exigences et application aux lignes de produits logicielles." Rennes 1, 2004. http://www.theses.fr/2004REN10099.

Pełny tekst źródła
Streszczenie:
La contribution de cette thèse est une approche de génération automatique de tests fonctionnels à partir des exigences, prenant en compte la maîtrise du coût de test, l'adaptabilité au contexte des lignes de produits, la compatibilité avec les pratiques industrielles et la complexité des logiciels réels. Notre approche se base sur un modèle de cas d'utilisation étendus, relié à un analyseur de langage naturel contrôlé en amont et un générateur de tests en aval. Le langage contrôlé rapproche la méthode des pratiques industrielles, et formalise assez les exigences pour les transformer en un modè
Style APA, Harvard, Vancouver, ISO itp.
5

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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
6

Ribereau, Dominique. "Génération d'un logiciel de simulation de la combustion d'un bloc de propergol solide." Bordeaux 1, 1988. http://www.theses.fr/1988BOR10594.

Pełny tekst źródła
Streszczenie:
Etablissement d'un code d'application industrielle qui simule en 3d la combustion de chargements de propergol solide. La modelisation de la regression de surface, a vitesse constante ou variable, est realisee grace a un systeme hyperbolique qui utilise les normales au front de flamme. Utilisation de la conception assistee par ordinateur pour construire et visualiser un maillage surfacique tridimensionnel, sur lequel s'appuie la resolution numerique. Etude d'un autre modele pour simuler la combustion de blocs a fils
Style APA, Harvard, Vancouver, ISO itp.
7

Belhaouari, Hakim. "Une approche intégrée pour la conception par contrat : vérification statique / dynamique et génération automatique de test." Paris 6, 2010. http://www.theses.fr/2010PA066116.

Pełny tekst źródła
Streszczenie:
Les méthodes formelles légères facilitent l'introduction des outils formels en autorisant une spécification partielle du logiciel. En l'occurrence la granularité des vérifications dépend de la quantité d'information spécifiée. La fusion de ces méthodes semi-formelles (en particulier de la conception par contrat) et du test logiciel conduit à la notion de test basé sur les modèles (MBT). Ainsi, la découverte d'un oracle et la production des données de test peut être automatisée. Dans la génération automatique de tests, il est important de considérer le critère de qualité des tests produits. Cet
Style APA, Harvard, Vancouver, ISO itp.
8

Maïga, Cheick Ismaël. "Génération de squelettes des contrats de classes et des tests unitaires en Java." Mémoire, Université de Sherbrooke, 2016. http://hdl.handle.net/11143/9473.

Pełny tekst źródła
Streszczenie:
Le logiciel est devenu omniprésent dans nos vies de sorte qu'on le retrouve dans plusieurs domaines de la vie courante. Cependant cette omniprésence, n'est pas sans conséquences. Les bogues de logiciel peuvent causer de vrais désastres, économiques, écologiques voire sanitaires. Vu la forte omniprésente du logiciel dans nos vies, le fonctionnement de nos sociétés dépend fortement de sa qualité. La programmation par contrat a pour but de produire des logiciels fiables, c'est-à-dire corrects et robustes. En effet, ce paradigme de programmation vise à introduire des assertions qui sont des
Style APA, Harvard, Vancouver, ISO itp.
9

Jouve, Wilfried. "Approche déclarative pour la génération de canevas logiciels dédiés à l'informatique ubiquitaire." Phd thesis, Université Sciences et Technologies - Bordeaux I, 2009. http://tel.archives-ouvertes.fr/tel-00402605.

Pełny tekst źródła
Streszczenie:
Les applications ubiquitaires évoluent dans des environnements plus hétérogènes et plus dynamiques que ceux des systèmes distribués traditionnels. La criticité des domaines applicatifs impliqués et la vocation non intrusive de l'informatique ubiquitaire exigent de garantir la robustesse des applications avant et pendant leur déploiement en situation réelle. Les solutions proposant de gérer la dynamicité des environnements ubiquitaires offrent des canevas de programmation dont la généricité ne permet pas de garantir la fiabilité des applications développées. D'autres solutions permettent davant
Style APA, Harvard, Vancouver, ISO itp.
10

Atat, Youssef. "Conception de haut niveau des MPSoCs à partir d'une spécification Simulink : passerelle entre la conception au niveau système et la génération d'architecture." Grenoble INPG, 2007. http://www.theses.fr/2007INPG0047.

Pełny tekst źródła
Streszczenie:
La technologie de fabrication actuelle permet l’intégration d’un système multiprocesseur complexe sur une seule pièce de silicium (MPSoC pour Multiprocessor System-on-Chip). Une façon de maîtriser la complexité croissante de ces systèmes est d’augmenter le niveau d’abstraction et d’aborder la conception au niveau système. Cependant, l’augmentation du niveau d’abstraction peut engendrer un fossé entre les concepts au niveau système et ceux utilisés pour l’implémentation de l’architecture Matériel/Logiciel du MPSoC. L’objectif de cette thèse est de combler le gap entre les deux niveaux d’abstrac
Style APA, Harvard, Vancouver, ISO itp.
11

Fiandino, Maxime. "Exploration d'architectures basée sur la génération automatique de plates-formes matérielles et le portage rapide du logiciel." Grenoble INPG, 2007. http://www.theses.fr/2007INPG0053.

Pełny tekst źródła
Streszczenie:
L’approche proposée se déroule selon un flot itératif en trois étapes. L’une concerne la modification et le développement rapide du modèle exécutable de l’architecture. Une autre vise le portage rapide des logiciels. La troisième est l’exploration d’architecture logicielle et matérielle. Un outil a été développé pour créer et modifier rapidement un HMPSoC à partir de sous-systèmes de traitement paramétrables. Une méthode permet d’adapter le logiciel sur une architecture, elle inclut: paramétrer manuellement le logiciel applicatif, l’extraction automatique des caractéristiques de l’architecture
Style APA, Harvard, Vancouver, ISO itp.
12

Megzari, Karim. "Refiner : environnement logiciel pour le raffinement d'architectures logicielles fondé sur une logique de réécriture." Chambéry, 2004. http://www.theses.fr/2004CHAMS039.

Pełny tekst źródła
Streszczenie:
Nous sommes interessés dans cette thèse aux problèmes liés à l'insuffisance de support informatique pour le raffinement d'architectures logicielles. Le peu de langages de description d'architectures (ADL) comme SADL et Rapide qui abordent ces problèmes le font de manière très restreinte. Notre contribution consiste en la fourniture d'un environnement logiciel que nous avons nommé Refiner, fondé sur la logique de réécriture. Le choix de cette dernière est motivé par le fait qu'elle soit bien adapté à la description de systèmes concurrents, leur raffinement par le mécnisme de réécriture et égale
Style APA, Harvard, Vancouver, ISO itp.
13

Du, Bousquet Lydie. "Contributions à l'automatisation raisonnée de différents processus du test logiciel." Habilitation à diriger des recherches, Université de Grenoble, 2010. http://tel.archives-ouvertes.fr/tel-01005528.

Pełny tekst źródła
Streszczenie:
Le test constitue aujourd'hui la principale activité de validation d'un logiciel. Dans un contexte où l'on cherche à réduire les coûts et augmenter la qualité, il est essentiel de proposer des solutions de test automatisées et de veiller à la productivité des ingénieurs de test. Les travaux présentés dans ce mémoire ont l'ambition de contribuer à ces objectifs. Ces travaux se déclinent selon trois axes. Le premier axe concerne la génération de tests. L'originalité du travail se situe dans l'établissement de principes pour la production combinatoire de suites de test, à partir d'expressions abs
Style APA, Harvard, Vancouver, ISO itp.
14

Warth, Valérie. "Conception et développement d'un logiciel de génération de mécanismes réactionnels d'oxydation et de combustion de substances organiques." Vandoeuvre-les-Nancy, INPL, 1999. http://www.theses.fr/1999INPL087N.

Pełny tekst źródła
Streszczenie:
Cette thèse concerne la mise au point d'un logiciel de génération de mécanismes de combustion et d'oxydation de substances organiques (alcanes, cyclanes, éthers) contenues dans les essences et les gazoles. Un des principaux objectifs de ce travail est la prédiction des émissions de polluants par les moteurs à combustion interne. Le logiciel comporte les éléments suivants :une base de données de réactions de petites espèces (Co-C2), un générateur de mécanismes primaires exhaustifs, un générateur de mécanismes secondaires globalisés et enfin, deux générateurs de données, l'un thermochimiques et
Style APA, Harvard, Vancouver, ISO itp.
15

Krimm, Jean-Pierre. "Application des ordres partiels à la génération compositionnelle de systèmes asynchrones." Université Joseph Fourier (Grenoble), 2000. http://www.theses.fr/2000GRE10243.

Pełny tekst źródła
Streszczenie:
La verification formelle permet de garantir qu'un programme verifie un ensemble de proprietes. Pour ce faire, une methode attractive consiste a modeliser son comportement par un systeme de transition etiquetees (ste), puis a evaluer les proprietes sur ce ste par exploration exhaustive. L'interet de cette approche par model-checking est d'etre automatisable dans le cas fini, mais son inconvenient reste la taille du ste, souvent redhibitoire pour des programmes complexes. Pour palier a ce probleme, une solution possible est de considerer un ste reduit qui preserve les proprietes a verifier. Une
Style APA, Harvard, Vancouver, ISO itp.
16

Gotlieb, Arnaud. "Contributions à la génération de tests à base de contraintes." Habilitation à diriger des recherches, Université Européenne de Bretagne, 2011. http://tel.archives-ouvertes.fr/tel-00699260.

Pełny tekst źródła
Streszczenie:
Ces dernières années, les recherches en matière de Test Logiciel ont conduit au développement de techniques de résolution de contraintes dédiées, dans ce qui est appelé ''le test à base de contraintes''. Notre approche dans ce domaine vise à explorer l'apport de la Programmation par Contraintes à la génération automatique de test pour les programmes impératifs. Nous nous sommes intéressés à la résolution de problèmes combinatoires difficiles issus de la génération de données de test, en développant des techniques de propagation de contraintes et de filtrage, adaptées au traitement des construc
Style APA, Harvard, Vancouver, ISO itp.
17

Bounar, Boualem. "Génération automatique de programmes sur une base de données en réseau : couplage PROLOG-Base de données en réseau." Lyon 1, 1986. http://www.theses.fr/1986LYO11703.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
18

Chaisemartin, Philippe. "Contribution à la génération automatique de plans de masse." Phd thesis, Grenoble 1, 1986. http://tel.archives-ouvertes.fr/tel-00322531.

Pełny tekst źródła
Streszczenie:
Cette thèse présente l'introduction de méthodes nouvelles dans le domaine de la conception assistée par ordinateur de circuits à haute intégration. A partir de la description d'un ensemble d'individus par la liste de leurs corrélations (ou distances) deux à deux, l'analyse factorielle de données se propose d'en fournir une représentation planaire. Le but de cette thèse est de décrire le cheminement parcouru pour pouvoir utiliser ces méthodes connues depuis longtemps des statisticiens, dans le domaine de la génération de plans de masse. Ainsi, plusieurs idées originales permettant l'utilisation
Style APA, Harvard, Vancouver, ISO itp.
19

Kangoye, Sékou. "Elaboration d'une approche de vérification et de validation de logiciel embarqué automobile, basée sur la génération automatique de cas de test." Thesis, Angers, 2016. http://www.theses.fr/2016ANGE0017/document.

Pełny tekst źródła
Streszczenie:
Un système embarqué est un système électronique et informatique autonome dédié à une tâche précise. Dans le secteur de l’automobile, le nombre de systèmes embarqués dans les voitures a considérablement augmenté au cours de ces dernières années et va certainement continuer à augmenter. Ces systèmes sont dédiés entre autres, à la sécurité, au confort de conduite,et à l’assistance à la conduite. Cette croissance des systèmes est associée avec une croissance en taille des logiciels qui les contrôlent. En conséquence, leur gestion(système et logiciel) devient de plus en plus complexe et problématiq
Style APA, Harvard, Vancouver, ISO itp.
20

Lbath, Ahmed. "A. I. G. L. E. : un environnement visuel pour la conception et la génération automatique d'applications géomatiques." Lyon, INSA, 1997. http://www.theses.fr/1997ISAL0048.

Pełny tekst źródła
Streszczenie:
Les Systèmes d’Information possède des domaines d’application très variés et son souvent difficilement personnalisables pour un utilisateur final non expert. De plus les données gérées dans les SIG peuvent être de nature complexe (vecteur ou rasteur). Le modèles mental de l’utilisateur final n’est pas pris en compte ni dans les langages d’interrogation existants, ni dans les méthodes de conception rencontrées. Face à ces problèmes, les principaux SIG rencontrés offrent des environnements propriétaires et des solutions « clefs en main ». Aussi a-t-il été nécessaire de mettre en œuvre un atelier
Style APA, Harvard, Vancouver, ISO itp.
21

Gauthier, Lovic. "Génération de système d'exploitation pour le ciblage de logiciel multitâche sur des architectures multiprocesseurs hétérogènes dans le cadre des systèmes embarqués spécifiques." Grenoble INPG, 2001. http://www.theses.fr/2001INPG0132.

Pełny tekst źródła
Streszczenie:
La part du logiciel est de plus en plus importante dans les circuits électroniques spécifiques. Ce logiciel, complexe, doit pouvoir être décrit en faisant abstraction du matériel : il est alors nécessaire de fournir une couche logicielle faisant l'interface entre le logiciel de haut niveau et l'architecture spécifique. Cette étape, appelée "ciblage logiciel" est une étape fastidieuse qu'il serait intéressant d'automatiser. Ce mémoire propose de réaliser automatiquement cette étape en générant des systèmes d'exploitation spécifiques à l'architecture et à l'application logicielle. L'outil de cib
Style APA, Harvard, Vancouver, ISO itp.
22

Tka, Mouna. "Génération automatique de test pour les contrôleurs logiques programmables synchrones." Thesis, Université Grenoble Alpes (ComUE), 2016. http://www.theses.fr/2016GREAM020/document.

Pełny tekst źródła
Streszczenie:
Ce travail de thèse, effectué dans la cadre du projet FUI Minalogic Bluesky, porte sur le test fonctionnel automatisé d'une classe particulière de contrôleurs logiques programmables (em4) produite par InnoVista Sensors. Ce sont des systèmes synchrones qui sont programmés au moyen d'un environnement de développement intégré (IDE). Les personnes qui utilisent et programment ces contrôleurs ne sont pas nécessairement des programmeurs experts. Le développement des applications logicielles doit être par conséquent simple et intuitif. Cela devrait également être le cas pour les tests. Même si les ap
Style APA, Harvard, Vancouver, ISO itp.
23

Valderrama, Carlos. "Prototype virtuel pour la génération des architectures mixtes logicielles-matérielles." Grenoble INPG, 1998. http://www.theses.fr/1998INPG0121.

Pełny tekst źródła
Streszczenie:
L'objectif de ce travail de thèse est le développement d'une méthodologie pour la génération rapide d'architectures flexibles et modulaires pour les systèmes distribués. Cette approche, appelé aussi "prototypage virtuel", est une étape essentielle dans le processus de conception conjointe des systèmes mixtes logiciel/matériel. Les approches de recherche dans ce domaine sont motivées par le besoin urgent de prototypes pour valider la spécification, par la disponibilité des outils et des environnements de synthèse pour les parties logicielles et matérielles. Le prototypage virtuel permet à la fo
Style APA, Harvard, Vancouver, ISO itp.
24

Fellahi, Mohammed. "Des réseaux de processus cyclo-statiques à la génération de code pour le pipeline multi-dimensionnel." Phd thesis, Université Paris Sud - Paris XI, 2011. http://tel.archives-ouvertes.fr/tel-00683224.

Pełny tekst źródła
Streszczenie:
Les applications de flux de données sont des cibles importantes de l'optimisation de programme en raison de leur haute exigence de calcul et la diversité de leurs domaines d'application: communication, systèmes embarqués, multimédia, etc. L'un des problèmes les plus importants et difficiles dans la conception des langages de programmation destinés à ce genre d'applications est comment les ordonnancer à grain fin à fin d'exploiter les ressources disponibles de la machine.Dans cette thèse on propose un "framework" pour l'ordonnancement à grain fin des applications de flux de données et des boucl
Style APA, Harvard, Vancouver, ISO itp.
25

Rémy, Pascal. "Conception et réalisation d'un processeur pour la génération d'un modèle bond-graph à partir de différentes descriptions de systèmes physiques sous le logiciel Archer." Lille 1, 1994. http://www.theses.fr/1994LIL10142.

Pełny tekst źródła
Streszczenie:
La modelisation est une etape importante dans l'etude des systemes physiques, prealablement aux phases d'analyse et de simulation. La technique bond-graph est un outil performant qui fournit un modele unifie quel que soit le domaine physique auquel le systeme appartient. Cela permet de coupler des sous-systemes de domaines physiques differents. Le logiciel archer, base sur la methodologie bond-graph a pour objectif d'aider un utilisateur bond-graphiste dans son approche de modelisation et d'analyse et d'eviter a un non-bond-graphiste l'apprentissage des principales taches de l'outil bond-graph
Style APA, Harvard, Vancouver, ISO itp.
26

Mischler, Éric. "Système informatique pour la génération de séquences RMN : application aux mesures d'auto-diffusion translationnelle par gradients de champ radiofréquence." Nancy 1, 1996. http://www.theses.fr/1996NAN10318.

Pełny tekst źródła
Streszczenie:
Le présent mémoire comporte deux volets : le premier a trait à l'informatique et à l'instrumentation tandis que le second est davantage axé sur la physicochimie avec l'étude de l'auto-diffusion translationnelle moléculaire. Le dénominateur commun de ces deux volets est la RMN (Résonance Magnétique Nucléaire). Dans une première étape, nous avons été amenés à développer sur un ordinateur de type PC le logiciel GENESIS (GENErateur de Séquences Impulsionnelles pour Spectromètre rmn) afin de nous permettre de réaliser aisément toute séquence, quelque soit son degré d'originalité ou de complexité. C
Style APA, Harvard, Vancouver, ISO itp.
27

Enard, Quentin. "Développement d'applications logicielles sûres de fonctionnement : une approche dirigée par la conception." Phd thesis, Université Sciences et Technologies - Bordeaux I, 2013. http://tel.archives-ouvertes.fr/tel-00829477.

Pełny tekst źródła
Streszczenie:
Dans de nombreux domaines tels que l'avionique, la médecine ou la domotique, les applications logicielles jouent un rôle de plus en plus important, allant jusqu'à être critique pour leur environnement. Afin de pouvoir faire confiance à ces applications, leur développement est contraint par des exigences de sûreté de fonctionnement. En effet il est nécessaire de démontrer que ces exigences de haut-niveau sont prises en compte tout au long du cycle de développement et que des solutions concrètessont mises en œuvre pour parvenir à les respecter. De telles contraintes rendent le développement d'ap
Style APA, Harvard, Vancouver, ISO itp.
28

Jonquet, Clement. "Génération dynamique de service : Interactions entre agents pour l'échange de service Grid." Phd thesis, Université Montpellier II - Sciences et Techniques du Languedoc, 2006. http://tel.archives-ouvertes.fr/tel-00115389.

Pełny tekst źródła
Streszczenie:
L'objet de cette thèse est la modélisation de l'échange dynamique de services. La notion de service joue désormais un rôle clé dans le développement, la diffusion et l'implémentation des systèmes distribués. Cette thèse propose une réflexion sur la notion de service et introduit le concept de Génération Dynamique de Service (GDS) comme une approche différente de l'échange de service en informatique, dans laquelle des services sont dynamiquement construits, fournis et utilisés par des agents (humains ou artificiels). Ces échanges de services sont basés sur des conversations qui ont lieu au sein
Style APA, Harvard, Vancouver, ISO itp.
29

Genestier, Richard. "Vérification formelle de programmes de génération de données structurées." Thesis, Besançon, 2016. http://www.theses.fr/2016BESA2041/document.

Pełny tekst źródła
Streszczenie:
Le problème général de la preuve de propriétés de programmes impératifs est indécidable. Pour deslangages de programmation et de propriétés plus restrictifs, des sous-problèmes décidables sontconnus. En pratique, grâce à des heuristiques, les outils de preuve de programmes automatisent despreuves qui sortent du cadre théorique de ces sous-problèmes décidables connus. Nous illustronscette réussite pratique en construisant un catalogue de preuves, pour des programmes et despropriétés de nature similaire et de complexité croissante. Ces programmes sont principalementdes générateurs de cartes comb
Style APA, Harvard, Vancouver, ISO itp.
30

Varet, Antoine. "Conception, mise en oeuvre et évaluation d'un routeur embarqué pour l'avionique de nouvelle génération." Phd thesis, INSA de Toulouse, 2013. http://tel.archives-ouvertes.fr/tel-00932283.

Pełny tekst źródła
Streszczenie:
Le contexte aéronautique a depuis plusieurs années mis en évidence le besoin croissant de technologies de sécurité permettant d'éviter des utilisations malveillantes des matériels ou services installés à bord des avions. La plupart des approches de sécurisation 'avion' se concentre sur des méthodes et techniques permettant de sécuriser les échanges au sein de l'avion. Elles sont cependant inadaptées à la sécurisation dans les cas d'interconnexion des réseaux avioniques avec le reste des réseaux de communication (réseau Internet par exemple). Le problème abordé dans ce travail de thèse vise don
Style APA, Harvard, Vancouver, ISO itp.
31

Nicolas, Ferry. "Formalisation des modèles de la méthode MACAO et réalisation d'un outil de génie logiciel pour la création d'interfaces homme-machine." Phd thesis, Université Paul Sabatier - Toulouse III, 2008. http://tel.archives-ouvertes.fr/tel-00647482.

Pełny tekst źródła
Streszczenie:
Cette thèse s'inscrit dans le domaine de l'ingénierie des Interfaces Homme-Machine. Elle a pour thème la conception et la réalisation des modèles d'IHM de la méthode MACAO. Nous étudions l'axe de création des interfaces utilisateur en différenciant trois niveaux de la conception à la réalisation. L'approche adoptée s'appuie sur une analyse théorique et sur des cas d'expériences pratiques des modèles. Cette démarche entre dans le cadre très en vogue des modèles et des transformations de modèles. Cette étude nous conduit à distinguer les étapes de conception d'une IHM en milieu industriel et à m
Style APA, Harvard, Vancouver, ISO itp.
32

Enard, Quentin. "Développement d'applications logicielles sûres de fonctionnement: une approche dirigee par la conception." Phd thesis, Université Sciences et Technologies - Bordeaux I, 2013. http://tel.archives-ouvertes.fr/tel-00839298.

Pełny tekst źródła
Streszczenie:
Dans de nombreux domaines tels que l'avionique, la médecine ou la domotique, les applications logicielles jouent un rôle de plus en plus important, allant jusqu'à être critique pour leur environnement. Afin de pouvoir faire confiance à ces applications, leur développement est contraint par des exigences de sûreté de fonctionnement. En effet il est nécessaire de démontrer que ces exigences de haut-niveau sont prises en compte tout au long du cycle de développement et que des solutions concrètes sont mises en oeuvre pour parvenir à les respecter. De telles contraintes rendent le développement d'
Style APA, Harvard, Vancouver, ISO itp.
33

Harik, Ramy. "Spécifications de fonctions pour un système d'aide à la génération automatique de gamme d'usinage : Application aux pièces aéronautiques de structure, prototype logiciel dans le cadre du projet RNTL USIQUICK." Phd thesis, Université Henri Poincaré - Nancy I, 2007. http://tel.archives-ouvertes.fr/tel-00173161.

Pełny tekst źródła
Streszczenie:
Notre travail de thèse se place dans le cadre du projet RNTL USIQUICK (www.usiquick.com) dont l'objet est de répondre aux besoins des industries aéronautiques dans le domaine de la fabrication de pièce de structure de complexité moyenne à forte. Il s'agit d'assurer l'automatisation de l'élaboration des posages, de la gamme et des programmes d'usinage de ce type de pièce. Notre contribution se trouve dans l'étude du Transformateur qui est le module de transformation de la géométrie pièce en une géométrie adaptée à la fabrication. Ce Transformateur doit fournir les informations nécessaires aux 2
Style APA, Harvard, Vancouver, ISO itp.
34

Harik, Ramy Farid. "Spécifications de fonctions pour un système d'aide à la génération automatique de gamme d'usinage : application aux pièces aéronautiques de structure, prototype logiciel dans le cadre du projet RNTL USIQUICK." Nancy 1, 2007. http://docnum.univ-lorraine.fr/public/SCD_T_2007_0077_HARIK.pdf.

Pełny tekst źródła
Streszczenie:
Notre travail de thèse se place dans le cadre du projet RNTL USIQUICK (www. Usiquick. Com) dont l’objet est de répondre aux besoins des industries aéronautiques dans le domaine de la fabrication de pièces de structure de complexité moyenne à forte. Il s’agit d’assurer l’automatisation de l’élaboration des posages, de la gamme et des programmes d’usinage. Notre contribution se trouve dans l’étude du Transformateur qui est le module d’enrichissement de la géométrie pièce en une géométrie adaptée à la fabrication. Ce Transformateur doit fournir les informations nécessaires aux 2 modules avales d’
Style APA, Harvard, Vancouver, ISO itp.
35

Bedin, França Ricardo. "Processus et outils qualifiables pour le développement de systèmes critiques certifiés en avionique basés sur la génération automatique de code." Thesis, Toulouse, INPT, 2012. http://www.theses.fr/2012INPT0028.

Pełny tekst źródła
Streszczenie:
Le développement des logiciels avioniques les plus critiques, comme les commandes de vol électriques, présentent plusieurs contraintes qui peuvent être quasiment contradictoires – par exemple, performance et sûreté – et toutes ces contraintes doivent être respectées simultanément. L'objective de cette thèse est d'étudier et de proposer des évolutions dans le cycle de développement des logiciels de commande de vol chez Airbus afin d'améliorer leur performance, tout en respectant les contraintes industrielles existantes et en conservant des processus de vérification au moins aussi sûrs que ceux
Style APA, Harvard, Vancouver, ISO itp.
36

Broult, Christophe. "LPV, une nouvelle technologie de validation du logiciel basée sur la programmation linéaire : application informelle "en éclaireur" à la génération de scénarios de test non triviaux pour les cartes à microprocesseur." Caen, 1999. http://www.theses.fr/1999CAEN2074.

Pełny tekst źródła
Streszczenie:
Avec la generalisation de leur emploi et des exigences de qualite croissantes, la validation des systemes logiciels devient problematique. Les methodes formelles sont considerees comme la solution a utiliser pour verifier les systemes dits critiques. Toutefois, sauf dans des cas tres precis, elles n'ont jusqu'a present pas ete capables de faire face a la taille et a la complexite des applications industrielles. Parallelement au debut de cette these, lpv, une nouvelle technologie de validation du logiciel basee sur la programmation lineaire, naissait a l'universite de caen et nous avons partici
Style APA, Harvard, Vancouver, ISO itp.
37

Voiron, Guillaume. "Exploration concrétisée et pertinente de systèmes d'événements abstraits en vue de la génération automatique de tests." Thesis, Bourgogne Franche-Comté, 2019. http://www.theses.fr/2019UBFCD027.

Pełny tekst źródła
Streszczenie:
Les travaux présentés dans cette thèse constituent une contribution aux méthodes de génération automatique de sous-approximations en vue de la génération de tests a` partir de modèles. Le test à partir de modèle a pour objectif de garantir la conformité d’une implémentation vis-à-vis d’un modèle, tous les deux conçus à partir des spécifications par deux équipes différentes.Dans cette thèse, nous proposons l’utilisation des techniques connues d’abstraction à partir de prédicats de modèles comportementaux qui permettent de réduire à un ensemble fini et restreint l’espace d’états manipulé. Nous p
Style APA, Harvard, Vancouver, ISO itp.
38

Benhima, Abderrahim. "Contribution à l'optimisation dynamique de mouvements de robots-manipulateurs avec génération automatique des équations du problème optimal." Poitiers, 1989. http://www.theses.fr/1989POIT2278.

Pełny tekst źródła
Streszczenie:
Developpement d'un logiciel specifique en langage fortran 77 pour l'optimisation dynamique de trajectoire de robot allant d'une position donnee a une autre fixee pendant un temps oppose. Le critere a minimiser porte sur les efforts moteurs et/ou les forces de liaison aux articulations du robot
Style APA, Harvard, Vancouver, ISO itp.
39

Cabrera, Castillos Kalou. "Génération automatique de scénarios de tests à partir de propriétés temporelles et de modèles comportementaux." Phd thesis, Université de Franche-Comté, 2013. http://tel.archives-ouvertes.fr/tel-00924485.

Pełny tekst źródła
Streszczenie:
Les travaux proposés dans cette thèse, effectuée dans le cadre du projet ANR TASCCC, présentent une technique de génération de tests à partir de modèles comportementaux en UML/OCL et de proprié- tés temporelles. Pour cela, nous décrivons un langage de propriétés temporelles inspiré des patrons de propriétés introduits par M. Dwyer et al.. Une propriété est définie comme la combinaison d'une portée, qui représente les exécutions du système dans laquelle un motif doit être satisfait. Nous associons à chaque portée et motif une sémantique à base d'automates particulier
Style APA, Harvard, Vancouver, ISO itp.
40

Moneimne, Walid. "TAO vers l'arabe : spécification d'une génération standard de l'arabe ; réalisation d'un prototype anglais-arabe à partir d'un analyseur existant." Grenoble 1, 1989. http://www.theses.fr/1989GRE10061.

Pełny tekst źródła
Streszczenie:
La these se situe dans un ensemble d'etudes linguistiques et informatiques visant a voir dans quelle mesure la methode linguistique et les outils informatiques du geta s'appliquent a la langue arabe. Apres une breve synthese des etudes anterieures en traitement automatique des langues naturelles applique a l'arabe, sont rappeles les fondements de la traduction assistee par ordinateur ainsi que les aspects theoriques et methodologiques les plus marquants de l'approche suivie au geta. Cette approche consiste essentiellement a travailler simultanement a differents niveaux d'interpretation de desc
Style APA, Harvard, Vancouver, ISO itp.
41

Dolques, Xavier. "Génération de Transformations de Modèles : une approche basée sur les treillis de Galois." Phd thesis, Université Montpellier II - Sciences et Techniques du Languedoc, 2010. http://tel.archives-ouvertes.fr/tel-00916856.

Pełny tekst źródła
Streszczenie:
La transformation de modèles est une opération fondamentale dans l'ingénierie dirigée par les modèles. Elle peut être manuelle ou automatisée, mais dans ce dernier cas elle nécessite de la part du développeur qui la conçoit la maîtrise des méta-modèles impliqués dans la transformation. La génération de transformations de modèles à partir d'exemples permet la création d'une transformation de modèle en se basant sur des exemples de modèles sources et cibles. Le fait de travailler au niveau modèle permet d'utiliser les syntaxes concrètes définies pour les méta-modèles et ne nécessite plus une maî
Style APA, Harvard, Vancouver, ISO itp.
42

Molinari, Isabelle. "Test de génération de thrombine sur ACL7000 (développement d'un programme de traitement des données sur Microsoft Excel et éléments d'analyse de l'intérêt du test dans les états d'hypercoagulabilité)." Bordeaux 2, 1999. http://www.theses.fr/1999BOR23102.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
43

Dia, Cheikh Tidiane. "Génération de modeles compacts thermiques dynamiques de composants electroniques via les algorithmes genetiques." Thesis, Paris 10, 2015. http://www.theses.fr/2015PA100172/document.

Pełny tekst źródła
Streszczenie:
La simulation détaillée au niveau carte de ces nouveaux types de packages est quasiment impossible du fait de la limitation des moyens de calculs actuels. En outre, dans la plupart des cas de conception électronique, seule l’estimation des températures en quelques points est intéressante. Une étude détaillée au niveau composant n’est pas nécessairement pertinente. Il faut donc un compromis entre faisabilité et/ou rapidité des calculs et une précision sur les paramètres importants. Une alternative est de trouver des modèles comportementaux équivalents aux modèles détaillés, capable de reproduir
Style APA, Harvard, Vancouver, ISO itp.
44

Baudon, Olivier. "Cabri-graphes : un cahier de brouillon interactif pour la théorie des graphes." Phd thesis, Université de Grenoble, 1990. http://tel.archives-ouvertes.fr/tel-00648847.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
45

Parissis, Ioannis. "Test de logiciels synchrones spécifiés en Lustre." Phd thesis, Université Joseph Fourier (Grenoble), 1996. http://tel.archives-ouvertes.fr/tel-00005010.

Pełny tekst źródła
Streszczenie:
Ce travail s'inscrit dans le cadre des méthodes formelles et des outils pour la spécification, la programmation, la vérification et la validation des logiciels réactifs à l'aide du langage synchrone Lustre. Nous avons étendu l'environnement de développement actuel de ces logiciels en lui adjoignant des outils de validation de spécifications et de test de programmes. Nous proposons une technique de construction automatique d'un simulateur aléatoire de l'environnement externe du logiciel ainsi que d'un simulateur des comportements sûrs de ce dernier. Exécutés conjointement, ces deux simulateurs
Style APA, Harvard, Vancouver, ISO itp.
46

Azem, Sadia. "Ordonnancement des systemes flexibles de production sous contraintes de disponibilite des ressources." Phd thesis, Ecole Nationale Supérieure des Mines de Saint-Etienne, 2010. http://tel.archives-ouvertes.fr/tel-00611830.

Pełny tekst źródła
Streszczenie:
La majeure partie des travaux sur les problèmes d'ordonnancement se placent dans le contexte où les ressources sont disponibles en permanence. Ce qui en réalité n'est pas toujours le cas. Nous nous plaçons dans le contexte d'indisponibilités connues ; nous nous intéressons plus particulièrement aux problèmes de type job shop avec des périodes d'indisponibilité flexibles et des tâches pouvant éventuellement être interrompues par les périodes d'indisponibilité. L'intégration de ces contraintes rend les problèmes d'ordonnancement nettement plus difficiles à résoudre. La flexibilité que nous consi
Style APA, Harvard, Vancouver, ISO itp.
47

Chevalier, Fanny. "Reconnaissance de motifs dans des graphes : heuristique et applications." Phd thesis, Université Sciences et Technologies - Bordeaux I, 2007. http://tel.archives-ouvertes.fr/tel-00286214.

Pełny tekst źródła
Streszczenie:
Cette thèse s'inscrit dans la problématique de la comparaison de graphes. Nous proposons dans la première partie de ce manuscrit plusieurs algorithmes de recherche de motifs similaires dans de grands graphes. La seconde partie de cette thèse traite de l'étude des arborescences de fichiers, structure de données pour laquelle la méthode initiale de reconnaissance de motifs a été développée. Nous présentons un modèle stochastique pour la génération aléatoire de structure arborescentes, basé sur les observations de l'étude statistique des données réelles. Enfin, nous détaillons deux adaptations de
Style APA, Harvard, Vancouver, ISO itp.
48

Tarby, Jean-Claude. "Gestion Automatique du Dialogue Homme-Machine à partir de Spécifications Conceptuelles." Phd thesis, Université des Sciences Sociales - Toulouse I, 1993. http://tel.archives-ouvertes.fr/tel-00174589.

Pełny tekst źródła
Streszczenie:
Cette thèse s'inscrit dans le domaine des Interfaces Homme-Machine (IHM). Elle s'articule autour de deux thèmes principaux qui sont la Spécification et la Gestion Automatique du Dialogue Homme-Machine.<br /><br />Le travail présenté est basé sur la méthode Diane+ conçue initialement pour la spécification du dialogue homme-machine. Diane+ repose sur la planification hiérarchique et intègre le niveau de l'utilisateur. Elle est utilisée pour spécifier la répartition des tâches entre l'homme et la machine tout en laissant une latitude décisionnelle à l'utilisateur. Cette spécification utilise un f
Style APA, Harvard, Vancouver, ISO itp.
49

Lasalle, Jonathan. "Génération automatique de tests à partir de modèles SysML pour la validation fonctionnelle de systèmes embarqués." Phd thesis, Université de Franche-Comté, 2012. http://tel.archives-ouvertes.fr/tel-00762053.

Pełny tekst źródła
Streszczenie:
Les travaux présentés dans ce mémoire proposent une méthode originale de génération automatique de tests à partir de modèles SysML pour la validation de systèmes embarqués. Un sous-ensemble du langage SysML (appelé SysML4MBT) regroupant les éléments de modélisation pris en compte dans notre approche a été défini et une stratégie de génération de tests dédiée (intitulée ComCover) a été créée. Cette stratégie, basée sur les principes du critère de couverture de modèles bien connu Def-Use, s'intéresse à la couverture des communications (envois / réceptions) au sein du système et entre le système
Style APA, Harvard, Vancouver, ISO itp.
50

Niang, Boubou Thiam. "A Model-Driven Engineering and Software Product Line Approach to Support Interoperability in Systems of Information Systems." Electronic Thesis or Diss., Lyon 2, 2024. http://www.theses.fr/2024LYO20005.

Pełny tekst źródła
Streszczenie:
Les systèmes d'information modernes requièrent une communication et une coordination sans faille entre leurs composants. Les organisations ont du mal à s'adapter aux changements fréquents lors de leurs engagements avec divers partenaires industriels en raison de la création manuelle et au cas par cas des mécanismes d'interopérabilité. Ces mécanismes doivent être les réutilisables pour éviter des processus chronophages et sujets aux erreurs dans un environnement en constante évolution. Leur manque de réutilisation résulte de leur intégration fréquente dans des composants de logique métier, créa
Style APA, Harvard, Vancouver, ISO itp.
Możesz być także zainteresowany bibliografiami na temat „Génération de logiciel” dla innych typów źródeł:
Artykuły w czasopismach
Oferujemy zniżki na wszystkie plany premium dla autorów, których prace zostały uwzględnione w tematycznych zestawieniach literatury. Skontaktuj się z nami, aby uzyskać unikalny kod promocyjny!

Do bibliografii