PUMA
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.
 
 
Abstract
(English)
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
LOTOS
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