{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T10:08:56Z","timestamp":1742378936102},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540297970"},{"type":"electronic","value":"9783540322504"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11576280_29","type":"book-chapter","created":{"date-parts":[[2005,10,24]],"date-time":"2005-10-24T14:01:26Z","timestamp":1130162486000},"page":"421-434","source":"Crossref","is-referenced-by-count":10,"title":["An Automated Approach to Specification-Based Program Inspection"],"prefix":"10.1007","author":[{"given":"Shaoying","family":"Liu","sequence":"first","affiliation":[]},{"given":"Fumiko","family":"Nagoya","sequence":"additional","affiliation":[]},{"given":"Yuting","family":"Chen","sequence":"additional","affiliation":[]},{"given":"Masashi","family":"Goya","sequence":"additional","affiliation":[]},{"given":"John A.","family":"McDermid","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"29_CR1","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1147\/sj.153.0182","volume":"15","author":"M.E. Fagan","year":"1976","unstructured":"Fagan, M.E.: Design and Code Inspections to Reduce Errors in Program Development. IBM Systems Journal\u00a015(3), 182\u2013211 (1976)","journal-title":"IBM Systems Journal"},{"key":"29_CR2","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/S0065-2458(08)60484-2","volume":"42","author":"A.A. Porter","year":"1996","unstructured":"Porter, A.A., Siy, H.P., Votta, L.G.: A Review of Software Inspections. Advances in Computers\u00a042, 39\u201376 (1996)","journal-title":"Advances in Computers"},{"issue":"1","key":"29_CR3","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/S0164-1212(99)00073-4","volume":"50","author":"O. Laitenberger","year":"2000","unstructured":"Laitenberger, O., DeBaud, J.-M.: An Encompassing Life-Cycle Centric Survey of Software Inspection. Journal of Systems and Software\u00a050(1), 5\u201331 (2000)","journal-title":"Journal of Systems and Software"},{"key":"29_CR4","volume-title":"Software Inspection","author":"T. Gilb","year":"1993","unstructured":"Gilb, T., Graham, D.: Software Inspection. Addison-Wesley, Reading (1993)"},{"unstructured":"NASA. Software Formal Inspection Process Standard. NASASTD-2202-93 (1993)","key":"29_CR5"},{"unstructured":"Parnas, D.L., Weiss, D.M.: Active Design Reviews: Principles and Practice. In: 8th International Conference on Software Engineering, pp. 132\u2013136 (1985)","key":"29_CR6"},{"issue":"11","key":"29_CR7","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1145\/163359.163366","volume":"36","author":"J.C. Knight","year":"1993","unstructured":"Knight, J.C., Myers, E.A.: An Improved Inspection Technique. Communications of the ACM\u00a036(11), 51\u201361 (1993)","journal-title":"Communications of the ACM"},{"issue":"8","key":"29_CR8","doi-asserted-by":"publisher","first-page":"674","DOI":"10.1109\/TSE.2003.1223642","volume":"29","author":"D.L. Parnas","year":"2003","unstructured":"Parnas, D.L., Lawford, M.: The Role of Inspection in Software Quality Assurance. IEEE Transactions on Software Engineering\u00a029(8), 674\u2013676 (2003)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"3","key":"29_CR9","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1109\/52.493020","volume":"13","author":"P.G. Larsen","year":"1996","unstructured":"Larsen, P.G., Fitzgerald, J., Brookes, T.: Applying Formal Specification in Industry. IEEE Software\u00a013(3), 48\u201356 (1996)","journal-title":"IEEE Software"},{"key":"29_CR10","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/298595.298863","volume-title":"Proceedings of the Second Workshop on Formal Methods in Practice","author":"C.L. Heitmeyer","year":"1998","unstructured":"Heitmeyer, C.L.: Applying the SCR Requirements Method to a Weapons Control Panel: an Experience Report. In: Proceedings of the Second Workshop on Formal Methods in Practice, pp. 92\u2013102. ACM Press, New York (1998)"},{"issue":"3","key":"29_CR11","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1080\/1206212X.2001.11441645","volume":"23","author":"G. Babin","year":"2001","unstructured":"Babin, G., Lustman, F.: Application of Formal Methods to Scenario-based Requirements Engineering. International Journal of Computers and Applications\u00a023(3), 141\u2013151 (2001)","journal-title":"International Journal of Computers and Applications"},{"unstructured":"Sahara, S.: An Experience of Applying Formal Method on a Large Business Application (in Japanese). In: Proceedings of 2004 Symposium of Science and Technology on System Verification, Osaka, Japan, February 4-6, pp. 93\u2013100. National Institute of Advanced Industrial Science and Technology, AIST (2004)","key":"29_CR12"},{"issue":"12","key":"29_CR13","doi-asserted-by":"publisher","first-page":"948","DOI":"10.1109\/32.368133","volume":"20","author":"D.L. Parnas","year":"1994","unstructured":"Parnas, D.L., Madey, J., Iglewski, M.: Precise Documentation of Well-Structured Programs. IEEE Transactions on Software Engineering\u00a020(12), 948\u2013976 (1994)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"29_CR14","volume-title":"Data Structures and Algorithms in Java","author":"M.T. Goodrich","year":"2001","unstructured":"Goodrich, M.T., Tamassia, R.: Data Structures and Algorithms in Java. John Wiley & Sons, Inc., Chichester (2001)"},{"key":"29_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-07287-5","volume-title":"Formal Engineering for Industrial Software Development Using the SOFL Method","author":"S. Liu","year":"2004","unstructured":"Liu, S.: Formal Engineering for Industrial Software Development Using the SOFL Method. Springer, Heidelberg (2004)"},{"doi-asserted-by":"crossref","unstructured":"Iwu, F.O., Galloway, A., Toyn, I., McDermid, J.A.: Practical Formal Specification for Embedded Control Systems. In: INCOM 2004: 11th IFAC Symposium on Information Control Problems in Manufacturing, p. 6 (April 2004);","key":"#cr-split#-29_CR16.1","DOI":"10.1016\/S1474-6670(17)36113-X"},{"unstructured":"Special session on formal methods: promising solutions to improve industrial controllers??? dependability","key":"#cr-split#-29_CR16.2"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11576280_29.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:44:21Z","timestamp":1619505861000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11576280_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540297970","9783540322504"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/11576280_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}