Formal Methods in Human-Computer Interaction (Paperback)

Preface; Contributors; 1. The role of formal methods in human-computer interaction Michael Harrison and Harold Thimbleby; 2. HCI formalisms and cognitive psychology: the case of Task-Action Grammar Franz Schiele and Thomas Green; 3. Putting design into practice: formal specification and the user interface Roger Took; 4. Non-determinism as a paradigm for understanding the user interface Alan Dix; 5. A state model of direct manipulation in interactive systems Michael Harrison and Alan Dix; 6. Specification, analysis and refinement of interactive processes Bernard Sufrin and Jifeng He; 7. From abstract models to functional prototypes Colin Runciman; 8. Designing abstractions for communication control Gilbert Cockton; 9. Structuring dialogues using CSP Heather Alexander; Bibliography; Index.