{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T08:54:26Z","timestamp":1729673666430,"version":"3.28.0"},"reference-count":13,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/iceccs.2004.1310924","type":"proceedings-article","created":{"date-parts":[[2004,9,28]],"date-time":"2004-09-28T09:50:22Z","timestamp":1096365022000},"page":"249-258","source":"Crossref","is-referenced-by-count":2,"title":["An investigation of the approach to specification-based program review through case studies"],"prefix":"10.1109","author":[{"given":"F.","family":"Nagoya","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Y.","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"crossref","first-page":"100","DOI":"10.1109\/ICECCS.1998.706660","article-title":"An Approach to Specifying and Verifying Safety-Critical Systems with Practical Formal Method SOFL","author":"liu","year":"1998","journal-title":"Proceedings of the Fourth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 98)"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.1997.640161"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0851-1_11"},{"key":"ref13","article-title":"A Formal Specification of Shaoying Liu's Lab Research Award Policy for Students","author":"liu","year":"2003","journal-title":"Technical report HCIS-2003-02"},{"journal-title":"Peer Reviews in Software A Practical Guide","year":"2002","author":"wiegers","key":"ref4"},{"journal-title":"Handbook of Walkthroughs Inspections and Technical Reviews Third Edition","year":"1990","author":"weinberg","key":"ref3"},{"key":"ref6","doi-asserted-by":"crossref","DOI":"10.1201\/9781482267419","author":"dawes","year":"1991","journal-title":"The VDM-SL Reference Guide"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1147\/sj.153.0182"},{"journal-title":"Modern Structured Analysis","year":"1989","author":"yourdon","key":"ref8"},{"journal-title":"Using Z Specification Refinement and Proof","year":"1996","author":"woodcock","key":"ref7"},{"journal-title":"Software Inspection","year":"1993","author":"gilb","key":"ref2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.1987.231413"},{"key":"ref9","first-page":"337","article-title":"SOFL: A Formal Engineering Methodology for Industrial Applications","volume":"24","author":"liu","year":"1998","journal-title":"IEEE Transactions on Software Engineering"}],"event":{"name":"Proceedings. Ninth IEEE International Conference on Engineering of Complex Computer Systems","acronym":"ICECCS-04","location":"Florence, Italy"},"container-title":["Proceedings. Ninth IEEE International Conference on Engineering of Complex Computer Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9173\/29106\/01310924.pdf?arnumber=1310924","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,25]],"date-time":"2021-06-25T19:55:28Z","timestamp":1624650928000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1310924\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/iceccs.2004.1310924","relation":{},"subject":[]}}