Demonstrating the cognitive plausability of interactive system specifications

DOI10.1007/S001650070021MaRDI QIDQ5930072zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Ann Blandford, David Duke, Richard Butterworth

Publication date 17 April 2001

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s001650070021

zbMATH Keywords

electronic diary systeminteractive systemprogrammable user modelling

Mathematics Subject Classification ID

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

Recommendations

• The plausibility problem: An initial analysis
• scientific article; zbMATH DE number 53086
• An approach to formal verification of human-computer interaction
• scientific article; zbMATH DE number 2080958
• Interactive situation models for cognitive aspects of user-artefact interaction

Cited in

(7)

• Model-checking user behaviour using interacting components
• Verification-guided modelling of salience and cognitive load
• An approach to formal verification of human-computer interaction
• The plausibility problem: An initial analysis
• scientific article; zbMATH DE number 2080958 (Why is no real title available?)
• Multifaceted formal methods and their interdisciplinary role -- from the cathedral of `components as coalgebras' to the HCI context and the open source software bazaar
• Providing a formal linkage between MDG and HOL

This page was built for publication: Demonstrating the cognitive plausability of interactive system specifications

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