{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T08:30:22Z","timestamp":1725611422552},"publisher-location":"Vienna","reference-count":19,"publisher":"Springer Vienna","isbn-type":[{"type":"print","value":"9783211834053"},{"type":"electronic","value":"9783709168158"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-3-7091-6815-8_5","type":"book-chapter","created":{"date-parts":[[2011,9,19]],"date-time":"2011-09-19T19:23:51Z","timestamp":1316460231000},"page":"52-66","source":"Crossref","is-referenced-by-count":0,"title":["Contrasting Models for Visualisation (Seeing the wood through the trees)"],"prefix":"10.1007","author":[{"given":"Chris","family":"Roast","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jawed","family":"Siddiqi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","volume-title":"Formal methods: a survey. Technical report","author":"S Austin","year":"1993","unstructured":"S. Austin and G I Parkin. Formal methods: a survey. Technical report, 1993. National Physical Laboratory, UK."},{"key":"5_CR2","volume-title":"IEEE Computer","author":"P Jonathan","year":"1995","unstructured":"Jonathan P. Bowen and M. Hinchey. Ten commandments of formal methods. IEEE Computer, April 1995."},{"key":"5_CR3","unstructured":"C. Britton, S. Jones, and W. Lam. Separating the system interface from its internal state: an alternate structure for Z specifications. In Siddiqi [15], pages 87 \u2014 102. ISBN 0 86339 7948."},{"key":"5_CR4","volume-title":"IEEE Software Engineering Journal","author":"B Cohen","year":"1989","unstructured":"B. Cohen. A rejustification of the need for formal notations. IEEE Software Engineering Journal, 1989."},{"key":"5_CR5","unstructured":"D. Craigen, S. Gerhart, and T. Ralston. An international survey of industrial application of formal methods. Technical report, 1993. NISTGCR 93 626."},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"A. M. Dearden and M. D. Harrison. Abstract models for HCI. The International Journal of Human-Computer Studies, (46): 151\u2013177, 1997.","DOI":"10.1006\/ijhc.1996.0087"},{"key":"5_CR7","unstructured":"A. J. Dix. Formal Methods for Interactive Systems. Academic Press, 1991."},{"key":"5_CR8","volume-title":"Advanced Visual Interfaces \u201984","author":"D Duke","year":"1994","unstructured":"D. Duke, G. Faconti, M. Harrison, and Paterno F. Unifying views of interactors. In Advanced Visual Interfaces \u201984, pages 143\u2013152. ACM Press, 1994."},{"issue":"1","key":"5_CR9","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1049\/sej.1995.0003","volume":"10","author":"DJ Duke","year":"1995","unstructured":"D. J. Duke and M. D. Harrison. Mapping user requirements to implementations. Software Engineering Jounal, 10 (1): 13\u201320, 1995.","journal-title":"Software Engineering Jounal"},{"key":"5_CR10","unstructured":"P. Kotze. A generic modeling framework for interactive authoring support environments. In Siddiqi [15], pages 14 \u2014 31. ISBN 0 86339 7948."},{"key":"5_CR11","first-page":"204","volume-title":"ICRE\u201998","author":"NG Leveson","year":"1998","unstructured":"N. G. Leveson. Intent specification: An approach to building human-centered specification. In ICRE\u201998, pages 204\u2013213. 1998."},{"key":"5_CR12","unstructured":"P. Markopoulos. Comparing non deterministic models of tasks and devices. In Siddiqi [15], pages 70 \u2014 85. ISBN 0 86339 7948."},{"key":"5_CR13","volume-title":"D. J. Gilmore, R.L. Winder, and F. Detienne, editors, User-centred requirements for software engineering, pages 185-188. Springer-Verlag","author":"AF Monk","year":"1994","unstructured":"A. F. Monk, M. B. Curry, and P. C. Wright. Why industry doesn\u2019t use the wonderful notations we researchers have given them to reason about their design. In D. J. Gilmore, R.L. Winder, and F. Detienne, editors, User-centred requirements for software engineering, pages 185\u2013188. Springer-Verlag, 1994."},{"issue":"2","key":"5_CR14","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/S0953-5438(97)00014-3","volume":"9","author":"CR Roast","year":"1997","unstructured":"C. R. Roast and J. I. Siddiqi. Using the template model to analyse directory visualisation. Interacting with Computers, 9 (2): 155\u2013172, 1997.","journal-title":"Interacting with Computers"},{"key":"5_CR15","unstructured":"J. I. Siddiqi, editor. BCS-FRCS Workshop on Formal Aspects of the Human Computer Interface, Sheffield Hallam University, 1998. SHU Press, 1998. ISBN 0 86339 7948."},{"key":"5_CR16","volume-title":"Formally assessing visual and textual notations for supporting program modification","author":"JI Siddiqi","year":"1998","unstructured":"J. I. Siddiqi and C. R. Roast. Formally assessing visual and textual notations for supporting program modification. Technical report, Sheffield Hallam University, 1998."},{"key":"5_CR17","volume-title":"Formal Methods in Human Computer Interaction","author":"B Sufrin","year":"1990","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."},{"key":"5_CR18","volume-title":"Technical Report YCS","author":"HW Thimbleby","year":"1987","unstructured":"H. W. Thimbleby. Delaying commitment. Technical Report YCS 90, University of York, Computer Science Dept., 1987."},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"J.M. Wing. A specifier\u2019s introduction to formal methods. IEEE Computer, pages 8\u201322, 1990.","DOI":"10.1109\/2.58215"}],"container-title":["Eurographics","Design, Specification and Verification of Interactive Systems \u201999"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-7091-6815-8_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T04:51:23Z","timestamp":1606107083000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-7091-6815-8_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783211834053","9783709168158"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-7091-6815-8_5","relation":{},"ISSN":["0946-2767"],"issn-type":[{"type":"print","value":"0946-2767"}],"subject":[],"published":{"date-parts":[[1999]]}}}