Thematische Bibliographien / Évaluation des logiciels / Dissertationen
Um die anderen Arten von Veröffentlichungen zu diesem Thema anzuzeigen, folgen Sie diesem Link: Évaluation des logiciels.

Dissertationen zum Thema „Évaluation des logiciels“

Autor: Grafiati
Veröffentlicht am 25. Mai 2024
Zuletzt aktualisiert am 31. Juli 2025

Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an

Wählen Sie eine Art der Quelle aus:

Machen Sie sich mit Top-50 Dissertationen für die Forschung zum Thema "Évaluation des logiciels" bekannt.

Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.

Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.

Sehen Sie die Dissertationen für verschiedene Spezialgebieten durch und erstellen Sie Ihre Bibliographie auf korrekte Weise.

1

Pelet, Jacques. "Évaluation de l'intégrité des logiciels à caractère sécuritaire." Saint-Etienne, 1998. http://www.theses.fr/1998STET4026.

Der volle Inhalt der Quelle
Annotation:
La course aux technologies nouvelles pousse de plus en plus les concepteurs de systèmes à introduire de la logique programmée là où hier on trouvait de la logique câblée. La grande souplesse du logiciel a un revers : la complexité. Si elle n'est pas maitrisée, elle dégrade considérablement la sûreté de fonctionnement de l'ensemble du dispositif. L'objet de la thèse est double dans un cadre où les logiciels étudiés traitent essentiellement des fonctions de sécurité. Le but était, premièrement d'acquérir un maximum de renseignement sur l'état de l'art de la conception et de la validation des log
APA, Harvard, Vancouver, ISO und andere Zitierweisen
2

Hu, Olivier. "Contribution à l'évaluation des logiciels multimédias pédagogiques." Compiègne, 2001. http://www.theses.fr/2001COMP1350.

Der volle Inhalt der Quelle
Annotation:
On constate aujourd'hui un certain engouement de la part des institutions françaises et européennes et du grand public vers les Nouvelles Technologies pour I ‘éducation. Mais à y regarder de plus près, force est de constater qu'en pratique l'engouement n'est que virtuel et que les didacticiels sont fréquemment ignorés, oubliés, sous utilisés voire même rejetés. L'échec relatif des cd-rom aujourd'hui peut en grande partie être attribué à leur faible qualité devant un public très exigeant, et qui a toutes les raisons de l'être devant leur potentiel inexploité. Des défauts de conception, des cont
APA, Harvard, Vancouver, ISO und andere Zitierweisen
3

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

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

Kanoun, Karama. "Croissance de la sûreté de fonctionnement des logiciels : caractérisation, modélisation, évaluation." Toulouse, INPT, 1989. http://www.theses.fr/1989INPT091H.

Der volle Inhalt der Quelle
Annotation:
Le comportement du logiciel est modelise en fonction de differentes situations: correction immediate ou differee par lot, changements de specifications. Pour chacune des situations un modele de connaissance est etabli. Ces modeles sont ensuite approches par des modeles d'action. Une methode d'evaluation de la surete de fonctionnement des logiciels est proposee
APA, Harvard, Vancouver, ISO und andere Zitierweisen
5

He, Peng. "Conception et évaluation des systèmes logiciels de classifications de paquets haute-performance." Thesis, Université Grenoble Alpes (ComUE), 2015. http://www.theses.fr/2015GREAA007/document.

Der volle Inhalt der Quelle
Annotation:
La classification de paquets consiste à vérifier par rapport à un ensemble de règles prédéfinies le contenu des entêtes de paquets. Cette vérification permet d'appliquer à chaque paquet l'action adaptée en fonction de règles qu'il valide. La classification de paquets étant un élément clé du plan de données des équipements de traitements de paquets, elle est largement utilisée dans de nombreuses applications et services réseaux, comme les pare-feu, l'équilibrage de charge, les réseaux privés virtuels, etc. Au vu de son importance, la classification de paquet a été intensivement étudiée durant l
APA, Harvard, Vancouver, ISO und andere Zitierweisen
6

Farenc, Christelle. "Ergoval : une méthode de structuration des règles ergonomiques permettant l'évaluation automatique d'interfaces graphiques." Toulouse 1, 1997. http://www.theses.fr/1997TOU10013.

Der volle Inhalt der Quelle
Annotation:
Cette thèse propose une nouvelle méthode de structuration des règles ergonomiques permettant l'évaluation des interfaces graphiques. Cette méthode réalisée dans le cadre d'un contrat d'étude passé entre le SRTP (Service de Recherche Technique de la Poste) et le laboratoire LIS a été définie en vue d'être utilisée par des informaticiens et d'être intégrée dans un outil d'évaluation automatique de la présentation statique des interfaces. Pour fournir des résultats directement utilisables lors de la modification de l'interface et pour pouvoir implémenter la méthode dans un outil d'évaluation auto
APA, Harvard, Vancouver, ISO und andere Zitierweisen
7

Waeselynck, Hélène. "Vérification de logiciels critiques par le test statistique." Toulouse, INPT, 1993. http://www.theses.fr/1993INPT010H.

