Towards Integrated Cognitive and Interface Analysis

Bowman, Howard and Faconti, Giorgio and Massink, M. (1999) Towards Integrated Cognitive and Interface Analysis. Technical report. (Full text available)

Download (230kB)
Download (351kB)


Using cognitive architectures to analyse the usability of human-computer interfaces is an extensively investigated strategy. A particularly powerful way to perform such analysis is through syndetic modelling, where both the interface and the chosen cognitive model are described in the same specification framework; allowing the combined behaviour of the two to be analysed. This paper proposes LOTOS as a syndetic modelling language. We highlight four reasons why syndetic modelling is so difficult and show how the LOTOS notation addresses each of the four.

Item Type: Monograph (Technical report)
Additional information: Technical Report 1-99
Uncontrolled keywords: Syndesis, Cognition, Formal Methods, LOTOS
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Sciences > School of Computing > Theoretical Computing Group
Faculties > Sciences > School of Computing > Computational Intelligence Group
Depositing User: Mark Wheadon
Date Deposited: 21 Oct 2009 10:18 UTC
Last Modified: 12 May 2014 14:03 UTC
Resource URI: (The current URI for this page, for reference purposes)
  • Depositors only (login required):


Downloads per month over past year