Standard
Modelling Devices for Natural Interaction. /
Dix, Alan; Ghazali, M.; Ramduny-Ellis, Devina et al.
2007. 23-40 Paper presented at Proceedings of FMIS 2007 2nd International Workshop on Formal Methods for Interactive Systems.
Research output: Contribution to conference - Without ISBN/ISSN › Conference paper › peer-review
Harvard
Dix, A, Ghazali, M, Ramduny-Ellis, D, Curzon, P (ed.) & Cerone, A (ed.) 2007, '
Modelling Devices for Natural Interaction', Paper presented at Proceedings of FMIS 2007 2nd International Workshop on Formal Methods for Interactive Systems,
1/01/00 pp. 23-40.
APA
Dix, A., Ghazali, M., Ramduny-Ellis, D., Curzon, P. (Ed.), & Cerone, A. (Ed.) (2007).
Modelling Devices for Natural Interaction. 23-40. Paper presented at Proceedings of FMIS 2007 2nd International Workshop on Formal Methods for Interactive Systems.
Vancouver
Dix A, Ghazali M, Ramduny-Ellis D, Curzon P, (ed.), Cerone A, (ed.).
Modelling Devices for Natural Interaction. 2007. Paper presented at Proceedings of FMIS 2007 2nd International Workshop on Formal Methods for Interactive Systems.
Author
Bibtex
@conference{196ee3ca87d84bb78d3f7105c2ea5bb4,
title = "Modelling Devices for Natural Interaction",
abstract = "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.",
author = "Alan Dix and M. Ghazali and Devina Ramduny-Ellis and P. Curzon and A. Cerone",
year = "2007",
language = "English",
pages = "23--40",
note = "Proceedings of FMIS 2007 2nd International Workshop on Formal Methods for Interactive Systems ; Conference date: 01-01-1900",
}
RIS
TY - CONF
T1 - Modelling Devices for Natural Interaction
AU - Dix, Alan
AU - Ghazali, M.
AU - Ramduny-Ellis, Devina
A2 - Curzon, P.
A2 - Cerone, A.
PY - 2007
Y1 - 2007
N2 - 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.
AB - 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.
M3 - Conference paper
SP - 23
EP - 40
T2 - Proceedings of FMIS 2007 2nd International Workshop on Formal Methods for Interactive Systems
Y2 - 1 January 1900
ER -
