%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 }