Istituto di Scienza e Tecnologie dell'Informazione     
Bowman H., Faconti G. Analysing cognitive behaviour using LOTOS and Mexitl. In: Formal Aspects of Computing, vol. 11 pp. 132 - 159. 1999.
We argue that cognitive models should be used in analysing the usability of multi-modal human computer interfaces and further, that formal methods can be advantageously applied to such analysis. In pursuing this objective we specify the Interacting Cognitive Subsystems model formally using the process calculus LOTOS and then we verify that it satis es certain behavioural goals formulated in the interval temporal logic Mexitl.
Subject Process calculi
Temporal logic
Cognitive behaviour
D.2.4 Software/Program Verification
F.3.1 Specifying and Verifying and Reasoning about Programs

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional