Skip to content

Formal Methods in Human-Computer Interaction

Spend $50 to get a free DVD!

ISBN-10: 0521448670

ISBN-13: 9780521448673

Edition: N/A

Authors: Michael Harrison, Harold Thimbleby

List price: $62.00
Blue ribbon 30 day, 100% satisfaction guarantee!
Out of stock
what's this?
Rush Rewards U
Members Receive:
Carrot Coin icon
XP icon
You have reached 400 XP and carrot coins. That is the daily max!

Customers also bought

Book details

List price: $62.00
Publisher: Cambridge University Press
Publication date: 7/23/2009
Binding: Paperback
Pages: 344
Size: 6.75" wide x 9.50" long x 0.75" tall
Weight: 1.232
Language: English

Gregg Brazinsky is assistant professor of history at the Elliott School of International Affairs at the George Washington University.Harold Thimbleby is Professor of Computer Science at Swansea University, Wales. He is the author or editor of a number of books, including User Interface Design, and nearly 400 other publications.

Preface
Contributors
The role of formal methods in human-computer interaction
HCI formalisms and cognitive psychology: the case of Task-Action Grammar
Putting design into practice: formal specification and the user interface
Non-determinism as a paradigm for understanding the user interface
A state model of direct manipulation in interactive systems
Specification, analysis and refinement of interactive processes
From abstract models to functional prototypes
Designing abstractions for communication control
Structuring dialogues using CSP
Bibliography
Index.