Der volle Inhalt der Quelle
Annotation:
Les travaux presentes dans ce memoire concernent l'utilisation du test statistique en tant que technique de verification pour les logiciels critiques, c'est-a-dire presentant des contraintes de surete elevee. Le test statistique consiste a executer un programme avec des entrees aleatoires, le profil de test et le nombre d'entrees a generer etant determines a partir de criteres bases sur l'analyse structurelle ou fonctionnelle de ce programme: ce mode de generation probabiliste permet de compenser l'imperfection des criteres actuels vis-a-vis des fautes recherchees, imperfection qui les rend d'
APA, Harvard, Vancouver, ISO und andere Zitierweisen
8

Babau, Jean-Philippe. "Etude du comportement temporel des applications temps réel à contraintes strictes basée sur une analyse d'ordonnançabilité." Poitiers, 1996. http://www.theses.fr/1996POIT2305.

Der volle Inhalt der Quelle
Annotation:
Les applications temps reel a contraintes strictes sont des applications multitaches ou les contraintes temporelles (delais d'execution) doivent etre strictement satisfaites. La methodologie developpee permet la validation de ce type d'applications. L'environnement de conception integre la prise en compte des requetes periodiques et aperiodiques et des schemas de programmes exprimant des cooperations fixes ou variables entre les taches. Apres transformation de ce modele comportemental de l'application en un ensemble de taches sous forme normale associees a un graphe de precedence, la validatio
APA, Harvard, Vancouver, ISO und andere Zitierweisen
9

Charlet, Célina. "Raffiner pour vérifier des systèmes paramétrés." Besançon, 2003. http://www.theses.fr/2003BESA2054.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
10

Guégain, Edouard. "Optimisation de logiciels par leur configuration." Electronic Thesis or Diss., Université de Lille (2022-....), 2023. http://www.theses.fr/2023ULILB020.

Der volle Inhalt der Quelle
Annotation:
Le domaine du génie logiciel évolue rapidement, exposant les développeurs à collection d'outils, langages, framework et paradigmes en constante croissance.De plus, chacun de ces composant peut avoir sa propre configuration interne.Ainsi, concevoir un nouveau logiciel consiste à sélectionner des composants de cette collection, un processus similaire à la création d'une configuration.Le critère pour configurer de tels systèmes est trop souvent la facilité de développement, ce qui cause des obésiciels sur-dimensionnés et consommateur en énergie.Ce paradigme n'est pas aligné avec les considération
APA, Harvard, Vancouver, ISO und andere Zitierweisen
11

Abdeen, Hani. "Visualizing, Assessing and Re-Modularizing Object-Oriented Architectural Elements." Phd thesis, Université des Sciences et Technologie de Lille - Lille I, 2009. http://tel.archives-ouvertes.fr/tel-00498389.

Der volle Inhalt der Quelle
Annotation:
To cope with the complexity of large object-oriented software systems, developers organize classes into subsystems using the concepts of module or package. Such modular structure helps software systems to evolve when facing new requirements. The organization of classes into packages and/or subsystems represents the software modularization. the software modularization usually follows interrelationships between classes. Ideally, packages should to be loosely coupled and cohesive to a certain extent. However, Studies show that as software evolves to meet requirements and environment changes, the
APA, Harvard, Vancouver, ISO und andere Zitierweisen
12

Nicolas, Christophe. "Une mesure de la cohésion fonctionnelle pour l'évaluation du code source des logiciels fortran." Versailles-St Quentin en Yvelines, 1995. http://www.theses.fr/1995VERS0003.

Der volle Inhalt der Quelle
Annotation:
Il est généralement admis que les modules réalisant plusieurs fonctions comportent des erreurs structurelles. De tels modules dits de cohésion non fonctionnelle, peuvent être détectés par des métriques fondées sur un nouveau modèle. Ce modèle peut de plus apporter une aide à la décomposition des modules d'un logiciel, et il prévoit les conséquences minimales sur les flux d'information du logiciel, de cette décomposition
APA, Harvard, Vancouver, ISO und andere Zitierweisen
13

Bruel, Jean-Michel. "Fuze : un environnement intégré pour l'analyse formelle de logiciels distribués temps réel." Toulouse 3, 1996. http://www.theses.fr/1996TOU30257.

Der volle Inhalt der Quelle
Annotation:
Aujourd'hui, les systemes informatiques sont de plus en plus distribues, reactifs et temps reel, rendant leur developpement extremement complexe. La difficulte de developpement de ces systemes rend necessaire l'utilisation de methodes et outils permettant de gerer la complexite et de conduire des specifications non ambigues des comportements desires. Les environnements formels, bases par des outils de developpement ameliorent la qualite de ces systemes. Nous presentons un environnement original de specification de logiciels. Cet environnement est base sur le formalisme z et sur l'integration e
APA, Harvard, Vancouver, ISO und andere Zitierweisen
14

Abdeen, Hani. "Visualizing, assessing and re-modularizing object-oriented architectural elements." Electronic Thesis or Diss., Lille 1, 2009. http://www.theses.fr/2009LIL10069.

Der volle Inhalt der Quelle
Annotation:
Pour faire face à la complexité des grands systèmes logiciels orientés objets, les programmeurs organisent les classes en sous-systèmes en utilisant les concepts de module ou de package. Une telle structure modulaire permet aux systèmes logiciels d’évoluer face aux nouvelles exigences. L’organisation des classes dans des packages et / ou sous-systèmes, que nous appelons la modularisation du logiciel, suit habituellement les relations entre les classes. Il est d'usage de vouloir les packages faiblement couplés et assez cohésifs. Cependant, les études montrent que quand les systèmes logiciels s’
APA, Harvard, Vancouver, ISO und andere Zitierweisen
15

Chevalier, Marcel. "Etude de la complexité des logiciels de type flots de données en vue de la fiabilité : application à l'atelier logiciel SAGA." Grenoble 1, 1989. http://tel.archives-ouvertes.fr/tel-00334028.

Der volle Inhalt der Quelle
Annotation:
Cette thèse présente une métrique de complexité des logiciels adaptée aux programmes écrits dans un langage de type flots de données. Dans un premier temps, on décrit l'environnement qui a servi de base à cette étude: il s'agit de l'atelier logiciel saga (spécification d'applications et génération automatisée) mis au point par l'entreprise Merlin Gerin, dans lequel les programmes produits sont de type flots de données synchrone, et sont construits grâce a un outil graphique. On décrit ensuite la métrique proposée: celle-ci vise a mesurer la complexité graphique des logiciels considérés. Une ca
APA, Harvard, Vancouver, ISO und andere Zitierweisen
16

