Using Formal Specification Techniques for the Modelling of Tasks and Generation of HCI Specifications - Université Polytechnique des Hauts-de-France Accéder directement au contenu
Chapitre D'ouvrage Année : 2004

Using Formal Specification Techniques for the Modelling of Tasks and Generation of HCI Specifications

Domaines

Informatique [cs]

Aurélien Vicentini  : Connectez-vous pour contacter le contributeur

https://uphf.hal.science/hal-03349685

Soumis le : lundi 20 septembre 2021-16:25:05

Dernière modification le : vendredi 24 mars 2023-14:53:22

Fichier non déposé

Dates et versions

hal-03349685 , version 1 (20-09-2021)

Identifiants

  • HAL Id : hal-03349685 , version 1

Citer

Mourad Abed, Dimitri Tabary, Christophe Kolski. Using Formal Specification Techniques for the Modelling of Tasks and Generation of HCI Specifications. Dan Diaper; Neville Anthony Stanton. The handbook of task analysis for human-computer interaction, Mahwah; Lawrence Erlbaum Associates, pp. 503-529, 2004, 0-8058-4432-5. ⟨hal-03349685⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS UNIV-VALENCIENNES LAMIH
7 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More