Formal Methods in Human-Computer Interaction

Herausgeber: Harrison, Michael; Thimbleby, Harold

• Broschiertes Buch

Produktbeschreibung

First published in 1990, this book discusses the application of formal methods to the human-computer interface.

---

Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.

Produktdetails

• Verlag: Cambridge University Press
• Seitenzahl: 344
• Erscheinungstermin: 15. März 2009
• Englisch
• Abmessung: 244mm x 170mm x 19mm
• Gewicht: 595g
• ISBN-13: 9780521448673
• ISBN-10: 0521448670
• Artikelnr.: 26222361

Inhaltsangabe

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.