R. s\.enas, P. Curzon, J. Back, and A. Blandford. Interactive Systems. Design, Specification, and Verification, 4323, Springer London, Heidelberg, The original publication is available at www.springerlink.com.(2007)
Abstract
We formally specify the interpretation stage in a dual state space human-computer interaction cycle. This is done by extending / reorganising our previous cognitive architecture. In particular, we focus on shape related aspects of the interpretation process associated with device input prompts. A cash-point example illustrates our approach. Using the SAL model checking environment, we show how the extended cognitive architecture facilitates detection of prompt-shape induced human error.
%0 Book Section
%1 loepucl5134
%A s\.enas, R. Ruk\v
%A Curzon, P.
%A Back, J.
%A Blandford, A.
%B Interactive Systems. Design, Specification, and Verification
%C Heidelberg
%D 2007
%E Doherty, G.
%E Blandford, A.
%I Springer London
%K SAL cognitive-architecture human-error model-checking
%N 4323
%P 123--136
%T Formal modelling of cognitive interpretation
%U http://eprints.ucl.ac.uk/5134/
%X We formally specify the interpretation stage in a dual state space human-computer interaction cycle. This is done by extending / reorganising our previous cognitive architecture. In particular, we focus on shape related aspects of the interpretation process associated with device input prompts. A cash-point example illustrates our approach. Using the SAL model checking environment, we show how the extended cognitive architecture facilitates detection of prompt-shape induced human error.
@incollection{loepucl5134,
abstract = {We formally specify the interpretation stage in a dual state space human-computer interaction cycle. This is done by extending / reorganising our previous cognitive architecture. In particular, we focus on shape related aspects of the interpretation process associated with device input prompts. A cash-point example illustrates our approach. Using the SAL model checking environment, we show how the extended cognitive architecture facilitates detection of prompt-shape induced human error.},
added-at = {2008-10-24T14:29:07.000+0200},
address = {Heidelberg},
author = {s\.enas, R. Ruk\v and Curzon, P. and Back, J. and Blandford, A.},
biburl = {https://www.bibsonomy.org/bibtex/2ce7ca9e44e6c92a5c5b86ce897cf4063/uclic},
booktitle = {Interactive Systems. Design, Specification, and Verification},
description = {UCLIC eprints as of October 2008},
editor = {Doherty, G. and Blandford, A.},
interhash = {c8c2d0e49ad8b4b864dde4d383c1480b},
intrahash = {ce7ca9e44e6c92a5c5b86ce897cf4063},
keywords = {SAL cognitive-architecture human-error model-checking},
note = {The original publication is available at www.springerlink.com},
number = 4323,
pages = {123--136},
publisher = {Springer London},
series = {Lecture Notes in Computer Science},
timestamp = {2008-10-24T14:29:08.000+0200},
title = {Formal modelling of cognitive interpretation},
url = {http://eprints.ucl.ac.uk/5134/},
year = 2007
}