Justifying Usability Design Rules Based on a Formal Cognitive Model
Paul Curzon, ANN E. BLANDFORD · 2013
Interactive systems combine a human operator and computer. Either may be a source of error. Verification processes used must ensure the correctness of the computer, and minimize the possibility of human error. In human-centered design allowance is made for human frailty. One such approach is to follow design rules. Design rules, however, are often ad hoc. We examine how a formal cognitive architecture, encapsulating results from the cognitive sciences, can be used to justify design rules both semi-formally and formally. The cognitive architecture was developed by formalising cognitively plausible behaviour, based on results from cognitive psychology.