{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,19]],"date-time":"2025-01-19T05:22:23Z","timestamp":1737264143588,"version":"3.33.0"},"reference-count":15,"publisher":"Wiley","issue":"1","license":[{"start":{"date-parts":[[2007,3,21]],"date-time":"2007-03-21T00:00:00Z","timestamp":1174435200000},"content-version":"vor","delay-in-days":4097,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Systems &amp; Computers in Japan"],"published-print":{"date-parts":[[1996,1]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This paper considers the case where the specification and the program are modified. A method is proposed that specifies the range which is affected by the modification using the verification method and decomposition technique. By the proposed technique, the points where the modification is required or the point which may contain an error can be estimated when the program is modified. The inductive assertion is used as the verification technique.<\/jats:p><jats:p>It is assumed that the specification before modification as well as the program are already verified for the correctness. The object of verification is simplified by the comparison and validation of the verification history and the object of correctness verification. The part which is left without being simplified is the range affected by the modification before the comparison and after the correctness verification, the rage which is affected by the modification as well as the range for which the validation is not satisfies can be specified.<\/jats:p>","DOI":"10.1002\/scj.4690270102","type":"journal-article","created":{"date-parts":[[2007,7,8]],"date-time":"2007-07-08T09:20:50Z","timestamp":1183886450000},"page":"12-26","source":"Crossref","is-referenced-by-count":0,"title":["Application of verification method and a decomposition method to program modification"],"prefix":"10.1002","volume":"27","author":[{"given":"Kouichi","family":"Ono","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Katsuhisa","family":"Maruyama","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yoshiaki","family":"Fukuzawa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2007,3,21]]},"reference":[{"key":"e_1_2_1_2_2","doi-asserted-by":"publisher","DOI":"10.1109\/MS.1987.229789"},{"key":"e_1_2_1_3_2","doi-asserted-by":"crossref","unstructured":"G.Fischer S.HenningerandD.Remiles.Cognitive Tools for Locating and Comprehending Software Objects for Reuse.Int. Conf. on Software Engineering pp.318\u2013328(May1991).","DOI":"10.1109\/ICSE.1991.130658"},{"key":"e_1_2_1_4_2","doi-asserted-by":"crossref","unstructured":"J.Keables K.RobersonandA. V.Mayrhauser.Data Flow Analysis and Its Application to Software Maintenance.Proc. Conf. on Software Maintenance pp.335\u2013347(Oct.1988).","DOI":"10.1109\/ICSM.1988.10185"},{"issue":"5","key":"e_1_2_1_5_2","first-page":"510","article-title":"A Modification Support System\u2014Automatic Correction of Side Effects Caused by Type Modifications","volume":"73","author":"Tenmen T.","year":"1990","journal-title":"Trans. (D\u2010I) I.E.I.C.E., Japan"},{"key":"e_1_2_1_6_2","doi-asserted-by":"crossref","unstructured":"M. J.HarroldandM. L.Soffa.An Incremental Approach to Unit Testing during Maintenance.IEEE Proc. Conf. on Software Maintenance pp.362\u2013367(Oct.1988).","DOI":"10.1109\/ICSM.1988.10188"},{"key":"e_1_2_1_7_2","doi-asserted-by":"crossref","unstructured":"R. W.Floyd.Assigning Meanings to Programs.Proc. Symp. in Applied Mathematics 19 Mathematical Aspect of Computer Science pp.19\u201332(Oct.1967).","DOI":"10.1090\/psapm\/019\/0235771"},{"key":"e_1_2_1_8_2","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"key":"e_1_2_1_9_2","doi-asserted-by":"publisher","DOI":"10.1145\/115234.115352"},{"key":"e_1_2_1_10_2","doi-asserted-by":"publisher","DOI":"10.1145\/321510.321516"},{"key":"e_1_2_1_11_2","doi-asserted-by":"publisher","DOI":"10.1145\/358557.358577"},{"key":"e_1_2_1_12_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1984.5010248"},{"key":"e_1_2_1_13_2","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(88)90054-3"},{"key":"e_1_2_1_14_2","doi-asserted-by":"crossref","unstructured":"L.Gopal.Dynamic Program Slicing Based on Dependence Relations.Proc. Conf. on Software Maintenance pp.191\u2013200(Oct.1991).","DOI":"10.1109\/ICSM.1991.160329"},{"key":"e_1_2_1_15_2","doi-asserted-by":"crossref","unstructured":"J. R.LyleandK. B.Gallagher.Using Program Decomposition to Guide Modifications.Proc. Conf. on Software Maintenance pp.265\u2013269(Oct.1988).","DOI":"10.1109\/ICSM.1988.10172"},{"key":"e_1_2_1_16_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1975.6312820"}],"container-title":["Systems and Computers in Japan"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fscj.4690270102","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/scj.4690270102","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,18]],"date-time":"2025-01-18T19:56:18Z","timestamp":1737230178000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/scj.4690270102"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,1]]},"references-count":15,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1996,1]]}},"alternative-id":["10.1002\/scj.4690270102"],"URL":"https:\/\/doi.org\/10.1002\/scj.4690270102","archive":["Portico"],"relation":{},"ISSN":["0882-1666","1520-684X"],"issn-type":[{"type":"print","value":"0882-1666"},{"type":"electronic","value":"1520-684X"}],"subject":[],"published":{"date-parts":[[1996,1]]}}}