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 .

  • 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


  • Pas de résumé disponible.


  • 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.

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.