Skip to Main content Skip to Navigation
Book sections

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

Document type :
Book sections
Complete list of metadata

https://hal-uphf.archives-ouvertes.fr/hal-03349685
Contributor : Aurélien Vicentini Connect in order to contact the contributor
Submitted on : Monday, September 20, 2021 - 4:25:05 PM
Last modification on : Tuesday, October 19, 2021 - 6:38:14 PM

Identifiers

  • HAL Id : hal-03349685, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

8