{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T23:57:42Z","timestamp":1649116662196},"reference-count":16,"publisher":"Oxford University Press (OUP)","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Interacting with Computers"],"published-print":{"date-parts":[[1997,11]]},"DOI":"10.1016\/s0953-5438(97)00014-3","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T11:07:39Z","timestamp":1027595259000},"page":"155-172","source":"Crossref","is-referenced-by-count":3,"title":["Using the template model to analyse directory visualisation"],"prefix":"10.1093","volume":"9","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":"286","reference":[{"issue":"1","key":"10.1016\/S0953-5438(97)00014-3_BIB1","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1049\/sej.1995.0003","article-title":"Mapping user requirements to implementations","volume":"10","author":"Duke","year":"1995","journal-title":"Software Engineering Journal"},{"key":"10.1016\/S0953-5438(97)00014-3_BIB2","doi-asserted-by":"crossref","unstructured":"D.J. Duke, P.J. Barnard, J. May. D.A. Duce, Systematic development of the human interface, in Proceedings of APSEC'95: Second Asia-Pacific Software Engineering Conference, IEEE Computer Society Press, 1995.","DOI":"10.1109\/APSEC.1995.496980"},{"key":"10.1016\/S0953-5438(97)00014-3_BIB3","doi-asserted-by":"crossref","unstructured":"P.A. Palanque, R. Bastide, Synergistic modelling of tasks, users, and systems using formal specification techniques, Interacting with Computers (1997) 9(2).","DOI":"10.1016\/S0953-5438(97)00013-1"},{"key":"10.1016\/S0953-5438(97)00014-3_BIB4","unstructured":"C.R. Roast, Executing Models in Human Computer Interaction, PhD thesis, Department of Computer Science, University of York, 1993."},{"key":"10.1016\/S0953-5438(97)00014-3_BIB5","unstructured":"M.D. Harrison, A.J. Dix, A state model of direct manipulation, in M.D. Harrison, H.W. Thimbleby (Eds.), Formal Methods in Human Computer Interaction, Cambridge University Press, 1990, pp. 129\u2013151."},{"key":"10.1016\/S0953-5438(97)00014-3_BIB6","unstructured":"A.J. Dix, Formal Methods for Interactive Systems, Academic Press, 1991."},{"key":"10.1016\/S0953-5438(97)00014-3_BIB7","doi-asserted-by":"crossref","unstructured":"F. Patern\u00f2, Formal reasoning about dialogue properties with automatic support, Interacting with Computers (1997) 9(2).","DOI":"10.1016\/S0953-5438(97)00015-5"},{"issue":"7","key":"10.1016\/S0953-5438(97)00014-3_BIB8","doi-asserted-by":"crossref","first-page":"484","DOI":"10.1109\/32.538605","article-title":"Elements of style: Analyzing a software design feature with a counterexample detector","volume":"22","author":"Jackson","year":"1996","journal-title":"IEEE Transations on Software Engineering"},{"key":"10.1016\/S0953-5438(97)00014-3_BIB9","doi-asserted-by":"crossref","unstructured":"R.J. Butterworth, D.J. Cooke, Using temporal logic in the specification of reactive and interaction systems, in: Roast and Siddiqi 1996, ISBN 3-540-76105-5, URL: http:\/\/www.springer.co.uk\/eWiC\/Workshops\/FAHCI.html.","DOI":"10.14236\/ewic\/FAC1996.1"},{"key":"10.1016\/S0953-5438(97)00014-3_BIB10","doi-asserted-by":"crossref","unstructured":"P. Lindsay, A formal approach to specification and verification of task management in interactive systems, IEE Proceedings\u2014Software Engineering (1997) to appear.","DOI":"10.1049\/ip-sen:19971513"},{"key":"10.1016\/S0953-5438(97)00014-3_BIB11","doi-asserted-by":"crossref","unstructured":"C.R. Roast, M.D. Harrison, User centred system design using the template model, in: F. Patern\u00f2, (Ed.) Proceedings, EUROGRAPHICS Workshop on the Design, Specification, Verification of Interactive Systems, Bocca di Magra, Italy, Eurographics Seminar Series, Springer-Verlag. ISBN 3-54059450-9, 1995, pp. 401\u2013424.","DOI":"10.1007\/978-3-642-87115-3_24"},{"issue":"2","key":"10.1016\/S0953-5438(97)00014-3_BIB12","doi-asserted-by":"crossref","first-page":"110","DOI":"10.1145\/22949.22950","article-title":"Automating the design of graphical presentations of relational information","volume":"5","author":"Mackinlay","year":"1986","journal-title":"ACM Transactions on Graphics"},{"key":"10.1016\/S0953-5438(97)00014-3_BIB13","doi-asserted-by":"crossref","unstructured":"C.R. Roast, The formal specification of a network directory service and it interface, Technical report, 1997.","DOI":"10.1049\/ip-sen:19970973"},{"key":"10.1016\/S0953-5438(97)00014-3_BIB14","doi-asserted-by":"crossref","unstructured":"C.R. Roast, J.I. Siddiqi, Usability requirements at specification constraints\u2014an example of WYSIWYG, IEE Proceedings Software Engineering, 144 (2) (1997) 101\u2013110.","DOI":"10.1049\/ip-sen:19970973"},{"key":"10.1016\/S0953-5438(97)00014-3_BIB15","doi-asserted-by":"crossref","unstructured":"J.I. Siddiqi, Challenging universal truths of requirements engineering, IEEE Software, 11(2) (1994) 18\u201319.","DOI":"10.1109\/52.268951"},{"key":"10.1016\/S0953-5438(97)00014-3_BIB16","doi-asserted-by":"crossref","unstructured":"C.R. Roast, J.I. Siddiqi, (Eds.) BCS-FACS Workshop on Formal Aspects of the Human Computer Interface, Sheffield Hallam University, 10\u201312 September 1996, Electronic Workshops in Computing, Springer-Verlag, 1996, ISBN 3-540-76105-5, URL: http:\/\/www.springer.co. uk\/eWiC\/Workshops\/FAHCI.html","DOI":"10.1109\/OZCHI.1996.560014"}],"container-title":["Interacting with Computers"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/iwc\/article-pdf\/9\/2\/155\/2074088\/iwc9-0155.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,9]],"date-time":"2020-01-09T21:21:49Z","timestamp":1578604909000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/iwc\/article-lookup\/doi\/10.1016\/S0953-5438(97)00014-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,11]]},"references-count":16,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1997,11]]}},"alternative-id":["S0953543897000143"],"URL":"https:\/\/doi.org\/10.1016\/s0953-5438(97)00014-3","relation":{},"ISSN":["0953-5438"],"issn-type":[{"value":"0953-5438","type":"print"}],"subject":[],"published":{"date-parts":[[1997,11]]}}}