Contribution à l' ingénierie en Interaction Homme-Machine : une technique de description formelle et un environnement pour une modélisation et une exploitation synergiques des tâches et du système

par David Navarre

Thèse de doctorat en Informatique

Sous la direction de Philippe Palanque.

Soutenue en 2001

à Toulouse 1 .


  • Résumé

    La complexité du développement d' un système interactif est très variable puisqu' une interface peut être une ligne de commande ou faire intervenir des moyens sophistiqués d' interaction. Les processus de développement classiques ont montré leur inaptitude à couvrir le cas des systèmes interactifs. Cette thèse propose : une technique de description formelle, qui étend celle des ICO pour modéliser complètement des systèmes interactifs complexes et permettre une structuration des modèles selon une approche à objets ; un processus de développement, dans lequel vient s' inscrire une méthode de conception basée sur la modélisation formelle et utilisant le formalisme des ICO ; un environnement de conception, qui supporte l' édition, la vérification et l' exécution des modèles décrits dans ce formalisme ; la validation croisée des modèles de tâche et des modèles du système.

  • Titre traduit

    Contribution to Human-Computer Interaction engineering : a formal description technique and an environment for a synergistic modeling and exploitation of the tasks and system


  • Résumé

    The complexity of the interactive systems development varies a lot as a user interface can be a command line or based on sophisticated ways to interact. The traditional processes of development showed their inaptitude for covering the case of interacitive systems. This thesis proposes : a formal description technique, which extends that of the ICO to completely model complex interactive systems and to allow a structuring of the models according to an object approach ; a development process, in which is inserted a method of design based on formal modeling and using the ICO formalism ; a design environment, which supports the editing, the checking and the execution of the models described in this formalism ; cross validation of the task models and the system models.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 220 f.
  • Notes : Publication autorisée par le jury

Où se trouve cette thèse ?

  • Bibliothèque : Université Toulouse 1 Capitole. Service commun de la documentation. Bibliothèque de l'Arsenal.
  • Disponible pour le PEB
  • Cote : TG1011-2001-53
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.