Conquet, Eric. "Une méthode d'intégration de l'évaluation de performance dans le développement des systèmes informatiques." Toulouse 3, 1993. http://www.theses.fr/1993TOU30128.

Der volle Inhalt der Quelle
Annotation:
Les techniques de modelisation constituent un bon moyen d'evaluer les performances de systemes informatiques au cours du developpement. Leur utilisation pose cependant deux types de problemes: le premier est lie a la nature approximative de la modelisation, le deuxieme a l'integration de l'evaluation de performances dans le cycle de vie d'un systeme. La methode que nous avons definie propose d'une part, une nouvelle approche de la modelisation qui met bien en evidence l'importance de la communication entre l'equipe de conception du systeme et les specialistes en modelisation, et d'autre part,
APA, Harvard, Vancouver, ISO und andere Zitierweisen
17

Koliaï, Souad. "Approche statique et dynamique pour l'évaluation de performances de codes scientifiques." Versailles-St Quentin en Yvelines, 2011. http://www.theses.fr/2011VERS0010.

Der volle Inhalt der Quelle
Annotation:
La complexité grandissante des architectures modernes, rend de plus en plus difficile la tâche des programmeurs à comprendre le comportement des programmes s’exécutant sur ces machines. De plus, les compilateurs actuels génèrent des codes difficiles à comprendre, dû à l’application d’optimisations plus agressives. Cette complexité croissante, tant au niveau des architectures qu’au niveau des compilateurs, renforce le besoin d’une analyse de performance pour aider le programmeur. Différents outils et techniques existent mais aucun outil n’est suffisant, seul, pour résoudre tous les problèmes. C
APA, Harvard, Vancouver, ISO und andere Zitierweisen
18

Moro, Pierre. "Techniques de vérification basées sur des représentations symboliques par automates et l'abstraction guidée par les contre-exemples." Paris 7, 2008. http://www.theses.fr/2008PA077013.

Der volle Inhalt der Quelle
Annotation:
Cette thèse étudie les techniques de vérification automatiques de propriétés d'accessibilité pour des programmes représentées symboliquement par des automates. Les ensembles de configurations des programmes sont représentés par des automates tandis que les instructions sont représentées par des transducteurs. Calculer l'ensemble des états accessibles est à la base de la vérification de propriétés de sûreté. C'est un problème indécidable, le calcul itératif naïf ne termine pas en général. Il faut alors utiliser des techniques permettant d'accélérer ce calcul. Une des techniques principalement é
APA, Harvard, Vancouver, ISO und andere Zitierweisen
19

Atig, Mohamed Faouzi. "Vérification de Programmes Concurrents : Décidabilité et Complexité." Paris 7, 2010. http://www.theses.fr/2010PA077066.

Der volle Inhalt der Quelle
Annotation:
Cette thèse porte sur la vérification des programmes concurrents, en nous intéressant en particulier à l'étude la décidabilité et la complexité des problèmes d'accessibilité. Dans la plus grande partie de cette thèse, nous considérons des programmes concurrents où les processus séquentiels correspondent à des threads pouvant faire des appels de procédures (potentiellement récursives). La difficulté vient de l'interaction entre la récursivité et de la concurrence qui rend le problème de l'accessibilité indécidable en général. Nous étudions alors les conditions sous lesquelles ce problème devien
APA, Harvard, Vancouver, ISO und andere Zitierweisen
20

Balmas, Françoise. "Contribution à la conceptualisation de programmes : modèle, implémentation, utilisation et évaluation." Paris 8, 1995. http://www.theses.fr/1995PA081071.

Der volle Inhalt der Quelle
Annotation:
Cette these propose un modele de caracterisation de l'activite des programmes. Tout programme est decrit selon l'ensemble des calculs qu'il effectue, ceux-ci etant classes en six categories admettant plusieurs variations. Actuellement, ce modele s'applique aux programmes integrant une seule boucle. La caracterisation d'un programme au travers du modele, ou schema, constitue l'explication globale de ce programme, celle-ci revelant sa structure algorithmique et permettant de le rattacher a un ensemble de stereotypes que les programmeurs experimentes connaissent bien. Le schema est egalement la s
APA, Harvard, Vancouver, ISO und andere Zitierweisen
21

