Abstract
This paper is an overview of a generic formal description allowing to encode multi-modal interactive systems, their behaviors and properties.
Chapter PDF
References
Bellik, Y. (1995). Interfaces Multimodales: concepts, modèles et architecture. PhD thesis, LIMSI-Université d’Orsay.
Coutaz, J., Nigay, L., Saber, D., Blandford, A., May, J., and Young, R. (1995). Four easy pieces for assessing the usability of multimodal interaction: the CARE properties. In Proceedings of Human Computer Interaction — Interact’95, pages 115–120. Chapman and Hall.
Duke, D. and Harrison, M. D. (1993). Abstract Interaction Objects. In Proceedings of Eurographics conference and computer graphics forum, volume 12, pages 25–36.
Duke, D. and Harrison, M. D. (1995). Event Model of Human-System Interaction. IEEE Software Engineering Journal, 10(1):3–10.
MacColl and Carrington, D. (19908). Testing MATIS: a case study on specfication based testing of interactive systems. FAHCI ISBN 0-86339-7948.
Nigay, L. and Coutaz, J. (1993). A design space for multi-modal interfaces: concurrent processing and data fusion. In Proceedings of INTERCHI-93 — INTERCHI-93, pages 172–178. ACMPress.
Nigay, L. and Coutaz, J. (1995). A Generic Platform for Adressing the Multimodal Challenge. In Proceedings of CHI-95 — CHI-95, pages 98–105. ACM Press.
Palanque, P., Bastide, R., and Sengès, V. (1995). Validating interactive system design through the verification of formal task and system models. In Bass, L. J. and Unger, C., editors, IFIP TC2/WG2 7 Working Conference on Engineering for Human-Computer Interaction (EHCI’95), pages 189–212, Grand Targhee Resort (Yellowstone Park), USA. Chapman & Hall.
Palanque, P. and Schyn, A. (2003). A Model-based for Engineering Multimodal Interactive Systems. In 9th IFIP TC13 International Conference on Human Computer Interaction (Interact’2003).
Paterno, F. and Mezzanotte, M. (1994). Analysing MATIS by Interactors and ACTL. Technical report, Amodeus Esprit Basic Research Project 7040, System Modelling/WP36.
Plotkin, G. (1981). A Structural Approach to Operational Semantics. Technical report, Department of of computer Science, University of Arhus DAIMI FN 19.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer Science + Business Media, Inc.
About this paper
Cite this paper
Ameur, Y.A., Kamel, N. (2004). A Generic Formal Specification of Fusion of Modalities in a Multimodal Hci. In: Jacquart, R. (eds) Building the Information Society. IFIP International Federation for Information Processing, vol 156. Springer, Boston, MA. https://doi.org/10.1007/978-1-4020-8157-6_34
Download citation
DOI: https://doi.org/10.1007/978-1-4020-8157-6_34
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4020-8156-9
Online ISBN: 978-1-4020-8157-6
eBook Packages: Springer Book Archive