{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T03:37:57Z","timestamp":1777606677272,"version":"3.51.4"},"reference-count":32,"publisher":"Institution of Engineering and Technology (IET)","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEE Proc., Softw."],"published-print":{"date-parts":[[1999]]},"DOI":"10.1049\/ip-sen:19990600","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T11:09:42Z","timestamp":1027681782000},"page":"193","source":"Crossref","is-referenced-by-count":11,"title":["Effects of structure on the comprehensibility of formal specifications"],"prefix":"10.1049","volume":"146","author":[{"given":"K.","family":"Finney","sequence":"first","affiliation":[]},{"given":"N.","family":"Fenton","sequence":"additional","affiliation":[]},{"given":"A.","family":"Fedorec","sequence":"additional","affiliation":[]}],"member":"265","reference":[{"key":"10.1049\/ip-sen:19990600_r1","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1109\/52.300094","volume":"11","author":"FENTON","year":"1994","ISSN":"https:\/\/id.crossref.org\/issn\/0740-7459","issn-type":"print"},{"key":"10.1049\/ip-sen:19990600_r2","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1109\/52.35587","volume":"6","author":"SCANLAN","year":"1989","ISSN":"https:\/\/id.crossref.org\/issn\/0740-7459","issn-type":"print"},{"key":"10.1049\/ip-sen:19990600_r3","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1145\/69605.2085","volume":"27","author":"BASILI","year":"1984","ISSN":"https:\/\/id.crossref.org\/issn\/0001-0782","issn-type":"print"},{"key":"10.1049\/ip-sen:19990600_r4","doi-asserted-by":"crossref","unstructured":"HATTON, L.: Logarithmic disorder in software systems: evidence and implications, (Preprint 1995)","DOI":"10.1109\/52.382193"},{"key":"10.1049\/ip-sen:19990600_r5","unstructured":"MOLLER, K.H., and PAULISH, D.: \u2018An empirical investigation of software fault distribution\u2019, FENTON, N.E., WHITTY, R.W., IIZUKA, Y., Software quality assurance and measurement, (International Thomson Computer Press 1995), p. 242\u2013253"},{"key":"10.1049\/ip-sen:19990600_r6","unstructured":"SPIVEY, J.M.: The Z notation: a reference manual, 2nd(Prentice-Hall International 1992)"},{"key":"10.1049\/ip-sen:19990600_r7","year":"1997"},{"key":"10.1049\/ip-sen:19990600_r8","doi-asserted-by":"crossref","first-page":"158","DOI":"10.1109\/32.485225","volume":"22","author":"FINNEY","year":"1996","ISSN":"https:\/\/id.crossref.org\/issn\/0098-5589","issn-type":"print"},{"key":"10.1049\/ip-sen:19990600_r9","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1109\/52.493020","volume":"13","author":"LARSON","year":"1996","ISSN":"https:\/\/id.crossref.org\/issn\/0740-7459","issn-type":"print"},{"key":"10.1049\/ip-sen:19990600_r10","doi-asserted-by":"crossref","unstructured":"BARDEN, R., and STEPNEY, S.: \u2018Support for using Z\u2019, BONEN, J.P., NICHOLLS, J.E., Z user workshop, (Springer-Verlag, London 1992)","DOI":"10.1007\/978-1-4471-3556-2_17"},{"key":"10.1049\/ip-sen:19990600_r11","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1109\/TSE.1984.5010252","volume":"10","author":"VESSEY","year":"1984","ISSN":"https:\/\/id.crossref.org\/issn\/0098-5589","issn-type":"print"},{"key":"10.1049\/ip-sen:19990600_r12","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1109\/52.582978","volume":"14","author":"HATTON","year":"1997","ISSN":"https:\/\/id.crossref.org\/issn\/0740-7459","issn-type":"print"},{"key":"10.1049\/ip-sen:19990600_r13","unstructured":"PARNAS, D.: \u2018On the criteria to be used in decomposing systems into modules\u2019, YOURDON, E., Classics in software engineering, (Yourdon Press, New York 1979)"},{"key":"10.1049\/ip-sen:19990600_r14","doi-asserted-by":"crossref","first-page":"1271","DOI":"10.1109\/32.6171","volume":"14","author":"TENNY","year":"1988","ISSN":"https:\/\/id.crossref.org\/issn\/0098-5589","issn-type":"print"},{"key":"10.1049\/ip-sen:19990600_r15","unstructured":"HAROLD, F.G.: \u2018Experimental evaluation of program quality using external metrics\u2019, SOLOWAY, E., IYENGAR, S., Empirical studies of programmers, (Ablex Publishing Corp., NJ 1986)"},{"key":"10.1049\/ip-sen:19990600_r16","first-page":"143","volume":"4","author":"TAKANG","year":"1996","ISSN":"https:\/\/id.crossref.org\/issn\/0963-9306","issn-type":"print"},{"key":"10.1049\/ip-sen:19990600_r17","unstructured":"\u2018Reasoning about formal software specifications: an initial investigation\u2019, University of Hertfordshire, Division of Computer Science, 1996"},{"key":"10.1049\/ip-sen:19990600_r18","unstructured":"\u2018A review of twenty four formal specification notations\u2019, University of Hertfordshire, Division of Computer Science, 1996"},{"key":"10.1049\/ip-sen:19990600_r19","unstructured":"\u2018Transfer of logical tendencies to formal reasoning\u2019, University of Hertfordshire, Division of Computer Science, 1996"},{"key":"10.1049\/ip-sen:19990600_r20","unstructured":"\u2018Formal methods: no cure for faulty reasoning\u2019, University of Hertfordshire, Division of Computer Science, 1996"},{"key":"10.1049\/ip-sen:19990600_r21","first-page":"216","author":"VINTER","year":"1998","journal-title":"Proceedings of the 5th International Software Metrics Symposium"},{"key":"10.1049\/ip-sen:19990600_r22","first-page":"593","volume":"18","author":"MITCHELL","year":"1994"},{"key":"10.1049\/ip-sen:19990600_r23","unstructured":"HAYES, I.: Specification case studies, (Prentice Hall 1987)"},{"key":"10.1049\/ip-sen:19990600_r24","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0164-1212(98)00003-X","volume":"42","author":"FINNEY","year":"1998","ISSN":"https:\/\/id.crossref.org\/issn\/0164-1212","issn-type":"print"},{"key":"10.1049\/ip-sen:19990600_r25","first-page":"394","volume":"20","author":"JORGENSEN","year":"1980"},{"key":"10.1049\/ip-sen:19990600_r26","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1111\/j.2044-8325.1977.tb00363.x","volume":"50","author":"GREEN","year":"1977","ISSN":"https:\/\/id.crossref.org\/issn\/0305-8107","issn-type":"print"},{"key":"10.1049\/ip-sen:19990600_r27","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1145\/358841.358847","volume":"23","author":"BROOKS","year":"1980","ISSN":"https:\/\/id.crossref.org\/issn\/0001-0782","issn-type":"print"},{"key":"10.1049\/ip-sen:19990600_r28","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1109\/32.372147","volume":"21","author":"ZWEBEN","year":"1988","ISSN":"https:\/\/id.crossref.org\/issn\/0098-5589","issn-type":"print"},{"key":"10.1049\/ip-sen:19990600_r29","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/BF00368701","volume":"1","author":"DALY","year":"1996","ISSN":"https:\/\/id.crossref.org\/issn\/1382-3256","issn-type":"print"},{"key":"10.1049\/ip-sen:19990600_r30","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1109\/32.391380","volume":"21","author":"PORTER","year":"1995","ISSN":"https:\/\/id.crossref.org\/issn\/0098-5589","issn-type":"print"},{"key":"10.1049\/ip-sen:19990600_r31","unstructured":"MINITAB INC: Minitab reference manual, 3081 Enterprise Drive, State College, PA, USA, 16801"},{"key":"10.1049\/ip-sen:19990600_r32","unstructured":"HINTON, P.R.: Statistics explained, (Routledge 1995)"}],"container-title":["IEE Proceedings - Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/digital-library.theiet.org\/content\/journals\/10.1049\/ip-sen_19990600?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:52Z","timestamp":1609471012000},"score":1,"resource":{"primary":{"URL":"https:\/\/digital-library.theiet.org\/content\/journals\/10.1049\/ip-sen_19990600"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"references-count":32,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1999]]}},"URL":"https:\/\/doi.org\/10.1049\/ip-sen:19990600","relation":{},"ISSN":["1462-5970"],"issn-type":[{"value":"1462-5970","type":"print"}],"subject":[],"published":{"date-parts":[[1999]]}}}