Formal methods in human-computer interaction

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.