Formal Methods in Human-Computer Interaction - Brossura

Harrison, Michael

Brossura

ISBN 10: 0521448670 ISBN 13: 9780521448673

Casa editrice: Cambridge University Press, 2009

Riassunto

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

Su questo libro

Descrizione del libro

First published in 1990, this book discusses the application of formal methods to the human-computer interface. Topics such as the specification of a system, the construction of a system from its specification and the abstraction of a specification from an existing system, are clearly of great theoretical and practical interest.

Contenuti

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.

Dettagli dell?edizione

• Editore: Cambridge University Press
• Data di pubblicazione: 2009
• ISBN 10: 0521448670
• ISBN 13: 9780521448673
• Rilegatura: Copertina flessibile
• Lingua: Inglese
• Numero di pagine: 344
• Contatto del produttore: non disponibile