Perelman, Gary. "Conception, développement et évaluation de techniques d'interactions fluides pour des environnements multidimensionnels : application aux logiciels du service public." Thesis, Toulouse 3, 2018. http://www.theses.fr/2018TOU30255/document.

Der volle Inhalt der Quelle
Annotation:
Les travaux de cette thèse s'inscrivent dans une collaboration avec l'entreprise Berger-Levrault, acteur majeur du développement de logiciels de gestion administrative pour les services publics. Ces travaux s'appuient sur deux constats. D'une part, la politique de numérisation des services publics induit la nécessité de disposer de logiciels adaptés aux métiers de l'ensemble des établissements publics. Ces logiciels sont complexes et particulièrement riches comparativement aux logiciels de bureautique classiquement utilisés. D'autre part, on observe que les dispositifs utilisés pour interagir
APA, Harvard, Vancouver, ISO und andere Zitierweisen
22

Soares, Sebastião Roberto. "Conception et évaluation d'un système a base de connaissances pour l’élimination de déchet." Lyon, INSA, 1994. http://www.theses.fr/1994ISAL0064.

Der volle Inhalt der Quelle
Annotation:
Le travail réalisé est relatif au développement et à l'utilisation de modèles élémentaires de raisonnement sur l'élimination de déchets industriels, en vue de disposer-d'un outil d'aide à la décision. La démarche suivie est décomposée en trois étapes : • La première étape consiste à identifier, interpréter et enchaîner les principales informations concernant les filières d'élimination de déchets (filières thermique, biologique, physico-chimique et enfouissement technique), ainsi que leurs interactions. Elle consiste en l'acquisition des connaissances nécessaires sur les différents traitements
APA, Harvard, Vancouver, ISO und andere Zitierweisen
23

Marif, Anouar. "Référentiel pour le développement d'un système de pilotage de la performance cohérent et réactif." Doctoral thesis, Université Laval, 2021. http://hdl.handle.net/20.500.11794/70269.

Der volle Inhalt der Quelle
Annotation:
Le travail de cette thèse porte sur l'élaboration d'un référentiel pour le développement d'un système de pilotage de la performance cohérent et réactif, interface entre plusieurs méthodes distinctes et complémentaires. Le référentiel proposé intègre des principes clés de pilotage par la performance et propose une alternative améliorée et prometteuse par rapport aux systèmes de mesures de la performance traditionnels. Un système de pilotage de la performance est un outil indispensable pour une organisation. Sa conception demeure par ailleurs une démarche complexe étant donné les différents aspe
APA, Harvard, Vancouver, ISO und andere Zitierweisen
24

Drăgoi, Cezara. "Automated verification of heap-manipulating programs with infinite data." Paris 7, 2011. http://www.theses.fr/2011PA077189.

Der volle Inhalt der Quelle
Annotation:
Le développement de techniques rigoureuses et automatiques pour la vérification des systèmes logiciels est une tâche importante. Cette thèse porte sur la vérification des propriétés de sûreté pour des programmes avec mémoire dynamique et données infinies. Elle développe un cadre basé sur la logique où les spécifications des programmes sont données par des formules. Premièrement, nous considérons l'automatisation du raisonnement pré/post-condition. Nous définissons une logique, appelée CSL, pour la spécification des structures chaînées ou des tableaux, ainsi que des compositions de ces structur
APA, Harvard, Vancouver, ISO und andere Zitierweisen
25

Merlin, Bruno. "Méthodologie et instrumentalisation pour la conception et l'évaluation des claviers logiciels." Toulouse 3, 2011. http://thesesups.ups-tlse.fr/1323/.

Der volle Inhalt der Quelle
Annotation:
Avec l'expansion des dispositifs mobiles, l'efficacité de la saisie de texte est un défi de plus en plus important pour l'interaction homme-machine. Or, nous observons que, bien que les claviers type AZERTY ou téléphone, traditionnellement utilisés sur ces supports, soient évalués comme sous-optimaux, et, bien que de nombreuses alternatives évaluées comme plus performantes soient proposées dans la littérature, ces nouvelles alternatives restent très marginalement utilisées. Sur la base de cette observation, nous argumentons que la finalité des évaluations ne tient compte que d'un aspect du cla
APA, Harvard, Vancouver, ISO und andere Zitierweisen
26

Capobianco, Antonio. "Stratégies d'aide en ligne contextuelles : acquisition d'expertises, modélisation et évaluation expérimentale." Nancy 1, 2002. http://docnum.univ-lorraine.fr/public/SCD_T_2002_0286_CAPOBIANCO.pdf.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
27

Souchard, Laurent. "Les logiciels tuteurs fermés: institutions d'apprentissage et d'enseignement ? : le cas du début du secondaire." Paris 7, 2009. http://www.theses.fr/2009PA070030.

Der volle Inhalt der Quelle
Annotation:
Les Logiciels Tuteurs Fermés, ou LTF, sont utilisés dans les classes dans de nombreux collèges en mathématiques. Pour analyser leur place potentielle dans l'École, nous avons construit un modèle centré sur la notion d'institution, centrale dans la Théorie Anthropologique du Didactique, définie, par nous, à partir des critères suivants : la réalité sociale, la légitimité, la stabilité et la spécificité. Pour comprendre si un LTF peut être utilisé en tant qu'institution d'enseignement et d'apprentissage, chacun des quatre logiciels de notre étude a été inspecté entièrement par un expert dont les
APA, Harvard, Vancouver, ISO und andere Zitierweisen
28

