Specification of computer programs
Specification of computer programs
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Human-computer interaction (2nd ed.)
Human-computer interaction (2nd ed.)
Handbook of Human-Computer Interaction
Handbook of Human-Computer Interaction
The Psychology of Human-Computer Interaction
The Psychology of Human-Computer Interaction
Hi-index | 0.00 |
Human computer interactions have been changing rapidly. New models of human computer interaction are needed in order to provide more flexible and adaptable user interfaces that can deal with interruptions. Modeling interactions with automata allows checking certain features including consistency at a level of abstraction appropriate for making predictions. This paper examines the consequences of representing a human computer interaction model using automata.