{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T19:45:37Z","timestamp":1725651937473},"publisher-location":"Vienna","reference-count":15,"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_9","type":"book-chapter","created":{"date-parts":[[2012,1,11]],"date-time":"2012-01-11T13:28:42Z","timestamp":1326288522000},"page":"134-148","source":"Crossref","is-referenced-by-count":6,"title":["Exploring Design Options Rationally"],"prefix":"10.1007","author":[{"given":"Chris","family":"Bramwell","sequence":"first","affiliation":[]},{"given":"Bob","family":"Fields","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Harrison","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"G. D. Abowd. Formal Aspects of Human-Computer Interaction. PhD thesis, University of Oxford Computing Laboratory: Programming Research Group, 1991. Available as Technical Monograph PRG-97."},{"key":"9_CR2","first-page":"1","volume-title":"Proceedings of FME94: Industrial Benefit of Formal Methods, number 873 in Lecture Notes in Computer Science","author":"RJR Back","year":"1994","unstructured":"R.J.R. Back and K. Sere. From action systems to modular systems. In M. Naftalin, T. Denvir, and M. Bertran, editors, Proceedings of FME\u201994: Industrial Benefit of Formal Methods, number 873 in Lecture Notes in Computer Science, pages 1\u201325. Formal Methods Europe, Springer-Verlag, October 1994."},{"key":"9_CR3","unstructured":"A.J. Dix. Formal Methods for Interactive Systems. Computers and People. Academic Press, 1991."},{"issue":"3","key":"9_CR4","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1111\/1467-8659.1230025","volume":"12","author":"D Duke","year":"1993","unstructured":"D. Duke and M. Harrison. Abstract interaction objects. Computer Graphics Forum, 12 (3): 25\u201336, 1993.","journal-title":"Computer Graphics Forum"},{"key":"9_CR5","volume-title":"Proceedings, EUROGRAPHICS Workshop on the Design, Specification, Verification of Interactive Systems, Bocca di Magra, Italy","author":"B Fields","year":"1995","unstructured":"B. Fields, M. Harrison, and P. Wright. Modelling interactive systems and providing task relevant information. In F. Patern\u00f2, editor, Proceedings, EUROGRAPHICS Workshop on the Design, Specification, Verification of Interactive Systems, Bocca di Magra, Italy, Eurograph-ics Seminar Series. Springer-Verlag, 1995."},{"key":"9_CR6","volume-title":"Formal Methods in Human-Computer Interaction","author":"M Harrison","year":"1990","unstructured":"M. Harrison and H. Thimbleby, editors. Formal Methods in Human-Computer Interaction. Cambridge, 1990."},{"key":"9_CR7","volume-title":"Systematic Software Development Using VDM","author":"CB Jones","year":"1990","unstructured":"C.B. Jones. Systematic Software Development Using VDM. International Series in Computer Science. Prentice-Hall International, 2nd edition, 1990.","edition":"2"},{"key":"9_CR8","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1207\/s15327051hci0603&4_2","volume":"6","author":"A Maclean","year":"1991","unstructured":"A. MacLean, R. Young, V.M.E. Bellotti, and T. Moran. Questions, options, and criteria: Elements of design space analysis. Human-Computer Interaction, 6: 201\u2013250, 1991.","journal-title":"Human-Computer Interaction"},{"key":"9_CR9","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1007\/978-1-4612-4476-9_37","volume-title":"Beauty is our business","author":"C Morgan","year":"1990","unstructured":"C. Morgan. Of wp and CSP. In A.J.M. Feijen, D. van Gasteren, D. Gries, and J. Misra, editors, Beauty is our business, chapter 36, pages 319\u2013326. Springer-Verlag, 1990."},{"key":"9_CR10","volume-title":"Programming from specifications","author":"C Morgan","year":"1990","unstructured":"C. Morgan. Programming from specifications. International Series in Computer Science. Prentice-Hall International, 1990."},{"key":"9_CR11","volume-title":"The Z notation: A reference manual","author":"JM Spivey","year":"1990","unstructured":"J.M. Spivey. The Z notation: A reference manual. Prentice-Hall International, second edition, 1992."},{"key":"9_CR12","volume-title":"User Interface Design","author":"H Thimbleby","year":"1990","unstructured":"H. Thimbleby. User Interface Design. Frontier Series. ACM Press, 1990."},{"key":"9_CR13","unstructured":"M. Utting and K. Robinson. Towards an object-oriented refinement calculus. Australian Computer Science Communications, 13 (1), February 1991."},{"key":"9_CR14","first-page":"340","volume-title":"Refinement of state-based concurrent systems","author":"JCP Woodcock","year":"1990","unstructured":"J.C.P. Woodcock and C. Morgan. Refinement of state-based concurrent systems. Lecture Notes in Computer Science 428, Springer-Verlag, pages 340\u2013351, 1990."},{"key":"9_CR15","first-page":"I","volume-title":"HCI94 Con-ference, People and Computers","author":"RM Young","year":"1994","unstructured":"R.M. Young and G.D. Abowd. Multi-perspective modelling of interface design issues: Undo in a collaborative editor. In G. Cockton, S.W. Draper, and G.R.S Weir, editors, HCI\u201994 Con-ference, People and Computers I X. BCS HCI Specialist Group, Cambridge University Press, 1994."}],"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_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T05:13:50Z","timestamp":1606108430000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-7091-9437-9_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783211827390","9783709194379"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-7091-9437-9_9","relation":{},"ISSN":["0946-2767"],"issn-type":[{"type":"print","value":"0946-2767"}],"subject":[],"published":{"date-parts":[[1995]]}}}