Meyer, Svetlana. "Conception et évaluation d'Evasion, un logiciel éducatif d'entraînement des capacités d'attention visuelle impliquées en lecture." Thesis, Université Grenoble Alpes (ComUE), 2019. http://www.theses.fr/2019GREAS002/document.

Der volle Inhalt der Quelle
Annotation:
Apprendre à lire est une activité complexe qui s'appuie sur différentes capacités cognitives, dont l'attention visuelle. Absente des programmes scolaires, le rôle de l'attention visuelle pour l'apprentissage de la lecture est pourtant largement documenté dans la littérature scientifique. Dans cette thèse, nous avons donc conçu un logiciel éducatif original d'entraînement de l'attention visuelle, Evasion, et évalué l'impact de son utilisation au sein de la classe.Pour ce faire, une revue de littérature a été menée pour identifier plus précisément quelles sont les dimensions de l'attention visue
APA, Harvard, Vancouver, ISO und andere Zitierweisen
29

Badr, Georges. "Modèle théorique et outil de simulation pour une meilleure évaluation des claviers logiciels augmentés d'un système de prédiction de mots." Toulouse 3, 2011. http://thesesups.ups-tlse.fr/1549/.

Der volle Inhalt der Quelle
Annotation:
Les claviers logiciels se sont démocratisés pour rendre possible la saisie de textes en mobilité sur des dispositifs dépourvus de claviers physiques tels que les téléphones portables nouvelle génération. Cependant, ces claviers présentent plusieurs inconvénients comme la lenteur de la saisie et la fatigue engendrées pour les utilisateurs déficients moteurs. La solution intuitive était d'allier ces logiciels à des listes contenant les mots susceptibles de continuer la saisie d'un mot initié par l'utilisateur. Bien que ces listes, dites listes de prédiction, réduisent le nombre de clics et le no
APA, Harvard, Vancouver, ISO und andere Zitierweisen
30

Huet, Fabrice. "Objets mobiles : conception d'un middleware et évaluation de la communication." Phd thesis, Université de Nice Sophia-Antipolis, 2002. http://tel.archives-ouvertes.fr/tel-00505420.

Der volle Inhalt der Quelle
Annotation:
Cette thèse a pour sujet la mobilité faible des applications et en particulier la communication entre entités mobiles. Nous nous sommes tout d'abord intéressés aux relations existant entre le paradigme des objets actifs et celui des applications mobiles. De nombreux protocoles pour assurer les communications entre objets mobiles ont été décrits dans la littérature mais leurs performances n'ont jamais été étudiées formellement. Nous avons isolé des propriétés permettant de les classer en trois familles~: la poste restante, la recherche et le routage. Après avoir choisi deux protocoles utilisés
APA, Harvard, Vancouver, ISO und andere Zitierweisen
31

Navet, Nicolas. "Évaluation de performances temporelles et optimisation de l'ordonnancement de tâches et messages." Vandoeuvre-les-Nancy, INPL, 1999. http://docnum.univ-lorraine.fr/public/INPL_T_1999_NAVET_N.pdf.

Der volle Inhalt der Quelle
Annotation:
Notre premier objectif est de proposer des méthodes et des outils de vérification du respect des contraintes temporelles d'une application temps réel. Le principal cadre d'application de nos travaux est celui des applications embarquées dans l'automobile distribuées autour d'un réseau CAN. La validation est menée en couplant les techniques de vérification : simulation, analyse et observation sur prototypes. L’apport principal de cette thèse réside en la conception de modèles analytiques qui fournissent des bornes sur les métriques de performance considérées (temps de réponse, probabilité de no
APA, Harvard, Vancouver, ISO und andere Zitierweisen
32

Boussadi, Abdelali. "L'aide à la validation pharmaceutique : conception et évaluation d’un système d’alerte à base de règles pour la validation pharmaceutique des prescriptions médicamenteuses." Paris 6, 2013. http://www.theses.fr/2013PA066246.

Der volle Inhalt der Quelle
Annotation:
L’utilisation d’un processus de conception ‘Agile’, orienté métier et indépendant de la plateforme de développement (BRDF, Business Rule Developement Framework) rejoint les objectifs stratégiques et les recommandations du U. S. Roadmap for national action on clinical decision support et ce en prenant en considération trois critères représentants un véritable défi pour les concepteurs de systèmes : 1)- la modélisation des processus métiers du domaine d’application, 2)- la modélisation des connaissances du domaine d’application et 3)- l’Agilité des différentes étapes de conception. L’utilisation
APA, Harvard, Vancouver, ISO und andere Zitierweisen
33

Sapolin, Bertrand. "Construction d'une méthodologie d'évaluation statistique des logiciels de dispersion atmosphérique utilisés en évaluation de risque NRBC et développement d'un modèle d'estimation de l'incertitude des résultats." Paris 7, 2011. http://www.theses.fr/2011PA077217.

Der volle Inhalt der Quelle
Annotation:
La dispersion atmosphérique intentionnelle ou accidentelle de substances toxiques d'origine nucléaire, radiologique, biologique ou chimique (NRBC) peut avoir des conséquences sanitaires graves. Pour les estimer, l'évaluation de risque NRBC s'appuie, entre autres, sur des modèles d'écoulement/dispersion atmosphérique. En calculant l'évolution spatio-temporelle de la concentration en polluant, ces modèles permettent de quantifier l'effet toxique potentiel sur l'homme. Les évaluer suppose de comparer leurs résultats à des données expérimentales. Or, les méthodologies existantes de comparaison mod
APA, Harvard, Vancouver, ISO und andere Zitierweisen
34

