Istituto di Scienza e Tecnologie dell'Informazione     
Doherty G., Faconti G., Massink M. Formal verification in the design of gestural interaction. In: Electronic Notes in Theoretical Computer Science, vol. 43 Elsevier Science Inc, 2001.
This paper shows how formal modelling can be used in the design of a dynamic gesture language defined by sequences of poses. It discusses two models at different levels of abstraction dealing with important usability issues of the language such as ambiguity and overlap in the recognition of gestures. An approach to make the language more resilient to intermediate poses is evaluated based on a timed extension of the model. A tool providing model checking for hybrid automata is used to perform systematic and automatic analysis.
Subject Formal verification
3D gestural interaction language
D.2 Software Engineering

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional