Bibliografias temáticas / Génération de logiciel / Teses / dissertações
Siga este link para ver outros tipos de publicações sobre o tema: Génération de logiciel.

Teses / dissertações sobre o tema "Génération de logiciel"

Autor: Grafiati
Publicado: 7 de setembro de 2024
Última modificação: 31 de julho de 2025

Crie uma referência precisa em APA, MLA, Chicago, Harvard, e outros estilos

Selecione um tipo de fonte:

Veja os 50 melhores trabalhos (teses / dissertações) para estudos sobre o assunto "Génération de logiciel".

Ao lado de cada fonte na lista de referências, há um botão "Adicionar à bibliografia". Clique e geraremos automaticamente a citação bibliográfica do trabalho escolhido no estilo de citação de que você precisa: APA, MLA, Harvard, Chicago, Vancouver, etc.

Você também pode baixar o texto completo da publicação científica em formato .pdf e ler o resumo do trabalho online se estiver presente nos metadados.

Veja as teses / dissertações das mais diversas áreas científicas e compile uma bibliografia correta.

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.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Resumo:
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
Estilos ABNT, Harvard, Vancouver, APA, etc.
3

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

Texto completo da fonte
Resumo:
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
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Resumo:
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è
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Resumo:
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
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Resumo:
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
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Resumo:
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
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Resumo:
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
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Resumo:
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
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Resumo:
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
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Resumo:
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
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Resumo:
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
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Resumo:
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
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Resumo:
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
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Resumo:
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
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Resumo:
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
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Resumo:
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
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Resumo:
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
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Resumo:
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
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Resumo:
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
Estilos ABNT, Harvard, Vancouver, APA, etc.
23

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

Texto completo da fonte
Resumo:
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
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Resumo:
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
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Resumo:
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
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Resumo:
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
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Resumo:
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
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Resumo:
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
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Resumo:
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
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Resumo:
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
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Resumo:
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
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Resumo:
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'
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Resumo:
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
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Resumo:
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’
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Resumo:
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
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Resumo:
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
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Resumo:
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
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Resumo:
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
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Resumo:
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
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Resumo:
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
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Resumo:
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î
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Resumo:
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
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Resumo:
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
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Resumo:
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
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Resumo:
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
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Resumo:
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
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Resumo:
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
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Resumo:
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
Estilos ABNT, Harvard, Vancouver, APA, etc.
Você também pode estar interessado em listas de outros tipos de fontes sobre o assunto "Génération de logiciel":
Artigos de revistas
Oferecemos descontos em todos os planos premium para autores cujas obras estão incluídas em seleções literárias temáticas. Contate-nos para obter um código promocional único!

Vá para a bibliografia