Formal Methods in Human-Computer InteractionMichael Harrison, Harold Thimbleby First published in 1990, this book discusses the application of formal methods to the human-computer interface. Formal methods - the attempt to provide methods that rigourously and unambiguously describe the behaviour of a computer program or system - is receiving a great deal of attention in human-computer interaction (HCI). 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. The contributors to the work are well-known in the field of HCI and their articles cover much of the work in the area. The book is a series of papers specially commissioned by the editors for the book; it is thus a coherent and important contribution to the area. |
Contents
The role of formal methods in humancomputer inter | 1 |
the case | 9 |
1 | 21 |
Prediction | 45 |
formal specification | 63 |
Non determinism as a paradigm for understanding | 97 |
Static and dynamic consistency | 122 |
5 | 129 |
Further work | 197 |
From abstract models to functional prototypes | 201 |
14 | 219 |
Designing abstractions for communication control | 233 |
5 | 240 |
A new communication control abstraction | 247 |
Structuring dialogues using | 273 |
8 | 294 |
Other editions - View all
Formal Methods in Human-Computer Interaction Michael Harrison,Harold Thimbleby No preview available - 2009 |
Formal Methods in Human-Computer Interaction Michael Harrison,Harold Thimbleby No preview available - 1990 |
Common terms and phrases
abstract acceptable action allows application appropriate argument behaviour called chapter character CLIPBOARD Clipboard=no commands complete component consider consistency constraints constructs corresponding cursor defined definition delete described determinism deterministic dialogue direct manipulation display domain edit editor effect evaluation example express fold formal function further give given hand implementation important independence initial input INSERT instance interactive systems interpretation involved knowledge language limited means menu methods mouse move non determinism notation objects operations particular paste performance position possible predictability prefixes present principles problem produce properties refinement relation representation represented result reverse rules screen selection semantic separation sequence simple single specification structure task tion Trace transformation transition undoes unit user interface visible window