Curzon, P;
Blandford, A;
(2004)
Formally justifying user-centred design rules: A case study on post-completion errors.
In:
Integrated Formal Methods.
(pp. 461 - 480).
Springer Berlin Heidelberg: Germany.
![[thumbnail of Blandford_5136.pdf]](https://discovery.ucl.ac.uk/style/images/fileicons/application_pdf.png) Preview |
PDF
Blandford_5136.pdf Download (303kB) |
Abstract
Interactive systems combine a human operator with a computer. Either may be a source of error. The verification processes used must ensure both the correctness of the computer component, and also minimize the risk of human error. Human-centred design aims to do this by designing systems in a way that make allowance for human frailty. One approach to such design is to adhere to design rules. Design rules, however, are often ad hoc. We examine how a formal cognitive model, encapsulating results from the cognitive sciences, can be used to justify such design rules in a way that integrates their use with existing formal hardware verification techniques. We consider here the verification of a design rule intended to prevent a commonly occurring class of human error know as the post-completion error.
| Type: | Proceedings paper |
|---|---|
| Title: | Formally justifying user-centred design rules: A case study on post-completion errors |
| Event: | 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings |
| ISBN: | 3-540-21377-5 |
| ISBN-13: | 9783540213772 |
| Open access status: | An open access version is available from UCL Discovery |
| DOI: | 10.1007/978-3-540-24756-2_25 |
| Publisher version: | http://dx.doi.org/10.1007/978-3-540-24756-2_25 |
| Language: | English |
| Additional information: | Original version published on www.springerlink.com |
| Keywords: | Cognitive architecture, User error, Design rules, Formal verification |
| UCL classification: | UCL UCL > Provost and Vice Provost Offices UCL > Provost and Vice Provost Offices > UCL BEAMS UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science |
| URI: | https://discovery.ucl.ac.uk/id/eprint/98382 |
Archive Staff Only
 |
View Item |
