Title | ||
---|---|---|
Synergistic modelling of tasks, users and systems using formal specification techniques |
Abstract | ||
---|---|---|
This paper aims at clarifying the articulation between the task models and system models encountered in CHI design practices. We demonstrate how the use of a formal task model may enhance the design of interactive systems, by providing quantitative results on which designers may base their decisions. We also demonstrate that it is possible to describe both task and system models within the same fo... |
Year | DOI | Venue |
---|---|---|
1997 | 10.1016/S0953-5438(97)00013-1 | Interacting with Computers |
Keywords | Field | DocType |
Interactive systems design,Task modelling,Performance evaluation,Formal specification,Petri nets | Petri net,Programming language,Task analysis,Formality,Computer science,Axiom,Formal specification,Real-time computing,Human–computer interaction,Engineering design process,Formalism (philosophy) | Journal |
Volume | Issue | ISSN |
9 | 2 | 0953-5438 |
Citations | PageRank | References |
17 | 1.26 | 23 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Philippe Palanque | 1 | 716 | 68.40 |
Rémi Bastide | 2 | 579 | 51.35 |