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 satisfies certain behavioural goals formulated in the interval temporal logic Mexitl.
Analysing cognitive behaviour using LOTOS and Mexitl
Faconti G
1999
Abstract
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 satisfies certain behavioural goals formulated in the interval temporal logic Mexitl.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
prod_407779-doc_142966.pdf
solo utenti autorizzati
Descrizione: Analysing cognitive behaviour using LOTOS and Mexitl
Tipologia:
Versione Editoriale (PDF)
Dimensione
241.48 kB
Formato
Adobe PDF
|
241.48 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.