Formally justifying user-centred design rules: A case study on post-completion errors
P. Curzon, и A. Blandford. Proceedings of the 4th International Conference on Integrated Formal Methods, 2999, Springer Berlin, Heidelberg, The original publication is available at www.springerlink.com.(2004)
Аннотация
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.
%0 Book Section
%1 loepucl5136
%A Curzon, P.
%A Blandford, A.
%B Proceedings of the 4th International Conference on Integrated Formal Methods
%C Heidelberg
%D 2004
%E Boiten, E.A.
%E Derrick, J.
%E Smith, G.
%I Springer Berlin
%K UCLIC imported
%N 2999
%P 461--480
%T Formally justifying user-centred design rules: A case study on post-completion errors
%U http://eprints.ucl.ac.uk/5136/
%X 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.
@incollection{loepucl5136,
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.},
added-at = {2008-10-22T16:08:08.000+0200},
address = {Heidelberg},
author = {Curzon, P. and Blandford, A.},
biburl = {https://www.bibsonomy.org/bibtex/2f7bbbec0212cb47d33ddeb8b9b4033b5/spdegabrielle},
booktitle = {Proceedings of the 4th International Conference on Integrated Formal Methods},
description = {UCLIC},
editor = {Boiten, E.A. and Derrick, J. and Smith, G.},
interhash = {d6243a95d090ecc6031dc9bcfbf81d06},
intrahash = {f7bbbec0212cb47d33ddeb8b9b4033b5},
keywords = {UCLIC imported},
note = {The original publication is available at www.springerlink.com},
number = 2999,
pages = {461--480},
publisher = {Springer Berlin},
series = {Lecture Notes in Computer Science},
timestamp = {2008-10-22T16:48:27.000+0200},
title = {Formally justifying user-centred design rules: A case study on post-completion errors},
url = {http://eprints.ucl.ac.uk/5136/},
year = 2004
}