Intégration de spécifications de rétroaction dans un formalisme pour la conception de systèmes interactifs

par Jaime Muñoz Arteaga

Thèse de doctorat en Informatique

Sous la direction de Philippe Palanque.

Soutenue en 2000

à Toulouse 1 .


  • Résumé

    Dans un système interactif, le terme rétroaction (réponse du système utilisateur ou rendering) fait référence à toute forme de communication allant de l'application vers l'utilisateur. Ce mémoire traite de la spécification de rétroaction, et son lien avec la spécification formelle du dialogue entre l'application et l'utilisateur. Nous présentons tout d'abord une taxonomie des différentes catégories de rétroaction en fonction de sa sémantique dans l'application. Ensuite, nous étendons la portée de notre formalisme des ICO (formalisme mixte à base d'une approche orientée objet et du réseau de Pétri) pour spécifier formellement les rétroactions d'une application. Enfin, nous présentons différentes études de cas d'applications dotées d'interface à manipulation directe afin de montrer comme plusieurs catégories de rétroaction sont prises en compte dans le formalisme des ICO.

  • Titre traduit

    Integrating rendering specifications into a formalism for the design of interactive systems


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (168 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 153-163

Où se trouve cette thèse ?

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