{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T15:57:24Z","timestamp":1725638244205},"publisher-location":"Vienna","reference-count":31,"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_4","type":"book-chapter","created":{"date-parts":[[2011,12,5]],"date-time":"2011-12-05T05:34:51Z","timestamp":1323063291000},"page":"73-91","source":"Crossref","is-referenced-by-count":4,"title":["Device Models"],"prefix":"10.1007","author":[{"given":"G. P.","family":"Faconti","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":"4_CR1","doi-asserted-by":"crossref","unstructured":"E. Anson. The device model of interaction. Computer Graphics, 16(3), 1982.","DOI":"10.1145\/965145.801269"},{"key":"4_CR2","unstructured":"R.M. Baecker and W. Buxton, editors. Readings in human-computer interaction: A multidisciplinary approach. Morgan-Kaufmann, 1987."},{"key":"4_CR3","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":"4_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 1994.","DOI":"10.1007\/978-3-642-87115-3_2"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"G. Berry. The ESTEREL synchronous programming language and its mathematical semantics. In NSF\/SERC workshop on concurrency. CMU, 1984.","DOI":"10.1007\/3-540-15670-4_19"},{"key":"4_CR6","unstructured":"A. Blandford and D.J. Duke. Integrating user and computer system concerns in the design of interactive systems. IEEE Transactions on Software Engineering, 1996. Submitted for publication."},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"S. Card, J. Mackinlay, and G. Robertson. The design space of input devices. In Proc. of CHI\u201990. ACM Press, 1990.","DOI":"10.1145\/97243.97263"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"S.K. Card, J.D. Mackinlay, and G.G. Robertson. A semantics analysis of the design space of input devices. Human-Computer Interaction, 1990.","DOI":"10.1207\/s15327051hci0502&3_2"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"L. Cardelli and R. Pike. Squeak: a language for communicating with mice. Computer Graphics, 19(3), 1985.","DOI":"10.1145\/325165.325238"},{"issue":"1","key":"4_CR10","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1111\/j.1467-8659.1990.tb00371.x","volume":"9","author":"D Duce","year":"1990","unstructured":"D. Duce, P. ten Hagen, and R. van Liere. An approach to hierarchical input devices. Computer Graphics Forum, 9(1): 15\u201326, 1990.","journal-title":"Computer Graphics Forum"},{"key":"4_CR11","unstructured":"D.A. Duce, R. Van Liere, and P.J.W. ten Hagen. Components, framework and GKS input. In Proceedings of Eurographics\u201989. North-Holland, 1989."},{"issue":"3","key":"4_CR12","doi-asserted-by":"publisher","first-page":"55-66","DOI":"10.1111\/j.1467-8659.1995.cgf143_0055.x","volume":"14","author":"DJ Duke","year":"1995","unstructured":"D.J. Duke. Reasoning about gestural interaction. Computer Graphics Forum, 14(3):55-66, 1995. Conference Issue: Proc. Eurographics\u201995, Maastricht, The Netherlands.","journal-title":"Computer Graphics Forum"},{"key":"4_CR13","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"},{"issue":"3","key":"4_CR14","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1111\/1467-8659.1230025","volume":"12","author":"DJ Duke","year":"1993","unstructured":"D.J. Duke and M.D. Harrison. Abstract interaction objects. Computer Graphics Forum, 12(3):25\u201336, 1993. Conference Issue: Proc. Eurographics\u201993.","journal-title":"Computer Graphics Forum"},{"key":"4_CR15","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":"4_CR16","doi-asserted-by":"crossref","unstructured":"G. Faconti, M. Caneve, E. Salvatori, and N. Zani. A LOTOS view of the input model of standard graphics systems. In Proceedings of Eurographics Workshop on Formal Methods in Computer Graphics, 1991.","DOI":"10.1111\/1467-8659.1130237"},{"key":"4_CR17","unstructured":"G. Faconti and F. Paterno\u2019. An approach to the formal specification of the components of an interaction. In C. Vandoni and D. Duce, editors, Eurographics 90, pages 481\u2013494. North-Holland, 1990."},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"G.P. Faconti, N. Zani, and F. Paterno\u2019. The input model of standard graphics systems revisited by formal specification. Computer Graphics Forum, 11(3), 1992. Proceedings of Eurographics\u201992.","DOI":"10.1111\/1467-8659.1130237"},{"key":"4_CR19","doi-asserted-by":"publisher","first-page":"381-391","DOI":"10.1037\/h0055392","volume":"47","author":"PM Fitts","year":"1954","unstructured":"P.M. Fitts. The information capacity of the human motor system in controlling amplitude of movement. Journal of Experimental Psychology, 47:381\u2013391, 1954.","journal-title":"Journal of Experimental Psychology"},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"J.D. Foley and V.L. Wallace. The art of natural graphic man-machine conversation. In Proceedings of IEEE 62, 1974.","DOI":"10.1109\/PROC.1974.9450"},{"key":"4_CR21","doi-asserted-by":"crossref","unstructured":"R.A. Guedj, editor. Proceedings of IFIP Workshop on methodology of Interaction. North-Holland, 1980.","DOI":"10.1016\/0166-3615(80)90008-1"},{"key":"4_CR22","unstructured":"C.A.R. Hoare. Communicating Sequential Processes. Series in Computer Science. Prentice Hall International, 1985."},{"key":"4_CR23","unstructured":"ISO Central Secretariat, Geneva. A formal description technique based on temporal ordering of observational behaviour, 1988. ISO\/IS 8807."},{"key":"4_CR24","doi-asserted-by":"crossref","unstructured":"P. Chan J.D. Foley, V.L. Wallace. The human factors of computer graphics interaction techniques. Computer Graphics and Applications, 4(11), 1984.","DOI":"10.1109\/MCG.1984.6429355"},{"key":"4_CR25","unstructured":"G.D. Langolf. Human motor performance in precise microscopic work. PhD thesis, University of Michigan, 1973."},{"key":"4_CR26","unstructured":"R. Milner. Communication and Concurrency. Series in Computer Science. Prentice Hall International, 1989."},{"key":"4_CR27","unstructured":"F. Paterno\u2019 and G. Faconti. On the use of LOTOS to describe graphical interaction. In A. Monk, D. Diaper, and M. Harrison, editors, People and Computers VII: Proc. of the HCI\u201992 Conference, Conference Series, pages 155\u2013173. British Computer Society, 1992."},{"key":"4_CR28","doi-asserted-by":"crossref","unstructured":"G. Pfaff, editor. User Interface Management Systems. Eurographics seminars, Springer-Verlag, 1985.","DOI":"10.1007\/978-3-642-70041-5"},{"key":"4_CR29","doi-asserted-by":"crossref","unstructured":"D.S.H. Rosenthal et al. The detailed semantics of graphical input devices. Computer Graphics, 16(3), 1982.","DOI":"10.1145\/965145.801257"},{"key":"4_CR30","doi-asserted-by":"crossref","unstructured":"M. Ryan, J. Fiadeiro, and T. Maibaum. Sharing actions and attributes in modal action logic. In T. Ito and A.R. Meyer, editors, Theoretical Aspects of Computer Software, volume 526 of Lecture Notes in Computer Science, pages 569\u2013593. Springer-Verlag, 1991.","DOI":"10.1007\/3-540-54415-1_65"},{"key":"4_CR31","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_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,11]],"date-time":"2023-06-11T12:01:23Z","timestamp":1686484883000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-7091-7491-3_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783211829004","9783709174913"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-7091-7491-3_4","relation":{},"ISSN":["0946-2767"],"issn-type":[{"type":"print","value":"0946-2767"}],"subject":[],"published":{"date-parts":[[1996]]}}}