{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:12:38Z","timestamp":1725664358496},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540585558"},{"type":"electronic","value":"9783540490319"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58555-9_100","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:35:51Z","timestamp":1330256151000},"page":"271-290","source":"Crossref","is-referenced-by-count":9,"title":["A theory of presentations"],"prefix":"10.1007","author":[{"given":"D. J.","family":"Duke","sequence":"first","affiliation":[]},{"given":"M. D.","family":"Harrison","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"18_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":"18_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":"18_CR3","unstructured":"D. B. Arnold, D. A. Duce, and G. J. Reynolds. An Approach to the Formal Specification of Configurable Models of Graphics Systems. In G. Mar\u00e9chal, editor, Proceedings of Eurographics '87. North-Holland, 1987."},{"key":"18_CR4","unstructured":"P.J. Barnard and J. May. Cognitive modelling for user requirements. In P.F. Byerley, P.J. Barnard, and J. May, editors, Computers, Communication and Usability: Design Issues, Research and Methods for Integrated Services, North Holland Series in Telecommunication. Elsevier, 1993."},{"key":"18_CR5","unstructured":"P.J. Barnard and J. May. Real time blending of data streams: A key problem for the cognitive modelling of user behaviour with multimodal systems. Technical Report UM\/WP10, ESPRIT BRA 7040 Amodeus-2, June 1993. File: usemod\/um_wp10.rtf."},{"issue":"4","key":"18_CR6","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1111\/1467-8659.1140221","volume":"11","author":"J. Bowen","year":"1992","unstructured":"J. Bowen. X: Why Z? Computer Graphics Forum, 11 (4):221\u2013234, October 1992.","journal-title":"Computer Graphics Forum"},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"S.A. Brewster, P.C. Wright, and A.D.N. Edwards. The design and evaluation of an auditory-enhanced scrollbar. In Proc. CHI'94, 1994. Boston, April 1994, to appear.","DOI":"10.1145\/259963.260340"},{"key":"18_CR8","unstructured":"J. Coutaz, L. Nigay, and D. Salber. MATIS: A multimodal airline travel information system. Technical Report SM\/WP10, ESPRIT BRA 7040 Amodeus-2, February 1993. File: sysmod\/sm_wp10.rtf."},{"issue":"1","key":"18_CR9","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1111\/1467-8659.1110017","volume":"11","author":"D. A. Duce","year":"1992","unstructured":"D. A. Duce and L. B. Damnjanovic. Formal Specification in the Revision of GKS: An Illustrative Example. Computer Graphics Forum, 11(1):17\u201330, 1992.","journal-title":"Computer Graphics Forum"},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"D. A. Duce and E. V. C. Fielding. Towards a Formal Specification of the GKS Output Primitives. In A.A.G. Requicha, editor, Proceedings of Eurographics '86. North-Holland, 1986.","DOI":"10.1007\/978-3-642-72930-0_16"},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"D.J. Duke, G. Faconti, M.D. Harrison, and F. Paterno'. Unifying views of interactors. In Proc International Workshop on Advanced Visual Interfaces, 1994. To appear.","DOI":"10.1145\/192309.192341"},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"D.J. Duke and M.D. Harrison. Abstract interaction objects. Computer Graphics Forum, 12(3), 1993. Conference Issue: Proc. Eurographics'93.","DOI":"10.1111\/1467-8659.1230025"},{"key":"18_CR13","unstructured":"D.J. Duke and M.D. Harrison. Mapping user requirements to implementations. Submitted to Software Engineering Journal. Based on Amodeus-2 document sysmod\/sm_wp16, 1993."},{"key":"18_CR14","unstructured":"D.J. Duke and M.D. Harrison. Case studies in interactor specification. Technical report, Department of Computer Science, University of York, 1994."},{"key":"18_CR15","doi-asserted-by":"crossref","unstructured":"D.J. Duke and M.D. Harrison. From formal models to formal methods. In Proc Intl. Workshop on Software Engineering and Human-Computer Interaction. ACM, 1994. To appear.","DOI":"10.1007\/BFb0035813"},{"key":"18_CR16","unstructured":"D.J. Duke and M.D. Harrison. On percepts and presentations. Technical Report SM\/WP22, ESPRIT BRA 7040 Amodeus-2, February 1994. File: sysmod\/sm_wp22.ps."},{"key":"18_CR17","unstructured":"M.D. Harrison. A model for the option space of interactive systems. In Engineering for Human-Computer Interaction: Proc IFIP WG2.7 Conf. Elsevier, 1992."},{"key":"18_CR18","unstructured":"M.D. Harrison and A. Dix. A state model of direct manipulation. In M.D. Harrison and H.W. Thimbleby, editors, Formal Methods in Human Computer Interaction, pages 129\u2013151. Cambridge University Press, 1990."},{"key":"18_CR19","unstructured":"I.J. Hayes. Specification Case Studies. Series in Computer Science. Prentice Hall International, 1987."},{"key":"18_CR20","unstructured":"Geneva ISO Central Secretariat. Information processing systems, computer graphics, computer graphics reference model. ISO\/IEC DIS 11072, 1991."},{"key":"18_CR21","unstructured":"C.B. Jones. Systematic Software Development Using VDM. Prentice Hall International, second edition, 1990."},{"key":"18_CR22","unstructured":"C.B. Jones and R. Shaw, editors. Case Studies in Systematic Software Development. Prentice Hall, 1990."},{"issue":"9","key":"18_CR23","doi-asserted-by":"crossref","first-page":"817","DOI":"10.1109\/32.159841","volume":"SE-18","author":"B. Mahoney","year":"1992","unstructured":"B. Mahoney and I. Hayes. A case-study in timed refinement: A mine pump. IEEE Transactions on Software Engineering, SE-18(9):817\u2013826, 1992.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"18_CR24","unstructured":"J. May. The part-whole problem in perception. ESPRIT BRA 7040 Amodeus-2: Animated Presentation, 1993. File: usemod\/pres4.hqx."},{"issue":"9","key":"18_CR25","doi-asserted-by":"crossref","first-page":"1089","DOI":"10.1109\/32.58792","volume":"16","author":"K. Narayana","year":"1990","unstructured":"K. Narayana and S. Dharap. Formal specification of a look manager. IEEE Transactions on Software Engineering, 16(9):1089\u20131103, September 1990.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"18_CR26","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'93, pages 172\u2013178. Addison-Wesley, 1993.","DOI":"10.1145\/169059.169143"},{"key":"18_CR27","doi-asserted-by":"crossref","unstructured":"P.W. Pruyn and D.P. Greenberg. Exploring 3d computer graphics in cockpit avionics. Computer Graphics and Applications, pages 28\u201335, May 1993.","DOI":"10.1109\/38.210489"},{"key":"18_CR28","doi-asserted-by":"crossref","unstructured":"J. Reason. Human Error. Cambridge University Press, 1990.","DOI":"10.1017\/CBO9781139062367"},{"key":"18_CR29","unstructured":"J.M. Spivey. The Z Notation: A Reference Manual. Prentice Hall International, second edition, 1992."},{"key":"18_CR30","unstructured":"B. Sufrin and J. He. Specification, refinement, and analysis of interactive processes. In M.D. Harrison and H.W. Thimbleby, editors, Formal Methods in Human Computer Interaction, pages 153\u2013200. Cambridge University Press, 1990."}],"container-title":["Lecture Notes in Computer Science","FME '94: Industrial Benefit of Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58555-9_100.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:23:02Z","timestamp":1605630182000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58555-9_100"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540585558","9783540490319"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/3-540-58555-9_100","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}