Skip to Main content Skip to Navigation
Conference papers

Understanding Formal Description of Pitch-Based Input

Abstract : The pitch-based input (humming, whistling, singing) in acoustic modality has already been studied in several projects. There is also a formal description of the pitch-based input which can be used by designers to define user control of an application. However, as we discuss in this paper, the formal description can contain semantic errors. The aim of this paper is to validate the formal description with designers. We present a tool that is capable of visualizing vocal commands and detecting semantic errors automatically. We have conducted a user study that brings preliminary results on comprehension of the formal description by designers and ability to identify and remove syntactic errors.
Document type :
Conference papers
Complete list of metadata

Cited literature [7 references]  Display  Hide  Download
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Monday, August 11, 2014 - 5:57:54 PM
Last modification on : Friday, October 15, 2021 - 6:32:01 PM
Long-term archiving on: : Wednesday, November 26, 2014 - 10:30:23 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



Ondřej Poláček, Zdeněk Míkovec. Understanding Formal Description of Pitch-Based Input. Third IFIP WG 13.2 International Conference on Human-Centred Software Engineering (HCSE), Oct 2010, Reykjavik, Iceland. pp.190-197, ⟨10.1007/978-3-642-16488-0_16⟩. ⟨hal-01055204⟩



Record views


Files downloads