Demonstrating the cognitive plausability of interactive system specifications

DOI10.1007/s001650070021zbMath0972.68169DBLPjournals/fac/ButterworthBD00OpenAlexW2075346739WikidataQ61929766 ScholiaQ61929766MaRDI QIDQ5930072

No author found.

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)

Related Items (4)

Providing a formal linkage between MDG and HOL ⋮ An approach to formal verification of human-computer interaction ⋮ Model-checking user behaviour using interacting components ⋮ Verification-guided modelling of salience and cognitive load

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