{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T04:32:04Z","timestamp":1742358724589,"version":"3.40.1"},"publisher-location":"Vienna","reference-count":25,"publisher":"Springer Vienna","isbn-type":[{"type":"print","value":"9783211827390"},{"type":"electronic","value":"9783709194379"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/978-3-7091-9437-9_5","type":"book-chapter","created":{"date-parts":[[2012,1,11]],"date-time":"2012-01-11T18:28:42Z","timestamp":1326306522000},"page":"54-75","source":"Crossref","is-referenced-by-count":7,"title":["Interaction and Task Requirements"],"prefix":"10.1007","author":[{"given":"D. J.","family":"Duke","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M. D.","family":"Harrison","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","volume-title":"Eurographics Workshop on Design, Specification and Verification of Interactive Systems. Springer, June","author":"PJ Barnard","year":"1995","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. Springer, June 1994. Held in Bocca di Magra, Italy. To appear 1995."},{"key":"5_CR2","first-page":"105","volume-title":"FME94: Industrial Benefit of Formal Methods, volume 873 of Lecture Notes in Computer Science. Springer-Verlag","author":"JP Bowen","year":"1994","unstructured":"J.P. Bowen and M.J. Hinchey. Seven more myths of formal methods. In FME\u201994: Industrial Benefit of Formal Methods, volume 873 of Lecture Notes in Computer Science, pages 105\u2013117. Springer-Verlag, 1994."},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"J. Coutaz, L. Nigay, and D. Salber. The MSM framework: A design space for multi-sensory-motor systems. In Proc. EWHCI\u2019gS, volume 753 of Lecture Notes in Computer Science pages 231\u2013241. Springer-Verlag, 1993. 69","DOI":"10.1007\/3-540-57433-6_52"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"D.J. Duke. Reasoning about gestural interaction. Computer Graphics Forum,14(3), 1995. Conference Issue: Proc. Eurographics\u201995, Maastricht, The Netherlands.","DOI":"10.1111\/j.1467-8659.1995.cgf143_0055.x"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"D.J. Duke, G. Faconti, M.D. Harrison, and F. Paterno\u2019. Unifying views of interactors. In Proc International Workshop on Advanced Visual Interfaces, pages 143\u2013152. ACM Press, 1994.","DOI":"10.1145\/192309.192341"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"D.J. Duke and M.D. Harrison. Abstract interaction objects. Computer Graphics Forum,12(3):25\u201336, 1993. Conference Issue: Proc. Eurographics\u201993.","DOI":"10.1111\/1467-8659.1230025"},{"key":"5_CR7","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, volume 896 of Lecture Notes in Computer Science, pages 159\u2013173. Springer-Verlag, 1994.","DOI":"10.1007\/BFb0035813"},{"key":"5_CR8","unstructured":"D.J. Duke and M.D. Harrison. FSM: Overview and worked examples. Technical Report SM\/WP44, ESPRIT BRA 7040 Amodeus-2, December 1994. See also the Amodeus-2 Executive Summaries on the World-Wide Web."},{"key":"5_CR9","unstructured":"D.J. Duke and M.D. Harrison. Matis: A case study in formal specification. Technical Report SM\/WP17, ESPRIT BRA 7040 Amodeus-2, January 1994. File: sysmod\/sm_wpl7.ps."},{"key":"5_CR10","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1007\/3-540-58555-9_100","volume-title":"FME94: Industrial Benefit of Formal Methods, volume 873 of Lecture Notes in Computer Science","author":"DJ Duke","year":"1994","unstructured":"D.J. Duke and M.D. Harrison. A theory of presentations. In FME\u201994: Industrial Benefit of Formal Methods, volume 873 of Lecture Notes in Computer Science, pages 271\u2013290. Springer-Verlag, 1994."},{"key":"5_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-5983-1","volume-title":"The Science of Programming","author":"D Gries","year":"1981","unstructured":"D. Gries. The Science of Programming. Texts and Monographs in Computer Science. Springer-Verlag, 1981."},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"A. Hall. Seven myths of formal methods. Software, pages 11\u201319, September 1990.","DOI":"10.1109\/52.57887"},{"key":"5_CR13","volume-title":"Specification Case Studies","author":"IJ Hayes","year":"1992","unstructured":"I.J. Hayes. Specification Case Studies. Series in Computer Science. Prentice Hall International, second edition, 1992."},{"key":"5_CR14","unstructured":"C.B. Jones. Systematic Software Development Using VDM. Prentice Hall International, second edition, 1990."},{"key":"5_CR15","unstructured":"C.B. Jones and R. Shaw, editors. Case Studies in Systematic Software Development. Prentice Hall, 1990."},{"key":"5_CR16","first-page":"208","volume-title":"Proc. of the IEEE International Workshop on Requirements Engineering","author":"SJ Kent","year":"1993","unstructured":"S.J. Kent, T.S. Maibaum, and W.J. Quirk. Formally specifying temporal constraints and error recovery. In Proc. of the IEEE International Workshop on Requirements Engineering, pages 208\u2013215. IEEE Press, 1993."},{"key":"5_CR17","unstructured":"E.J. Lemmon. Beginning Logic. Thomas Nelson and Sons, 1965."},{"issue":"34","key":"5_CR18","first-page":"201250","volume":"6","author":"A. MacLean","year":"1991","unstructured":"A. MacLean, R. Young, V. Bellotti, and T. Moran. Questions, options, and criteria: Elements of design space analysis. Human-Computer Interaction,6(34):201250, 1991.","journal-title":"Human-Computer Interaction"},{"key":"5_CR19","unstructured":"J.-J. Ch. Meyer and R.J. Wieringa, editors. Deontic Logic in Computer Science: Normative System Specification. Wiley Professional Computing, 1993."},{"key":"5_CR20","volume-title":"Conception et mod\u00e9lisation logicielles des syst\u00e8mes interactifs. Ph.D","author":"L Nigay","year":"1994","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":"5_CR21","doi-asserted-by":"crossref","unstructured":"F. Paterno\u2019 and A. Leonardi. A semantics based approach for the design and implementation of interaction objects. Computer Graphics Forum,13(3), 1994. Conference Issue: Proc. Eurographics\u201994, Oslo, Norway.","DOI":"10.1111\/1467-8659.1330195"},{"key":"5_CR22","doi-asserted-by":"crossref","unstructured":"M. Ryan. Defaults in specifications. In Proc. of the IEEE International Workshop on Requirements Engineering, pages 142\u2013149. IEEE Press, 1993.","DOI":"10.1109\/ISRE.1993.324823"},{"key":"5_CR23","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":"5_CR24","unstructured":"I. Sommerville. Software Engineering. Addison-Wesley, fourth edition, 1992."},{"key":"5_CR25","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 \u201995"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-7091-9437-9_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,18]],"date-time":"2025-03-18T18:47:36Z","timestamp":1742323656000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-7091-9437-9_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783211827390","9783709194379"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-7091-9437-9_5","relation":{},"ISSN":["0946-2767"],"issn-type":[{"type":"print","value":"0946-2767"}],"subject":[],"published":{"date-parts":[[1995]]}}}