Alba, Winckler Marco Antonio. "StateWebCharts : une notation formelle pour la modélisation de la navigation des applications Web." Toulouse 1, 2004. http://www.theses.fr/2004TOU10026.

Der volle Inhalt der Quelle
Annotation:
Bien que les outils d'édition graphique semblent rendre aisée la création de pages Web, le développement d'applications sur le Word Wide Web est une activité complexe. Cette complexité découle de la nature sans cesse évolutive de ces applications, la complexité des besoins utilisateurs et des temps de développement souvent très courts. Pour pouvoir gérer cette complexité, des modèles deviennent fondamentaux. Même si la navigation est considérée comme l'un des éléments critiques pour la spécification des applications Web, les méthodes dont nous disposons aujourd'hui ne permettent pas de représe
APA, Harvard, Vancouver, ISO und andere Zitierweisen
35

Gamatié, Abdoulaye. "Modélisation polychrone et évaluation de systèmes temps réel." Phd thesis, Université Rennes 1, 2004. http://tel.archives-ouvertes.fr/tel-00879359.

Der volle Inhalt der Quelle
Annotation:
Les systemes temps reel sont des dispositifs constitues de materiels et de logiciels soumis a des contraintes a la fois fonctionnelles et temporelles pour realiser des traitements, et agir sur leur environnement. Des exemples de domaines o u on rencontre de tels systemes sont les telecommunications, le nucl eaire, l'avionique ou le medical. Ces systemes sont souvent critiques a cause d'enjeux humains et economiques importants. Leur developpement exige donc des methodes tres ables. L'approche synchrone a et e proposee dans le but de repondre a cette attente. Ses fondements mathematiques o rent
APA, Harvard, Vancouver, ISO und andere Zitierweisen
36

Alain, Sylvie. "Évaluation d'outils d'analyse du cycle de vie pour étudier la performance environnementale de bâtiments en bois innovants." Master's thesis, Université Laval, 2015. http://hdl.handle.net/20.500.11794/26005.

Der volle Inhalt der Quelle
Annotation:
Pour réduire l’impact environnemental d’un bâtiment, l’intégration de l’analyse du cycle de vie (ACV) en phase de conception peut s’effectuer selon deux approches : par l’utilisation d’un outil simplifié, tel qu’Athena, par les professionnels de la construction, ou par la collaboration d’un analyste en ACV en utilisant un outil plus complexe, tel que SimaPro. L'objectif du projet est d'évaluer les forces et les limites de ces outils pour l’analyse de bâtiments en bois innovants au Canada. Les résultats sont basés sur une étude de cas : un immeuble à bureaux de six étages avec une structure en
APA, Harvard, Vancouver, ISO und andere Zitierweisen
37

Yasini, Seyed Mobin. "Conception et évaluation de méthodes et outils logiciels pour améliorer la qualité de la prescription et de la réalisation des examens de Biologie." Paris 6, 2013. http://www.theses.fr/2013PA066651.

Der volle Inhalt der Quelle
Annotation:
Les examens de biologie ne sont pas toujours prescrits à juste titre. Des documents de bonnes pratiques sont élaborés pour rationaliser la prescription et maximiser la pertinence des actes de biologie médicale. Malheureusement ces documents sont peu consultés par les prescripteurs. Dans un premier temps, nous avons développé un système facilitant la consultation de ces documents. Le langage UML a été utilisé pour modéliser les catégories d’éléments d’information contenus dans ces documents et leurs relations. Nous avons utilisé ce modèle pour mettre en œuvre une interface homme-machine. L éval
APA, Harvard, Vancouver, ISO und andere Zitierweisen
38

Abouelala, Mourad. "Évaluation des outils de modélisation et de simulation dans le domaine de l’enseignement de la fabrication mécanique : cas des logiciels de la FAO." Thesis, Aix-Marseille, 2015. http://www.theses.fr/2015AIXM3056/document.

Der volle Inhalt der Quelle
Annotation:
Les outils de simulation sont des moyens pour faciliter la mise en place d'une production sur les Machines Outil à Commande Numérique, ces outils sont devenus très courants dans l'industrie et, par conséquent, dans l'éducation. Plusieurs problèmes importants émergent, telles que des questions d’ordre pédagogique, des aspects liés à l’ergonomie des interfaces, le coût d'acquisition de l'équipement et d'adaptabilité des étudiants aux multitudes de logiciels de fabrication assistée par ordinateur, de ce fait le problème de la sélection du logiciel est soulevé dans l'éducation afin d'assurer une e
APA, Harvard, Vancouver, ISO und andere Zitierweisen
39

El, Samad Mahmoud. "Découverte et monitoring de ressources pour le traitement de requêtes dans une grille de données." Toulouse 3, 2009. http://thesesups.ups-tlse.fr/661/.

