{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,12,29]],"date-time":"2022-12-29T18:27:13Z","timestamp":1672338433069},"reference-count":20,"publisher":"Institution of Engineering and Technology (IET)","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEE Proc., Softw. Eng."],"published-print":{"date-parts":[[1997]]},"DOI":"10.1049\/ip-sen:19970973","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T11:03:36Z","timestamp":1027681416000},"page":"101","source":"Crossref","is-referenced-by-count":6,"title":["Usability requirements as specification constraints: an example of WYSIWYG"],"prefix":"10.1049","volume":"144","author":[{"given":"C.R.","family":"Roast","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.I.","family":"Siddiqi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"265","reference":[{"key":"10.1049\/ip-sen:19970973_r1","unstructured":"Barnard, P., and Harrison, M.D.: \u2018Integrating cognitive and system models in human computer interaction\u2019, Sutcliffe, A.G., Macauley, L.A., People and computers V, (Cambridge University Press 1989), p. 87\u2013104"},{"key":"10.1049\/ip-sen:19970973_r2","first-page":"189","author":"Barnard","year":"1992","journal-title":"Proceedings International Conference"},{"key":"10.1049\/ip-sen:19970973_r3","unstructured":"\u2018Syndetic modelling\u2019, Technical Report Amodeus Project Document: Integration and Design, ID\/WP49, University of York, June 1995"},{"key":"10.1049\/ip-sen:19970973_r4","unstructured":"Harrison, M.D., Roast, C.R., and Wright, P.C.: \u2018Complementary methods for the iterative design of interactive systems\u2019, Salvendy, G., Smith, M.J., Designing and using human-computer interfaces and knowledge based systems, (Elsevier Scientific 1989), p. 651\u2013658"},{"key":"10.1049\/ip-sen:19970973_r5","unstructured":"Roast, C.R.: \u2018Executing models in human computer interaction\u2019, 1993, PhD, University of York Department of Computer Science"},{"key":"10.1049\/ip-sen:19970973_r6","unstructured":"Harrison, M.D., and Dix, A.J.: \u2018A state model of direct manipulation\u2019, Harrison, M.D., Thimbleby, H.W., Formal methods in human computer interaction, (Cambridge University Press 1990), p. 129\u2013151"},{"key":"10.1049\/ip-sen:19970973_r7","unstructured":"Dix, A.J.: \u2018Formal methods for interactive systems\u2019, (Academic Press 1991)"},{"key":"10.1049\/ip-sen:19970973_r8","unstructured":"Spivey, J.M.: \u2018The Z notation: a reference manual\u2019, (Prentice Hall International 1988)"},{"key":"10.1049\/ip-sen:19970973_r9","first-page":"157","volume":"1","author":"Sufrin","year":"1982"},{"key":"10.1049\/ip-sen:19970973_r10","first-page":"67","author":"Bowen","year":"1989"},{"key":"10.1049\/ip-sen:19970973_r11","unstructured":"Knuth, D.E.: \u2018The TEXbook\u2019, (Addison-Wesley 1984)"},{"key":"10.1049\/ip-sen:19970973_r12","unstructured":"\u2018Microsoft Rich Text Format Specification\u2019, Technical report, Microsoft Corporation Redmind WA 98073\u20139717, 1989"},{"key":"10.1049\/ip-sen:19970973_r13","unstructured":"Knuth, D.E.: \u2018The METAFONTbook\u2019, ( Addison Wesley 1992)"},{"key":"10.1049\/ip-sen:19970973_r14","first-page":"13","volume":"10","author":"Duke","year":"1995"},{"key":"10.1049\/ip-sen:19970973_r15","unstructured":"\u2018ISO\/DIS 924\u20133. Visual display terminals (vdts) used for office tasks \u2013 ergonomic requirements \u2013 part 3: Visual display requirements\u2019, Technical report, ISO Standards Authority, 1988 DRAFT"},{"key":"10.1049\/ip-sen:19970973_r16","unstructured":"Lamport, L.: \u2018LATEX: a document preparation language\u2019, (Addison-Wesley 1986)"},{"key":"10.1049\/ip-sen:19970973_r17","unstructured":"\u2018Hypertext markup language - 2.0\u2019, Technical report, May 1995 Internet-Draft of the International Engineering Task Force"},{"key":"10.1049\/ip-sen:19970973_r18","author":"Carroll","year":"1989","journal-title":"Proceedings Association of Computing Machinery Conference CHI'89"},{"key":"10.1049\/ip-sen:19970973_r19","doi-asserted-by":"crossref","unstructured":"Roast, C.R.: \u2018Modelling interaction using template abstractions\u2019, Cockton, G., Draper, S.W., Weir, G.R.S., People and Computers IX, (Cambridge University Press 1994), p. 273\u2013284","DOI":"10.1017\/CBO9780511600821.021"},{"key":"10.1049\/ip-sen:19970973_r20","unstructured":"Adobe Systems Incorporated: \u2018PostScript Language Reference Manual\u2019, (Addison Wesley 1986)"}],"container-title":["IEE Proceedings - Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/digital-library.theiet.org\/content\/journals\/10.1049\/ip-sen_19970973?crawler=true&mimetype=application\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T03:16:19Z","timestamp":1609470979000},"score":1,"resource":{"primary":{"URL":"https:\/\/digital-library.theiet.org\/content\/journals\/10.1049\/ip-sen_19970973"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"references-count":20,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1997]]}},"URL":"https:\/\/doi.org\/10.1049\/ip-sen:19970973","relation":{},"ISSN":["1364-5080"],"issn-type":[{"value":"1364-5080","type":"print"}],"subject":[],"published":{"date-parts":[[1997]]}}}