From a formal user model to design rules

DOI10.1007/3-540-36235-5_1MaRDI QIDQ4420342zbMATH OpenFDO

Authors Paul Curzon, Ann Blandford

Publication date 17 August 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2545/25450001.htm

Mathematics Subject Classification ID

Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Computing methodologies and applications (68U99)

Recommendations

• Detecting multiple classes of user errors
• An approach to formal verification of human-computer interaction
• scientific article; zbMATH DE number 605798
• scientific article; zbMATH DE number 910721
• Representational reasoning and verification

Cited in

(3)

• Verification-guided modelling of salience and cognitive load
• An approach to formal verification of human-computer interaction
• Detecting multiple classes of user errors

This page was built for publication: From a formal user model to design rules

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4420342)