Formal Methods in Human-Computer Interaction

Name: Formal Methods in Human-Computer Interaction
Price: 52.28 USD
Availability: InStock
ISBN: 9780521448673

ISBN-10: 0521448670

ISBN-13: 9780521448673

Edition: N/A

Authors: Michael Harrison, Harold Thimbleby

List price: $52.99

30 day, 100% satisfaction guarantee!

Marketplace

1 new & used from $52.28

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

Book details

List price: $52.99
Publisher: Cambridge University Press
Publication date: 7/23/2009
Binding: Paperback
Pages: 344
Size: 5.98" wide x 9.02" long x 0.71" tall
Weight: 1.122
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.