{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T09:36:56Z","timestamp":1729676216633,"version":"3.28.0"},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1109\/aswec.2004.1290476","type":"proceedings-article","created":{"date-parts":[[2004,6,10]],"date-time":"2004-06-10T10:19:45Z","timestamp":1086862785000},"page":"232-240","source":"Crossref","is-referenced-by-count":1,"title":["Tool support for verification-based software inspection"],"prefix":"10.1109","author":[{"given":"D.","family":"Powell","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","first-page":"500","article-title":"A heuristic approach to program verification","author":"katz","year":"1973","journal-title":"International Joint Conference of Artificial Intelligence IJCAI"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.4370040205"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.1999.806951"},{"journal-title":"Software Inspection","year":"1993","author":"gilb","key":"16"},{"key":"13","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1090\/psapm\/019\/0235771","article-title":"Assigning meanings to programs","author":"floyd","year":"1967","journal-title":"Mathematical Aspects of Computer Science"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.1997.632842"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1147\/sj.153.0182"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6312976"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1145\/163359.163366"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1145\/360032.360048"},{"key":"22","article-title":"An experiment to assess cost-benefits of inspection meetings and their alternatives","author":"mccarthy","year":"1995","journal-title":"Technical Report"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(87)90025-2"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1145\/268411.268421"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2002.1183016"},{"journal-title":"Formal Methods for Verification Based Software Inspection","year":"2002","author":"powell","key":"26"},{"key":"27","article-title":"Automatic derivation of loop termination conditions to support verification","volume":"26","author":"powell","year":"2004","journal-title":"Computer Science 2004 (CPRIT)"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1145\/256428.167070"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1989.559782"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1987.232881"},{"journal-title":"The Cleanroom Approach to Quality Software Development","year":"1992","author":"dyer","key":"10"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-6272-5"},{"journal-title":"A Discipline of Programming","year":"1976","author":"dijkstra","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/360933.360975"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/2.86785"},{"journal-title":"Software Engineering Economics","year":"1981","author":"boehm","key":"4"},{"journal-title":"Program Derivation","year":"1989","author":"dromey","key":"9"},{"journal-title":"Predicate Calculus and Program Semantics","year":"1989","author":"dijkstra","key":"8"}],"event":{"name":"2004 Australian Software Engineering Conference. Proceedings.","start":{"date-parts":[[2004,4,16]]},"location":"Melbourne, Vic., Australia","end":{"date-parts":[[2004,4,16]]}},"container-title":["2004 Australian Software Engineering Conference. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9061\/28748\/01290476.pdf?arnumber=1290476","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T03:56:56Z","timestamp":1497585416000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1290476\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/aswec.2004.1290476","relation":{},"subject":[],"published":{"date-parts":[[2004]]}}}