{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,27]],"date-time":"2023-10-27T13:44:25Z","timestamp":1698414265340},"reference-count":16,"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":4462,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Systems &amp;amp; Computers in Japan"],"published-print":{"date-parts":[[1995,1]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This paper proposes a method of transformation analysis for the automatic generation of program specification from the source program. The system APSG\/I (Automatic Program Specification Generator I), on which the proposed method is implemented, is discussed. The transformation analysis notes the similarity to the list\u2010processing program of Prolog. By utilizing the framework of analogical reasoning, the specification for the given program is generated based on the typical list\u2010processing programs and its specification.<\/jats:p><jats:p>When the program is inputted, the following two aspects are examined and the difference is determined by comparison with the already defined typical program: 1 the structure specified by the existence of the command or the order of the execution; and 2 the combination of arguments specified by the passing of data, etc. Then based on the determined difference, the already defined program specification is transformed, and the specification for the inputted program is generated. The specification generated by the proposed transformation analysis has the following features: 1 the result is the natural language sentence, since the program specification and the transformation rule for the specification are defined by the natural language; and 2 the format is unified and sufficient information to the details is contained.<\/jats:p>","DOI":"10.1002\/scj.4690260102","type":"journal-article","created":{"date-parts":[[2007,7,8]],"date-time":"2007-07-08T03:19:06Z","timestamp":1183864746000},"page":"11-25","source":"Crossref","is-referenced-by-count":0,"title":["A method for generating program specification from source program\u2014analysis by transforming program structure and argument manipulation"],"prefix":"10.1002","volume":"26","author":[{"given":"Takahiro","family":"Nagai","sequence":"first","affiliation":[]},{"given":"Takeshi","family":"Imanaka","sequence":"additional","affiliation":[]},{"given":"Jun'Ichi","family":"Toyoda","sequence":"additional","affiliation":[]},{"given":"Tsukasa","family":"Hirashima","sequence":"additional","affiliation":[]},{"given":"Kuniaki","family":"Uehara","sequence":"additional","affiliation":[]},{"given":"Yuichi","family":"Nagasawa","sequence":"additional","affiliation":[]}],"member":"311","published-online":{"date-parts":[[2007,3,21]]},"reference":[{"key":"e_1_2_1_2_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-12405-5_5"},{"issue":"4","key":"e_1_2_1_3_2","first-page":"417","article-title":"An automatic program generation system ARIES\/I by component synthesis","volume":"27","author":"Harada M.","year":"1986","journal-title":"Trans. Inf. Proc."},{"key":"e_1_2_1_4_2","volume-title":"Introduction to Prolog programming","author":"Kihara S.","year":"1988"},{"key":"e_1_2_1_5_2","volume-title":"Construction of Prolog Software","author":"Kurokawa T.","year":"1985"},{"key":"e_1_2_1_6_2","volume-title":"The Art of Prolog","author":"Sterling L.","year":"1986"},{"key":"e_1_2_1_7_2","unstructured":"Y.Nagasawa T.Imanaka T.Ogino T.Nagai Y.Ejima H.MineandJ.Toyonaka.Construction of programming environment assisting reuse of program\u2014Assist technique utilizing program transformation Tech. Rep. Software Eng. Inf. Proc. Soc. 91\u2010SE\u201077 77\u201313(1991)."},{"key":"e_1_2_1_8_2","volume-title":"Prolog","author":"Nakajima H.","year":"1983"},{"key":"e_1_2_1_9_2","volume-title":"Lecture Note in Computer Science: Logic Programming '87","author":"Imanaka T.","year":"1988"},{"key":"e_1_2_1_10_2","unstructured":"T.Imanaka K.UeharaandJ.Toyoda.Learning mechanism for programming knowledge introducing concepts of inference and induction Tech. Rep. Knowledge Eng. and Artif. Intel. Inf. Proc. Soc. 88\u2010AI\u201059 59\u201313 pp.113\u2013122(1988)."},{"key":"e_1_2_1_11_2","unstructured":"T.Imanaka K.UeharaandJ.Toyoda.Network representation for defining program similarity.38th Nat. Conv. Inf. Proc. Soc. 7L\u20103 pp.1201\u20131202(1989)."},{"key":"e_1_2_1_12_2","unstructured":"S.Komiya.Automatic program synthesis system PAPS by component synthesis\u2014Implementation by knowledge engineering approach.Tech. Rep. I.E.I.C.E. Japan SS87\u20102 (1987)."},{"key":"e_1_2_1_13_2","unstructured":"S.Komiya.Component needed in constructing automatic programming system and insurance of its completeness.Tech. Rep. Software Eng. Inf. Proc. Soc. 89\u2010SE68\u20132(1989)."},{"key":"e_1_2_1_14_2","unstructured":"M.MotokiandM.Nagata.A technique for extracting similar program.36th Nat. Conv. Inf. Proc. Soc. 6P\u20101 pp.1477\u20131478(1988)."},{"key":"e_1_2_1_15_2","doi-asserted-by":"publisher","DOI":"10.1109\/52.43050"},{"key":"e_1_2_1_16_2","volume-title":"Programming in Prolog","author":"Clocksin W. F.","year":"1983"},{"key":"e_1_2_1_17_2","first-page":"675","volume-title":"Information and Software Technology","author":"Kozaczynski W.","year":"1991"}],"container-title":["Systems and Computers in Japan"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fscj.4690260102","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/scj.4690260102","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,26]],"date-time":"2023-10-26T05:09:19Z","timestamp":1698296959000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/scj.4690260102"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,1]]},"references-count":16,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1995,1]]}},"alternative-id":["10.1002\/scj.4690260102"],"URL":"https:\/\/doi.org\/10.1002\/scj.4690260102","archive":["Portico"],"relation":{},"ISSN":["0882-1666","1520-684X"],"issn-type":[{"value":"0882-1666","type":"print"},{"value":"1520-684X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,1]]}}}