Skip to Main content Skip to Navigation
Theses

Spécification d'interfaces homme-machine et prototypage

Résumé : Cette thèse se situe dans le domaine de l'ingénierie des interfaces utilisateur (spécification, conception et évaluation d'interfaces). Un modèle conceptuel d'interface et d'interaction a été défini. Ce modèle vise à faire le lien entre les modèles cognitifs axés sur l'analyse de taches et les modèles d'architecture. Le cadre proposé s'inscrit dans une approche génie-logiciel. Le modèle prend en compte aussi bien l'aspect dynamique que l'aspect statique d'une interface. La structure du dialogue est modélisée à l'aide de la notion de plan de travail qui correspond à un ensemble structuré de taches déjà accomplies ou bien en cours de réalisation. Le problème des erreurs et des interruptions est étudié avec la notion de backtrack ou de remise en cause d'une réalisation de tache. À partir du modèle un langage de spécification formelle d'interfaces est décrit. Le langage permet une spécification globale d'une interface en décomposant celle-ci en trois parties (interface fonctionnelle, dialogue et présentation). Un environnement autour du langage de spécifications a été développé. Cet environnement comprend un éditeur syntaxique, un outil de génération automatique de prototypes et de vérification de propriétés d'interfaces. L’utilisation du prototype permet une évaluation empirique d'une spécification
Document type :
Theses
File URL :
http://docnum.univ-lorraine.fr/prive/INPL_T_1995_QUESNOT_D.pdf
Complete list of metadatas

https://hal.univ-lorraine.fr/tel-01751670
Contributor : Thèses Ul <>
Submitted on : Thursday, March 29, 2018 - 1:24:11 PM
Last modification on : Tuesday, January 29, 2019 - 1:21:52 AM

Identifiers

  • HAL Id : tel-01751670, version 1

Collections

Citation

Dominique Quesnot. Spécification d'interfaces homme-machine et prototypage. Autre [cs.OH]. Institut National Polytechnique de Lorraine, 1995. Français. ⟨NNT : 1995INPL027N⟩. ⟨tel-01751670⟩

Share

Metrics

Record views

14