CHI '91 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Usability inspection methods
Human-computer interaction
Affordance, conventions, and design
interactions
Notational Support for the Design of Augmented Reality Systems
DSV-IS '02 Proceedings of the 9th International Workshop on Interactive Systems. Design, Specification, and Verification
A three-state model of graphical input
INTERACT '90 Proceedings of the IFIP TC13 Third Interational Conference on Human-Computer Interaction
Proceedings of the 17th IEEE international conference on Automated software engineering
DIS '04 Proceedings of the 5th conference on Designing interactive systems: processes, practices, methods, and techniques
Physicality quantitative evaluation method
Proceedings of the 25th Australian Computer-Human Interaction Conference: Augmentation, Application, Innovation, Collaboration
| Hi-index | 0.00 |
We do not interact with systems without first performing some physical action on a physical device. This paper shows how formal notations and formal models can be developed to account for the relationship between the physical devices that we actually press, twist or pull and their effects on systems. We use state diagrams of each but find we have to extend these in order to account for features such as bounce-back, where buttons or other controls are sprung. Critical to all is the fact that we are physical creatures and so formal models have to take into account that physicality.