Der volle Inhalt der Quelle
Annotation:
La gestion des données réparties en environnement de grille de données pose de nouveaux problèmes et présente un réel défi : la découverte de ressources, l'allocation de ressources, la réplication, les services de monitoring pour l'optimisation de requêtes. . . Etc. Les systèmes de grille diffèrent principalement des systèmes parallèles et distribués par la grande échelle et l'instabilité (i. E. La dynamicité des nœuds). Dans cette thèse, nous nous intéressons à la phase de découverte de ressources pour l'évaluation efficace de requêtes réparties en environnement de grille de données. Nous eff
APA, Harvard, Vancouver, ISO und andere Zitierweisen
40

Meynard, Jean-Baptiste. "Réalisation et évaluation d'un système de surveillance en temps réel pour les forces armées en opérations." Aix-Marseille 2, 2007. http://www.theses.fr/2007AIX20690.

Der volle Inhalt der Quelle
Annotation:
Les objectifs que je devais atteindre dans le cadre de cette Thèse étaient de réaliser un démonstrateur de surveillance en temps réel au sein des forces armées et de pratiquer son évaluation, afin de répondre à la question qui m’était posée de la faisabilité et de l’intérêt de ce type de surveillance en milieu militaire. A partir de ce travail, je devais fournir des propositions pour la généralisation du concept à l’ensemble des forces projetées. J’ai imaginé et participé au développement du système de surveillance spatiale des épidémies au sein des forces armées en Guyane « 2SE FAG », avec l’
APA, Harvard, Vancouver, ISO und andere Zitierweisen
41

Noureddine, Adel. "Towards a better understanding of the energy consumption of software systems." Thesis, Lille 1, 2014. http://www.theses.fr/2014LIL10009/document.

Der volle Inhalt der Quelle
Annotation:
La consommation énergétique augmente dans les technologies informatiques, notamment à cause de l'augmentation de l'utilisation des services web et distribuée, l'informatique dans les nuages, ou les appareils mobiles. Par conséquent, des approches de gestion de l'énergie ont été développées, de l'optimisation du code des logiciels, à des stratégies d'adaptation basées sur l'utilisation des ressources matérielles. Afin de répondre à ces lacunes, nous présentons dans cette thèse, des modèles énergétiques, approches et outils pour estimer fidèlement la consommation énergétique des logiciels, au ni
APA, Harvard, Vancouver, ISO und andere Zitierweisen
42

Haddad, Axel. "Shape-Preserving Transformations of Higher-Order Recursion Schemes." Paris 7, 2013. http://www.theses.fr/2013PA077264.

Der volle Inhalt der Quelle
Annotation:
Les schémas de récursion modélisent les programmes fonctionnels dans le sens qu'il décrivent les définitions récursives des fonctions créées par l'utilisateur sans interpréter les fonctions de base du langage. La sémantique d'un schémas est donc l'arbre potentiellement infini décrivant les exécutions d'un programme. Cette thèse s'intéresse à des problèmes de vérification. Le problème de décider si un schémas satisfait une formule de la logique monadique du second-ordre (MSO), a été résolu par Ong en 2006. En 2010, Broadbent, Carayol, Ong et Serre ont étendu ce résultat en montrant que l'on peu
APA, Harvard, Vancouver, ISO und andere Zitierweisen
43

Charguéraud, Arthur. "Vérification de programmes à l'aide de formules caractéristiques." Paris 7, 2010. http://www.theses.fr/2010PA077214.

Der volle Inhalt der Quelle
Annotation:
Cette thèse introduit une nouvelle approche a la vérification de programmes, basée sur des formules caractéristiques. La formule caractéristique d'un programme est une formule de la logique d'ordre supérieur qui décrit le comportement d'un programme d'une manière correcte et complète vis-à-vis de la sémantique. Cette formule peut être exploitée dans un assistant de preuve pour établir de manière interactive qu'un programme satisfait une spécification de correction totale exprimée dans le style de la logique de séparation. La formule caractéristique d'un programme est automatiquement générée à
APA, Harvard, Vancouver, ISO und andere Zitierweisen
44

Ammar-Boudjelal, Farid. "Analyse des structures symboliques manipulées dans les langages de spécification : proposition et évaluation de stratégies adaptées au contrôle de la qualité : application au langage LDS." La Rochelle, 1999. http://www.theses.fr/1999LAROS029.

Der volle Inhalt der Quelle
Annotation:
Nous cherchons à apporter une aide à la spécification des systèmes modulaires. Nous fournissons un contexte théorique utilisant la théorie des graphes, la modélisation probabiliste et la géométrie euclidienne pour fonder nos propositions. Celles-ci sont de trois ordres : - réflexion sur ce qu'est la qualité globale de la spécification d'un système modulaire. Ces réflexions conduisent à la définition d'un indice quantifiant le niveau de qualité. - proposition d'outils graphiques représentant à la fois un modèle de structure et un modèle de communication. Ces outils se prêtent à intégration dans
APA, Harvard, Vancouver, ISO und andere Zitierweisen
45

Jacquemin, Maxime. "Arithmétiques relationnelles pour l'analyse par interprétation abstraite de propriétés de précision numérique." Electronic Thesis or Diss., université Paris-Saclay, 2021. http://www.theses.fr/2021UPASG050.

