The Handbook of Formal Methods in Human-Computer Interaction by Benjamin Weyers Judy Bowen Alan Dix & Philippe Palanque

Author:Benjamin Weyers, Judy Bowen, Alan Dix & Philippe Palanque
Language: eng
Format: epub
Publisher: Springer International Publishing, Cham

slide transition—designer extension to denote situation when there are device changes that are not perceptible to the user

6, 10, 12, 13

unfelt bounce-back—this is basically a press and bounce-back, but where there is no perceptual feedback

12

Logical State Symbol

Meaning

Used in figs

state—state of the logical system

7–10, 16, 17

group—where several lower-level states can be thought of as sub-states of a more abstract state. In the example, ‘POWER ON’ is a higher-level state, but within this water may be below or at boiling point

10

Download

Copyright Disclaimer:
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.