{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:34:26Z","timestamp":1750307666267,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,3,8]],"date-time":"2009-03-08T00:00:00Z","timestamp":1236470400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2009,3,8]]},"DOI":"10.1145\/1529282.1529375","type":"proceedings-article","created":{"date-parts":[[2009,4,15]],"date-time":"2009-04-15T13:37:11Z","timestamp":1239802631000},"page":"415-421","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Integration of formal specification, review, and testing for software component quality assurance"],"prefix":"10.1145","author":[{"given":"Shaoying","family":"Liu","sequence":"first","affiliation":[{"name":"Hosei University, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tetsuo","family":"Tamai","sequence":"additional","affiliation":[{"name":"University of Tokyo, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shin","family":"Nakajima","sequence":"additional","affiliation":[{"name":"National Institute of Informatics, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2009,3,8]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Component-Based Development for Enterprise Systems: Applying the Select Perspective","author":"Allen P.","year":"1998","unstructured":"P. Allen and F. Frost . Component-Based Development for Enterprise Systems: Applying the Select Perspective . Cambridge University Press , 1998 . P. Allen and F. Frost. Component-Based Development for Enterprise Systems: Applying the Select Perspective. Cambridge University Press, 1998."},{"key":"e_1_3_2_1_2_1","volume-title":"Component-Based Software Testing with UML","author":"Gross H. G.","year":"2005","unstructured":"H. G. Gross . Component-Based Software Testing with UML . Springer-Verlag , 2005 . H. G. Gross. Component-Based Software Testing with UML. Springer-Verlag, 2005."},{"key":"e_1_3_2_1_3_1","volume-title":"Systematic Software Development Using VDM","author":"Jones C. B.","year":"1990","unstructured":"C. B. Jones . Systematic Software Development Using VDM . 2 nd edition, Prentice Hall , 1990 . C. B. Jones. Systematic Software Development Using VDM. 2nd edition, Prentice Hall, 1990.","edition":"2"},{"key":"e_1_3_2_1_4_1","volume-title":"Using Z: Specification, Refinement, and Proof","author":"Woodcock J.","year":"1996","unstructured":"J. Woodcock and J. Davies . Using Z: Specification, Refinement, and Proof . Prentice Hall , 1996 . J. Woodcock and J. Davies. Using Z: Specification, Refinement, and Proof. Prentice Hall, 1996."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/236705"},{"key":"e_1_3_2_1_6_1","first-page":"93","volume-title":"Proceedings of 2004 Symposium of Science and Technology on System Verification","author":"Sahara S.","year":"2004","unstructured":"S. Sahara . 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 , pages 93 -- 100 , Osaka, Japan, Feb. 4--6 2004 . National Institute of Advanced Industrial Science and Technology (AIST). S. Sahara. 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, pages 93--100, Osaka, Japan, Feb. 4--6 2004. National Institute of Advanced Industrial Science and Technology (AIST)."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/11576280_1"},{"key":"e_1_3_2_1_8_1","volume-title":"1028--1997 IEEE Standard for Software Reviews","author":"IEEE.","year":"1997","unstructured":"IEEE. 1028--1997 IEEE Standard for Software Reviews . IEEE Computer Society , 1997 . IEEE. 1028--1997 IEEE Standard for Software Reviews. IEEE Computer Society, 1997."},{"key":"e_1_3_2_1_9_1","volume-title":"Software Inspection: An Industry Best Practice","author":"Wheeler D. A.","year":"1996","unstructured":"D. A. Wheeler , B. Brykczynski , and R. N. Meeson . Software Inspection: An Industry Best Practice . IEEE Computer Society Press , 1996 . D. A. Wheeler, B. Brykczynski, and R. N. Meeson. Software Inspection: An Industry Best Practice. IEEE Computer Society Press, 1996."},{"key":"e_1_3_2_1_10_1","volume-title":"Consistent Software","author":"Menachem M. B.","year":"1997","unstructured":"M. B. Menachem and G. S. Marliss . Software Quality: Producing Practical , Consistent Software . International Thomson Computer Press , 1997 . M. B. Menachem and G. S. Marliss. Software Quality: Producing Practical, Consistent Software. International Thomson Computer Press, 1997."},{"key":"e_1_3_2_1_11_1","first-page":"110","volume-title":"Proceedings of Second IEEE International Conference on Formal Engineering Methods (ICFEM'98)","author":"Lau K. K.","year":"1998","unstructured":"K. K. Lau , S. Liu , M. Ornaghi , and A. Wills . Interacting Frameworks in Catalysis . In Proceedings of Second IEEE International Conference on Formal Engineering Methods (ICFEM'98) , pages 110 -- 119 , December 9 --11 1998 . K. K. Lau, S. Liu, M. Ornaghi, and A. Wills. Interacting Frameworks in Catalysis. In Proceedings of Second IEEE International Conference on Formal Engineering Methods (ICFEM'98), pages 110--119, December 9--11 1998."},{"key":"e_1_3_2_1_12_1","volume-title":"Users Manual for the IFAD VDM-SL tools","author":"The VDM-SL Tool Group","year":"1994","unstructured":"The VDM-SL Tool Group . Users Manual for the IFAD VDM-SL tools . The Institute of Applied Computer Science , February 1994 . The VDM-SL Tool Group. Users Manual for the IFAD VDM-SL tools. The Institute of Applied Computer Science, February 1994."},{"key":"e_1_3_2_1_13_1","unstructured":"A. W. Brown. Large-Scale Component-Based Development. Prentice Hall 2000.   A. W. Brown. Large-Scale Component-Based Development . Prentice Hall 2000."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/11576280_29"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1991.0040"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.553698"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0164-1212(99)00066-7"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.368133"}],"event":{"name":"SAC09: The 2009 ACM Symposium on Applied Computing","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Honolulu Hawaii","acronym":"SAC09"},"container-title":["Proceedings of the 2009 ACM symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1529282.1529375","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1529282.1529375","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:29:33Z","timestamp":1750253373000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1529282.1529375"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,3,8]]},"references-count":18,"alternative-id":["10.1145\/1529282.1529375","10.1145\/1529282"],"URL":"https:\/\/doi.org\/10.1145\/1529282.1529375","relation":{},"subject":[],"published":{"date-parts":[[2009,3,8]]},"assertion":[{"value":"2009-03-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}