{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T15:52:40Z","timestamp":1761580360083,"version":"3.28.0"},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/isese.2005.1541834","type":"proceedings-article","created":{"date-parts":[[2005,12,10]],"date-time":"2005-12-10T20:49:09Z","timestamp":1134247749000},"page":"247-256","source":"Crossref","is-referenced-by-count":10,"title":["An empirical investigation of the comprehensibility of requirements specifications"],"prefix":"10.1109","author":[{"given":"D.","family":"Carew","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Exton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Buckley","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"The Irish Politics Website Labour Urges Suspension of Electronic Voting","year":"2003","key":"19"},{"journal-title":"Irish Electoral Act","year":"1923","key":"17"},{"journal-title":"ARM Website and Download","year":"0","key":"18"},{"key":"15","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1049\/ip-sen:19990600","article-title":"effects of structure on the comprehensibility of formal specifications","volume":"146","author":"finney","year":"1999","journal-title":"Software IEE Proceedings-"},{"key":"16","doi-asserted-by":"crossref","DOI":"10.1109\/METRIC.2003.1232471","article-title":"Issues in using students in empirical studies in software engineering education","author":"carver","year":"2003","journal-title":"Proceedings Ninth International Software Metrics Symposium 2003"},{"journal-title":"System and Software Requirements Engineering","article-title":"A comparison of the major approaches to software specification and design","year":"1990","key":"13"},{"journal-title":"The Conform Project European Focus","year":"1997","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/581344.581347"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2004.04.003"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1142\/3831"},{"journal-title":"The OBJ Family Homepage","year":"0","key":"20"},{"journal-title":"Materials","year":"0","key":"22"},{"journal-title":"Research Methods in Language Learning","year":"1992","author":"nunan","key":"23"},{"journal-title":"SPSS Download","year":"0","key":"24"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1037\/\/0033-295X.84.3.231"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1109\/ISESE.2002.1166925"},{"key":"3","article-title":"Formal methods specification and verification guidebook","volume":"1","year":"0","journal-title":"Planning and Technology Insertion [NASA-GB-001-97] Release 1 0 1998"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.1995.497003"},{"key":"10","article-title":"Formal Specification of the STV Algorithm","author":"mukherjee","year":"1995","journal-title":"Applications of Formal Methods"},{"key":"1","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1049\/sej.1992.0034","article-title":"application and benefits of formal methods in software development","volume":"7","author":"plat","year":"1992","journal-title":"Software Engineering Journal"},{"journal-title":"Formal Methods Fact File VDM and Z","year":"1996","author":"harry","key":"7"},{"journal-title":"Design Through Documentation the Path to Software Quality","year":"2003","author":"parnas","key":"6"},{"journal-title":"Software Engineering Standards Committee of the IEEE Computer Society","article-title":"IEEE recommended practice for software requirements specifications","year":"1998","key":"5"},{"journal-title":"Applications of Formal Methods","year":"1995","author":"hinchey","key":"4"},{"key":"9","article-title":"The single transferable voting system: Functional decomposition in formal specifications","author":"poppleton","year":"1997","journal-title":"Proceedings of the 1st Irish Workshop on Formal Methods"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/ICRE.1994.292381"}],"event":{"name":"2005 International Symposium on Empirical Software Engineering, 2005.","location":"Queensland, Australia"},"container-title":["2005 International Symposium on Empirical Software Engineering, 2005."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10351\/32923\/01541834.pdf?arnumber=1541834","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,17]],"date-time":"2017-06-17T01:36:51Z","timestamp":1497663411000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1541834\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/isese.2005.1541834","relation":{},"subject":[]}}