© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Analysing cognitive behaviour using lotos and mexitl
H. Bowman and G. Faconti
Formal Aspects of Computing, 11:182-196, November 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.
Bibtex Record
@article{907, author = {H. Bowman and G. Faconti}, title = {Analysing Cognitive Behaviour using LOTOS and Mexitl}, month = {November}, year = {1999}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/1999/907}, journal = {Formal Aspects of Computing}, publisher = {Springer}, volume = {11}, }