{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T16:07:56Z","timestamp":1725638876087},"publisher-location":"Vienna","reference-count":15,"publisher":"Springer Vienna","isbn-type":[{"type":"print","value":"9783211829004"},{"type":"electronic","value":"9783709174913"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/978-3-7091-7491-3_15","type":"book-chapter","created":{"date-parts":[[2011,12,5]],"date-time":"2011-12-05T00:34:51Z","timestamp":1323045291000},"page":"292-311","source":"Crossref","is-referenced-by-count":1,"title":["Fusion Engines and Melting Pots"],"prefix":"10.1007","author":[{"given":"J. K.","family":"Hyde","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D. J.","family":"Duke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"M. Abadi and L. Lamport. An old-fashioned recipe for real time. Technical Report 91, DEC Systems Research Center, October 1992.","DOI":"10.1007\/BFb0031985"},{"key":"15_CR2","unstructured":"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."},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"P.J. Barnard and J. May. Cinematography and user interface design. In Human-Computer Interaction: INTERACT\u201995, pages 26\u201331. Chapman and Hall, 1995.","DOI":"10.1007\/978-1-5041-2896-4_4"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"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\u201349. Springer, June 1995.","DOI":"10.1007\/978-3-642-87115-3_2"},{"key":"15_CR5","unstructured":"J. Coutaz, D.J. Duke, G. Faconti, M.D. Harrison, and F. Paterno\u2019. Formal methods and multimodal interactive systems. Technical Report SM\/WP61, ESPRIT BRA 7040 Amodeus-2, 1995."},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"J. Coutaz, L. Nigay, and D. Salber. The MSM framework: A design space for multi-sensorymotor systems. In Proc. EWHCI\u201993, volume 753 of Lecture Notes in Computer Science, pages 231\u2013241. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-57433-6_52"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"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\u201995, pages 115\u2013120. Chapman and Hall, 1995.","DOI":"10.1007\/978-1-5041-2896-4_19"},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"D.J. Duke, P.J. Barnard, D.A. Duce, and J. May. Systematic development of the human interface. In APSEC\u201995: Second Asia-Pacific Software Engineering Conference, pages 313\u2013321. IEEE Computer Society Press, 1995.","DOI":"10.1109\/APSEC.1995.496980"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"D.J. Duke and M.D. Harrison. Interaction and task requirements. In P. Palanque and R. Bastide, editors, DSV-IS\u201995: Eurographics Workshop on Design, Specification and Verification of Interactive Systems, pages 54\u201375. Springer-Verlag, 1995.","DOI":"10.1007\/978-3-7091-9437-9_5"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"A. Hall. Seven myths of formal methods. Software, pages 11\u201319, September 1990.","DOI":"10.1109\/52.57887"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"J.K. Hyde. Fusion engines and melting pots. Msc Project Dissertation, Department of Computer Science, University of York, 1995.","DOI":"10.1007\/978-3-7091-7491-3_15"},{"key":"15_CR12","unstructured":"L. Nigay. Conception et mod\u00e9lisation logicielles des syst\u00e8mes interactifs. Ph.D. Th\u00e8se de l\u2019Universit\u00e9 Joseph Fourier, Grenoble, 1994."},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"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\u201993, pages 172\u2013178. Addison-Wesley, 1993.","DOI":"10.1145\/169059.169143"},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"L. Nigay and J. Coutaz. A generic platform for addressing the multimodal challenge. In Proc. of CHI\u201995. Addison-Wesley, 1995.","DOI":"10.1145\/223904.223917"},{"key":"15_CR15","unstructured":"J.M. Spivey. The Z Notation: A Reference Manual. Prentice Hall International, second edition, 1992."}],"container-title":["Eurographics","Design, Specification and Verification of Interactive Systems \u201996"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-7091-7491-3_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T04:36:13Z","timestamp":1606106173000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-7091-7491-3_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783211829004","9783709174913"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-7091-7491-3_15","relation":{},"ISSN":["0946-2767"],"issn-type":[{"type":"print","value":"0946-2767"}],"subject":[],"published":{"date-parts":[[1996]]}}}