Istituto di Scienza e Tecnologie dell'Informazione     
Doherty G., Faconti G., Massink M. Formal verification in the design of gestural interaction. In: Workshop on Formal Methods Elsewhere (Pisa, 10 october 2000). Proceedings, 2000.
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 methods
D.2.4 Software/Program Verification

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