Abstract
Emerging multi-modal technology relies on innovative techniques for managing data, both at the user interface level, and at the internal application level. To assess design alternatives for this class of system, it is desirable to have models that focus attention on the critical features of these systems. Formal methods of software specification are known to provide this abstractive power in many contexts. This paper shows that an established specification technique can be used profitably to model, assess and improve the design of a generic kernel for multimodal systems.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
M. Abadi and L. Lamport. An old-fashioned recipe for real time. Technical Report 91, DEC Systems Research Center, October 1992.
G. Abowd. Formal aspects of human-computer interaction. D.Phil Thesis, Oxford University Computing Laboratory: Programming Research Group, 1991. Available as Technical Monograph PRG-97.
P.J. Barnard and J. May. Cinematography and user interface design. In Human-Computer Interaction: INTERACT’95, pages 26–31. Chapman and Hall, 1995.
P.J. Barnard and J. May. Interactions with advanced graphical interfaces and the deployment of latent human knowledge. In Eurographics Workshop on Design, Specification and Verification of Interactive Systems, pages 15–49. Springer, June 1995.
J. Coutaz, D.J. Duke, G. Faconti, M.D. Harrison, and F. Paterno’. Formal methods and multimodal interactive systems. Technical Report SM/WP61, ESPRIT BRA 7040 Amodeus-2, 1995.
J. Coutaz, L. Nigay, and D. Salber. The MSM framework: A design space for multi-sensorymotor systems. In Proc. EWHCI’93, volume 753 of Lecture Notes in Computer Science, pages 231–241. Springer-Verlag, 1993.
J. Coutaz, L. Nigay, D. Salber, A.E. Blandford, J. May, and R.M. Young. Four easy pieces for assessing the usability of multimodal interaction: the CARE properties. In Human-Computer Interaction: INTERACT’95, pages 115–120. Chapman and Hall, 1995.
D.J. Duke, P.J. Barnard, D.A. Duce, and J. May. Systematic development of the human interface. In APSEC’95: Second Asia-Pacific Software Engineering Conference, pages 313–321. IEEE Computer Society Press, 1995.
D.J. Duke and M.D. Harrison. Interaction and task requirements. In P. Palanque and R. Bastide, editors, DSV-IS’95: Eurographics Workshop on Design, Specification and Verification of Interactive Systems, pages 54–75. Springer-Verlag, 1995.
A. Hall. Seven myths of formal methods. Software, pages 11–19, September 1990.
J.K. Hyde. Fusion engines and melting pots. Msc Project Dissertation, Department of Computer Science, University of York, 1995.
L. Nigay. Conception et modélisation logicielles des systèmes interactifs. Ph.D. Thèse de l’Université Joseph Fourier, Grenoble, 1994.
L. Nigay and J. Coutaz. A design space for multimodal systems: Concurrent processing and data fusion. In S. Ashlund, K. Mullet, A. Henderson, E. Hollnagel, and T. White, editors, Proc. INTERCHI’93, pages 172–178. Addison-Wesley, 1993.
L. Nigay and J. Coutaz. A generic platform for addressing the multimodal challenge. In Proc. of CHI’95. Addison-Wesley, 1995.
J.M. Spivey. The Z Notation: A Reference Manual. Prentice Hall International, second edition, 1992.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 Springer-Verlag/Wien
About this paper
Cite this paper
Hyde, J.K., Duke, D.J. (1996). Fusion Engines and Melting Pots. In: Bodart, F., Vanderdonckt, J. (eds) Design, Specification and Verification of Interactive Systems ’96. Eurographics. Springer, Vienna. https://doi.org/10.1007/978-3-7091-7491-3_15
Download citation
DOI: https://doi.org/10.1007/978-3-7091-7491-3_15
Publisher Name: Springer, Vienna
Print ISBN: 978-3-211-82900-4
Online ISBN: 978-3-7091-7491-3
eBook Packages: Springer Book Archive