Der volle Inhalt der Quelle
Annotation:
L'arithmétique à virgule flottante est l'approche la plus utilisée pour réaliser des calculs mathématiques reposant sur les nombres réels avec un ordinateur. Cependant, elle souffre d'un défaut : chaque opération peut introduire une erreur, c'est-à-dire une différence avec le résultat que nous aurions obtenu en utilisant des réels. Bien que ces erreurs soient très faibles, elles peuvent s'accumuler et provoquer des bugs ayant parfois des conséquences graves, en particulier dans des domaines critiques comme l'aéronautique ou le nucléaire. Il est donc nécessaire de pouvoir garantir que les erreu
APA, Harvard, Vancouver, ISO und andere Zitierweisen
46

Rene, Amandine. "Conception d'une méthodologie d'évaluation et de validation cliniques d'un dispositif médical logiciel d'aide au diagnostic en imagerie : application au suivi lésionnel en oncologie." Thesis, Montpellier 1, 2014. http://www.theses.fr/2014MON1T009.

Der volle Inhalt der Quelle
Annotation:
Les logiciels d'aide au diagnostic sont, aujourd'hui, intégrés dans la pratique quotidienne. Ils sont également des éléments clefs de la recherche médicale. Définis comme dispositifs médicaux, une évolution récente de la règlementation impose des évaluations cliniques aux fabricants. L'industrie pharmaceutique bénéficie d'une méthode éprouvée pour l'évaluation des médicaments. Elle n'est pas totalement transposable aux dispositifs médicaux, encore moins pour les logiciels. L'objectif de cette thèse est de proposer une méthodologie d'évaluation et de validation cliniques de ces dispositifs. Dan
APA, Harvard, Vancouver, ISO und andere Zitierweisen
47

Cheramy, Maxime. "Etude et évaluation de politiques d'ordonnancement temps réel multiprocesseur." Thesis, Toulouse, INSA, 2014. http://www.theses.fr/2014ISAT0025/document.

Der volle Inhalt der Quelle
Annotation:
De multiples algorithmes ont été proposés pour traiter de l’ordonnancement de tâchestemps réel dans un contexte multiprocesseur. Encore très récemment de nouvelles politiquesont été définies. Ainsi, sans garantie d’exhaustivité, nous en avons recensé plusd’une cinquantaine. Cette grande diversité rend difficile une analyse comparée de leurscomportements et performances. L’objectif de ce travail de thèse est de permettre l’étudeet l’évaluation des principales politiques d’ordonnancement existantes. La première contributionest SimSo, un nouvel outil de simulation dédié à l’évaluation des politiq
APA, Harvard, Vancouver, ISO und andere Zitierweisen
48

Belley, Denis. "Évaluation du volume et des pertes de qualité causées par les principaux défauts des tiges d'épinette blanche et de pin gris." Doctoral thesis, Université Laval, 2014. http://hdl.handle.net/20.500.11794/25295.

Der volle Inhalt der Quelle
Annotation:
Les objectifs de ce travail sont donc, dans un premier temps, de mieux comprendre les effets de l’espacement initial sur les caractéristiques des arbres de pin gris et d’épinette blanche ainsi que sur les propriétés mécaniques de leur bois. Il sera également possible de développer un facteur de correction du volume des sciages obtenus en fonction des déformations naturelles présentes sur les tiges pour ces deux essences, et ce, dans le but d’estimer de manière plus précise le volume de sciage disponible à partir des données d’inventaires forestiers. Dans un deuxième temps, le travail consiste
APA, Harvard, Vancouver, ISO und andere Zitierweisen
49

Benarif, Samir. "Plate-forme multi-agent pour la reconfiguration dynamique des architectures logicielles." Versailles-St Quentin en Yvelines, 2006. http://www.theses.fr/2006VERS0038.

Der volle Inhalt der Quelle
Annotation:
La complexité de plus en plus croissante des applications distribuées et embarquées innovantes implique de spécifier, de concevoir et de développer des architectures logicielles capables de réagir aux événements et d'exécuter des changements architecturaux de façon autonome. Le processus d’adaptation pour reconfigurer une architecture doit d’une part, utiliser un certain nombre de techniques, qui peuvent être fortement spécialisées et d’autre part, assurer que les propriétés de qualité de l'architecture sont maintenues. Dans notre thèse, l’idée novatrice consiste à introduire des composants in
APA, Harvard, Vancouver, ISO und andere Zitierweisen
50

Glory, Anne-Cécile. "Vérification de propriétés de programmes flots de données synchrones." Grenoble 1, 1989. http://tel.archives-ouvertes.fr/tel-00335630.

Der volle Inhalt der Quelle
Annotation:
Dans le cadre de cette thèse, nous nous intéressons à la vérification de systèmes réactifs critiques et temps réel développés a l'aide de langages flots de données synchrones. Plus particulièrement nous avons considéré les propriétés de sureté pour les applications réalisées dans un des deux langages, saga produit de Merlin Gerin/ses, ou lustre crée au LGI. La méthode de vérification, pour laquelle un prototype a été réalise, est l'évaluation de propriétés sur un modèle des programmes. Un langage de spécification adapte au contexte des systèmes réactifs temps réel, avec sa sémantique formelle,
APA, Harvard, Vancouver, ISO und andere Zitierweisen
Die Auswahlen zum Thema "Évaluation des logiciels" für andere Quellenarten können Sie auch interessieren:
Zeitschriftenartikel Bücher
Wir bieten Rabatte auf alle Premium-Pläne für Autoren, deren Werke in thematische Literatursammlungen aufgenommen wurden. Kontaktieren Sie uns, um einen einzigartigen Promo-Code zu erhalten!

Zur Bibliographie