Curzon, P.;
Blandford, A.;
(2001)
A user model for avoiding design induced errors in soft-key interactive systems.
Presented at: The 14th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2001), Edinburgh, UK.
![[thumbnail of 16855.pdf]](https://discovery.ucl.ac.uk/style/images/fileicons/application_pdf.png) Preview |
PDF
16855.pdf Download (202kB) |
Abstract
Hard-key user interfaces are ones where the interface does not change during an interaction. Soft-key interfaces, on the other hand, change the meaning of inputs such as buttons as the interaction progresses. We demonstrate how interactive systems with either kinds of interface can be verified in HOL by combining a generic user model and a device specification incorporating a specification of the interface. In particular we show how design problems which result in users systematically making errors can be detected. We have extended the user model from previous versions to detect new errors related to soft-key interfaces.
| Type: | Conference item (Presentation) |
|---|---|
| Title: | A user model for avoiding design induced errors in soft-key interactive systems |
| Event: | The 14th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2001) |
| Location: | Edinburgh, UK |
| Dates: | 3 - 6 September, 2001 |
| Open access status: | An open access version is available from UCL Discovery |
| Publisher version: | http://www.inf.ed.ac.uk/publications/online/0046/ |
| Language: | English |
| Additional information: | Available online as part of TPHOLs 2001: Supplemental Proceedings. |
| UCL classification: | UCL > Provost and Vice Provost Offices > School of Life and Medical Sciences > Faculty of Brain Sciences > Div of Psychology and Lang Sciences > UCL Interaction Centre |
| URI: | https://discovery.ucl.ac.uk/id/eprint/16855 |
Archive Staff Only
 |
View Item |
