The Formalization of a Cognitive Architecture and its Application to Reasoning About Human Computer Interaction

@article{Duke1999TheFO,
  title={The Formalization of a Cognitive Architecture and its Application to Reasoning About Human Computer Interaction},
  author={David J. Duke and David A. Duce},
  journal={Formal Aspects of Computing},
  year={1999},
  volume={11},
  pages={665-689}
}
Software systems are not just mathematical structures. The majority are also cognitive artefacts that rely on the ability of their users to understand and interpret information provided via an interface, and to act on that information using actions provided by the system. The design of an interactive system must thus account for both the technical… CONTINUE READING