{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,11,17]],"date-time":"2023-11-17T12:02:18Z","timestamp":1700222538953},"reference-count":25,"publisher":"Institution of Engineering and Technology (IET)","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEE Proc., Softw. Eng."],"published-print":{"date-parts":[[1997]]},"DOI":"10.1049\/ip-sen:19971104","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T11:09:42Z","timestamp":1027681782000},"page":"185","source":"Crossref","is-referenced-by-count":4,"title":["From logic to manuals again"],"prefix":"10.1049","volume":"144","author":[{"given":"H.W.","family":"Thimbleby","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.B.","family":"Ladkin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"265","reference":[{"key":"10.1049\/ip-sen:19971104_r1","doi-asserted-by":"crossref","first-page":"438","DOI":"10.1145\/358557.358572","volume":"25","author":"Swartout","year":"1982","ISSN":"http:\/\/id.crossref.org\/issn\/0001-0782","issn-type":"print"},{"key":"10.1049\/ip-sen:19971104_r2","first-page":"14","volume":"11","author":"Boehm","year":"1986"},{"key":"10.1049\/ip-sen:19971104_r3","first-page":"331","volume":"1","author":"Ladkin","year":"1995"},{"key":"10.1049\/ip-sen:19971104_r4","unstructured":"Buck, R.N.: \u2018The pilot's burden: flight safety and the roots of pilot error\u2019, (Iowa State University Press 1994)"},{"key":"10.1049\/ip-sen:19971104_r5","doi-asserted-by":"crossref","first-page":"684","DOI":"10.1109\/32.317428","volume":"SE\u201320","author":"Leveson","year":"1994","ISSN":"http:\/\/id.crossref.org\/issn\/0098-5589","issn-type":"print"},{"key":"10.1049\/ip-sen:19971104_r6","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1109\/32.508311","volume":"22","author":"Heimdahl","year":"1996","ISSN":"http:\/\/id.crossref.org\/issn\/0098-5589","issn-type":"print"},{"key":"10.1049\/ip-sen:19971104_r7","doi-asserted-by":"crossref","first-page":"948","DOI":"10.1109\/32.368133","volume":"SE\u201320","author":"Parnas","year":"1994","ISSN":"http:\/\/id.crossref.org\/issn\/0098-5589","issn-type":"print"},{"key":"10.1049\/ip-sen:19971104_r8","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/0167-6423(95)96871-J","volume":"25","author":"Parnas","year":"1995","ISSN":"http:\/\/id.crossref.org\/issn\/0167-6423","issn-type":"print"},{"key":"10.1049\/ip-sen:19971104_r9","first-page":"259","volume":"9","author":"Reiter","year":"1995"},{"key":"10.1049\/ip-sen:19971104_r10","unstructured":"Main Commission Aircraft Accident Investigation Warsaw: \u2018Report on the accident to Airbus A320-211 aircraft in Warsaw on 14 September 1993\u2019. Warsaw, March 1994 (also available from http:\/\/www.rvs.uni-bielefeld.de)"},{"key":"10.1049\/ip-sen:19971104_r11","doi-asserted-by":"crossref","first-page":"768","DOI":"10.1109\/32.464544","volume":"21","author":"Lamport","year":"1995","ISSN":"http:\/\/id.crossref.org\/issn\/0098-5589","issn-type":"print"},{"key":"10.1049\/ip-sen:19971104_r12","first-page":"872","volume":"16","author":"Lamport","year":"1994"},{"key":"10.1049\/ip-sen:19971104_r13","unstructured":"Perrow, C.: \u2018Normal accidents: living with high-risk technologies\u2019, (Basic Books )"},{"key":"10.1049\/ip-sen:19971104_r14"},{"key":"10.1049\/ip-sen:19971104_r15","unstructured":"Barth, H.: \u2018DiDoLog: Automatable generation of specifications and formally correct manuals from informal sources\u2019, , Master's, Universita\u0308t Bielefeld Technische Fakulta\u0308t also available from http:\/\/www.rvs.uni-bielefeld.de"},{"key":"10.1049\/ip-sen:19971104_r16","unstructured":"Ousterhout, J.K.: \u2018Tcl and the Tk Toolkit\u2019, (Addison-Wesley 1994)"},{"key":"10.1049\/ip-sen:19971104_r17","first-page":"279","author":"Thimbleby","year":"1996","journal-title":"ACM conference on"},{"key":"10.1049\/ip-sen:19971104_r18","unstructured":"Thimbleby, H., and Ladkin, P.B.: \u2018A proper explanation when you need one\u2019, Kirby, M.A.R., Dix, A.J., Finlay, J.E., People and computers X. Proc. BCS Conf. on HCI'95, (Cambridge University Press 1995), p. 107\u2013118 also available from http:\/\/www.rvs.uni-bielefeld.de"},{"key":"10.1049\/ip-sen:19971104_r19","unstructured":"NCSA: \u2018A beginner's guide to HTML\u2019. Available from http:\/\/www.ncsa.uiuc.edu\/General\/Internet\/WWW\/HTMLPrimer.html, 1996"},{"key":"10.1049\/ip-sen:19971104_r20","unstructured":"Zissos, D.: \u2018Logic design algorithms\u2019, (Harwell\/Oxford University Press 1972)"},{"key":"10.1049\/ip-sen:19971104_r21","first-page":"213","volume":"26","author":"Okuno","year":"1996"},{"key":"10.1049\/ip-sen:19971104_r22","unstructured":"Carroll, J.M.: \u2018The Nu\u0308rnberg funnel: designing minimalist instruction for practical computer skill\u2019, (MIT Press 1990)"},{"key":"10.1049\/ip-sen:19971104_r23","unstructured":"Knuth, D.E.: \u2018The TeXbook\u2019, (Addison-Wesley 1992)"},{"key":"10.1049\/ip-sen:19971104_r24","unstructured":"Lamport, L.: \u2018LaTeX: a document preparation system\u2019, (Addison-Wesley 1994)"},{"key":"10.1049\/ip-sen:19971104_r25","unstructured":"Bryan, M.: \u2018SGML: an author's guide\u2019, (Addison-Wesley 1988)"}],"container-title":["IEE Proceedings - Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/digital-library.theiet.org\/content\/journals\/10.1049\/ip-sen_19971104?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:21Z","timestamp":1609470981000},"score":1,"resource":{"primary":{"URL":"https:\/\/digital-library.theiet.org\/content\/journals\/10.1049\/ip-sen_19971104"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"references-count":25,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1997]]}},"URL":"https:\/\/doi.org\/10.1049\/ip-sen:19971104","relation":{},"ISSN":["1364-5080"],"issn-type":[{"value":"1364-5080","type":"print"}],"subject":[],"published":{"date-parts":[[1997]]}}}