{"id":"https://openalex.org/W2122686335","doi":"https://doi.org/10.1002/scj.4690260102","title":"A method for generating program specification from source program\u2014analysis by transforming program structure and argument manipulation","display_name":"A method for generating program specification from source program\u2014analysis by transforming program structure and argument manipulation","publication_year":1995,"publication_date":"1995-01-01","ids":{"openalex":"https://openalex.org/W2122686335","doi":"https://doi.org/10.1002/scj.4690260102","mag":"2122686335"},"language":"en","primary_location":{"id":"doi:10.1002/scj.4690260102","is_oa":false,"landing_page_url":"https://doi.org/10.1002/scj.4690260102","pdf_url":null,"source":{"id":"https://openalex.org/S58208175","display_name":"Systems and Computers in Japan","issn_l":"0882-1666","issn":["0882-1666","1520-684X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Systems and Computers in Japan","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5044637695","display_name":"Takahiro Nagai","orcid":"https://orcid.org/0000-0002-2538-486X"},"institutions":[{"id":"https://openalex.org/I4210138169","display_name":"Osaka Research Institute of Industrial Science and Technology","ror":"https://ror.org/03r38cy24","country_code":"JP","type":"facility","lineage":["https://openalex.org/I4210138169"]},{"id":"https://openalex.org/I4210164862","display_name":"Artificial Intelligence in Medicine (Canada)","ror":"https://ror.org/05p590m36","country_code":"CA","type":"company","lineage":["https://openalex.org/I4210164862"]},{"id":"https://openalex.org/I98285908","display_name":"The University of Osaka","ror":"https://ror.org/035t8zc32","country_code":"JP","type":"education","lineage":["https://openalex.org/I98285908"]}],"countries":["CA","JP"],"is_corresponding":false,"raw_author_name":"Takahiro Nagai","raw_affiliation_strings":["Takahiro Nagai received his B.E. degree in 1991 from the Osaka Univ., where he is in the graduate program. He also is affiliated with Matsushita Electric Indust. Co., Ltd. engaged in research on artificial intelligence, especially in intelligent programming environment. He is a member of the Inf. Proc. Soc. and Soc. Artif. Intel","The Institute of Scientific and Industrial Research, Osaka University, Ibaraki, Japan 567"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Takahiro Nagai received his B.E. degree in 1991 from the Osaka Univ., where he is in the graduate program. He also is affiliated with Matsushita Electric Indust. Co., Ltd. engaged in research on artificial intelligence, especially in intelligent programming environment. He is a member of the Inf. Proc. Soc. and Soc. Artif. Intel","institution_ids":["https://openalex.org/I4210164862"]},{"raw_affiliation_string":"The Institute of Scientific and Industrial Research, Osaka University, Ibaraki, Japan 567","institution_ids":["https://openalex.org/I4210138169","https://openalex.org/I98285908"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027776893","display_name":"Takeshi Imanaka","orcid":null},"institutions":[{"id":"https://openalex.org/I1283155146","display_name":"Panasonic (Japan)","ror":"https://ror.org/011tm7n37","country_code":"JP","type":"company","lineage":["https://openalex.org/I1283155146"]},{"id":"https://openalex.org/I4210138169","display_name":"Osaka Research Institute of Industrial Science and Technology","ror":"https://ror.org/03r38cy24","country_code":"JP","type":"facility","lineage":["https://openalex.org/I4210138169"]},{"id":"https://openalex.org/I98285908","display_name":"The University of Osaka","ror":"https://ror.org/035t8zc32","country_code":"JP","type":"education","lineage":["https://openalex.org/I98285908"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Takeshi Imanaka","raw_affiliation_strings":["Takeshi Imanaka received his B.E. and Dr. of Eng. degrees in 1985 and 1991, respectively from Osaka Univ. He affiliated with Matsushita Electric Indust. Co., Ltd. in 1991. He is engaged in research on automatic program synthesis and neural network. He is a member of the Inf. Proc. Soc., and Soc. Artif. Intel","The Institute of Scientific and Industrial Research, Osaka University, Ibaraki, Japan 567"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Takeshi Imanaka received his B.E. and Dr. of Eng. degrees in 1985 and 1991, respectively from Osaka Univ. He affiliated with Matsushita Electric Indust. Co., Ltd. in 1991. He is engaged in research on automatic program synthesis and neural network. He is a member of the Inf. Proc. Soc., and Soc. Artif. Intel","institution_ids":["https://openalex.org/I1283155146"]},{"raw_affiliation_string":"The Institute of Scientific and Industrial Research, Osaka University, Ibaraki, Japan 567","institution_ids":["https://openalex.org/I4210138169","https://openalex.org/I98285908"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110409610","display_name":"Junichi Toyoda","orcid":null},"institutions":[{"id":"https://openalex.org/I39854257","display_name":"Mitsubishi Electric (Germany)","ror":"https://ror.org/04ccqwj03","country_code":"DE","type":"company","lineage":["https://openalex.org/I1306287861","https://openalex.org/I39854257","https://openalex.org/I4210133125"]},{"id":"https://openalex.org/I4210138169","display_name":"Osaka Research Institute of Industrial Science and Technology","ror":"https://ror.org/03r38cy24","country_code":"JP","type":"facility","lineage":["https://openalex.org/I4210138169"]},{"id":"https://openalex.org/I98285908","display_name":"The University of Osaka","ror":"https://ror.org/035t8zc32","country_code":"JP","type":"education","lineage":["https://openalex.org/I98285908"]}],"countries":["DE","JP"],"is_corresponding":false,"raw_author_name":"Jun'Ichi Toyoda","raw_affiliation_strings":["The Institute of Scientific and Industrial Research, Osaka University, Ibaraki, Japan 567","Yuichi Nagasawa received his B.E. and M.E. degrees in 1989 and 1991, respectively, from Kansai Univ., and affiliated with Mitsubishi Electric Co. He is engaged in research on prototyping technique and object-oriented technique. He is a member of the Inf. Proc. Soc"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The Institute of Scientific and Industrial Research, Osaka University, Ibaraki, Japan 567","institution_ids":["https://openalex.org/I4210138169","https://openalex.org/I98285908"]},{"raw_affiliation_string":"Yuichi Nagasawa received his B.E. and M.E. degrees in 1989 and 1991, respectively, from Kansai Univ., and affiliated with Mitsubishi Electric Co. He is engaged in research on prototyping technique and object-oriented technique. He is a member of the Inf. Proc. Soc","institution_ids":["https://openalex.org/I39854257"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063896943","display_name":"Tsukasa Hirashima","orcid":"https://orcid.org/0000-0001-7941-4131"},"institutions":[{"id":"https://openalex.org/I1343180700","display_name":"Intel (United States)","ror":"https://ror.org/01ek73717","country_code":"US","type":"company","lineage":["https://openalex.org/I1343180700"]},{"id":"https://openalex.org/I4210098355","display_name":"A\u00e7\u00e3o Educativa","ror":"https://ror.org/00yg0kc17","country_code":"BR","type":"other","lineage":["https://openalex.org/I4210098355"]},{"id":"https://openalex.org/I4210138169","display_name":"Osaka Research Institute of Industrial Science and Technology","ror":"https://ror.org/03r38cy24","country_code":"JP","type":"facility","lineage":["https://openalex.org/I4210138169"]},{"id":"https://openalex.org/I4210164862","display_name":"Artificial Intelligence in Medicine (Canada)","ror":"https://ror.org/05p590m36","country_code":"CA","type":"company","lineage":["https://openalex.org/I4210164862"]},{"id":"https://openalex.org/I98285908","display_name":"The University of Osaka","ror":"https://ror.org/035t8zc32","country_code":"JP","type":"education","lineage":["https://openalex.org/I98285908"]}],"countries":["BR","CA","JP","US"],"is_corresponding":false,"raw_author_name":"Tsukasa Hirashima","raw_affiliation_strings":["The Institute of Scientific and Industrial Research, Osaka University, Ibaraki, Japan 567","Tsukasa Hirashima received his B.S. and Ph.D. degrees in 1986 and 1991, respectively, from Osaka Univ. became a Research Associate in the Inst. Sci. Indust. Res. Presently engaged in research on artificial intelligence, especially in ITS and programming environment. He is a member of Inf. Proc. Soc.; Soc. Artif. Intel.; and Soc. Educ. Eng","Soc. Artif. Intel","Tsukasa Hirashima received his B.S. and Ph.D. degrees in 1986 and 1991, respectively, from Osaka Univ. became a Research Associate in the Inst. Sci. Indust. Res. Presently engaged in research on artificial intelligence, especially in ITS and programming environment. He is a member of Inf. Proc. Soc","Soc. Educ. Eng"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The Institute of Scientific and Industrial Research, Osaka University, Ibaraki, Japan 567","institution_ids":["https://openalex.org/I4210138169","https://openalex.org/I98285908"]},{"raw_affiliation_string":"Tsukasa Hirashima received his B.S. and Ph.D. degrees in 1986 and 1991, respectively, from Osaka Univ. became a Research Associate in the Inst. Sci. Indust. Res. Presently engaged in research on artificial intelligence, especially in ITS and programming environment. He is a member of Inf. Proc. Soc.; Soc. Artif. Intel.; and Soc. Educ. Eng","institution_ids":["https://openalex.org/I4210164862"]},{"raw_affiliation_string":"Soc. Artif. Intel","institution_ids":["https://openalex.org/I1343180700"]},{"raw_affiliation_string":"Tsukasa Hirashima received his B.S. and Ph.D. degrees in 1986 and 1991, respectively, from Osaka Univ. became a Research Associate in the Inst. Sci. Indust. Res. Presently engaged in research on artificial intelligence, especially in ITS and programming environment. He is a member of Inf. Proc. Soc","institution_ids":["https://openalex.org/I4210164862"]},{"raw_affiliation_string":"Soc. Educ. Eng","institution_ids":["https://openalex.org/I4210098355"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023847482","display_name":"Kuniaki Uehara","orcid":"https://orcid.org/0000-0002-7160-3752"},"institutions":[{"id":"https://openalex.org/I171589843","display_name":"Blue Yonder (United States)","ror":"https://ror.org/04s6h1250","country_code":"US","type":"company","lineage":["https://openalex.org/I171589843"]},{"id":"https://openalex.org/I4210093195","display_name":"Liga Contra el Cancer","ror":"https://ror.org/00n36xb70","country_code":"PE","type":"nonprofit","lineage":["https://openalex.org/I4210093195"]},{"id":"https://openalex.org/I4210138169","display_name":"Osaka Research Institute of Industrial Science and Technology","ror":"https://ror.org/03r38cy24","country_code":"JP","type":"facility","lineage":["https://openalex.org/I4210138169"]},{"id":"https://openalex.org/I4210138543","display_name":"Institute of Japanese Studies","ror":"https://ror.org/03swddy62","country_code":"CN","type":"facility","lineage":["https://openalex.org/I114218197","https://openalex.org/I4210138543"]},{"id":"https://openalex.org/I4210156427","display_name":"ProCure (United States)","ror":"https://ror.org/04cdebn34","country_code":"US","type":"company","lineage":["https://openalex.org/I4210156427"]},{"id":"https://openalex.org/I98285908","display_name":"The University of Osaka","ror":"https://ror.org/035t8zc32","country_code":"JP","type":"education","lineage":["https://openalex.org/I98285908"]}],"countries":["CN","JP","PE","US"],"is_corresponding":false,"raw_author_name":"Kuniaki Uehara","raw_affiliation_strings":["Kuniaki Uehara received his B.E. and Ph.D. degrees in 1978 and 1983, respectively from Osaka Univ. He served as Research Associate and Lecturer at Inst. Sci. Indust. Res., Osaka Univ., and in 1980 became an Assoc. Prof. Dept. Inf. Intel. Eng., Fac. Eng., Kobe Univ. He is engaged in research on artificial intelligence, especially in machine learning, understanding of natural language and program synthesis. He is the recipient of Res. Encour. Prize 1990 Soc, Artif. Intel. He is a member of Soc. Artif. Intel.; Inf. Proc. Soc.; Metr. Japanese Soc.; Jap. Software Soc.; and Soc. System Contr. Inf","The Institute of Scientific and Industrial Research, Osaka University, Ibaraki, Japan 567","Jap. Software Soc","Metr. Japanese Soc","Inf. Proc. Soc","Soc. System Contr. Inf","Kuniaki Uehara received his B.E. and Ph.D. degrees in 1978 and 1983, respectively from Osaka Univ. He served as Research Associate and Lecturer at Inst. Sci. Indust. Res., Osaka Univ., and in 1980 became an Assoc. Prof. Dept. Inf. Intel. Eng., Fac. Eng., Kobe Univ. He is engaged in research on artificial intelligence, especially in machine learning, understanding of natural language and program synthesis. He is the recipient of Res. Encour. Prize 1990 Soc, Artif. Intel. He is a member of Soc. Artif. Intel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Kuniaki Uehara received his B.E. and Ph.D. degrees in 1978 and 1983, respectively from Osaka Univ. He served as Research Associate and Lecturer at Inst. Sci. Indust. Res., Osaka Univ., and in 1980 became an Assoc. Prof. Dept. Inf. Intel. Eng., Fac. Eng., Kobe Univ. He is engaged in research on artificial intelligence, especially in machine learning, understanding of natural language and program synthesis. He is the recipient of Res. Encour. Prize 1990 Soc, Artif. Intel. He is a member of Soc. Artif. Intel.; Inf. Proc. Soc.; Metr. Japanese Soc.; Jap. Software Soc.; and Soc. System Contr. Inf","institution_ids":["https://openalex.org/I98285908"]},{"raw_affiliation_string":"The Institute of Scientific and Industrial Research, Osaka University, Ibaraki, Japan 567","institution_ids":["https://openalex.org/I4210138169","https://openalex.org/I98285908"]},{"raw_affiliation_string":"Jap. Software Soc","institution_ids":["https://openalex.org/I171589843"]},{"raw_affiliation_string":"Metr. Japanese Soc","institution_ids":["https://openalex.org/I4210138543"]},{"raw_affiliation_string":"Inf. Proc. Soc","institution_ids":["https://openalex.org/I4210156427"]},{"raw_affiliation_string":"Soc. System Contr. Inf","institution_ids":["https://openalex.org/I4210093195"]},{"raw_affiliation_string":"Kuniaki Uehara received his B.E. and Ph.D. degrees in 1978 and 1983, respectively from Osaka Univ. He served as Research Associate and Lecturer at Inst. Sci. Indust. Res., Osaka Univ., and in 1980 became an Assoc. Prof. Dept. Inf. Intel. Eng., Fac. Eng., Kobe Univ. He is engaged in research on artificial intelligence, especially in machine learning, understanding of natural language and program synthesis. He is the recipient of Res. Encour. Prize 1990 Soc, Artif. Intel. He is a member of Soc. Artif. Intel","institution_ids":["https://openalex.org/I98285908"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5046872423","display_name":"Yuichi Nagasawa","orcid":null},"institutions":[{"id":"https://openalex.org/I1343180700","display_name":"Intel (United States)","ror":"https://ror.org/01ek73717","country_code":"US","type":"company","lineage":["https://openalex.org/I1343180700"]},{"id":"https://openalex.org/I4210135398","display_name":"Committee on Publication Ethics","ror":"https://ror.org/030dw3650","country_code":"GB","type":"nonprofit","lineage":["https://openalex.org/I4210135398"]},{"id":"https://openalex.org/I4210138169","display_name":"Osaka Research Institute of Industrial Science and Technology","ror":"https://ror.org/03r38cy24","country_code":"JP","type":"facility","lineage":["https://openalex.org/I4210138169"]},{"id":"https://openalex.org/I98285908","display_name":"The University of Osaka","ror":"https://ror.org/035t8zc32","country_code":"JP","type":"education","lineage":["https://openalex.org/I98285908"]}],"countries":["GB","JP","US"],"is_corresponding":false,"raw_author_name":"Yuichi Nagasawa","raw_affiliation_strings":["Jun'ichi Toyoda received his B.E. and Dr. of Eng. degrees in 1961 and 1966, respectively from Osaka Univ. and Assoc. Prof. in 1969 Fac. Eng. Sci., and Prof. 1982 Inst. Sci. Indust. Res., Osaka Univ. He is engaged in research on concept formation, visual fidelity and manual difficulty. He is a member of the Inf. Proc. Soc.; Soc. Artif. Intel.; and Jap. Soc. Cop. Sci","The Institute of Scientific and Industrial Research, Osaka University, Ibaraki, Japan 567","Soc. Artif. Intel","Jun'ichi Toyoda received his B.E. and Dr. of Eng. degrees in 1961 and 1966, respectively from Osaka Univ. and Assoc. Prof. in 1969 Fac. Eng. Sci., and Prof. 1982 Inst. Sci. Indust. Res., Osaka Univ. He is engaged in research on concept formation, visual fidelity and manual difficulty. He is a member of the Inf. Proc. Soc","Jap. Soc. Cop. Sci"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Jun'ichi Toyoda received his B.E. and Dr. of Eng. degrees in 1961 and 1966, respectively from Osaka Univ. and Assoc. Prof. in 1969 Fac. Eng. Sci., and Prof. 1982 Inst. Sci. Indust. Res., Osaka Univ. He is engaged in research on concept formation, visual fidelity and manual difficulty. He is a member of the Inf. Proc. Soc.; Soc. Artif. Intel.; and Jap. Soc. Cop. Sci","institution_ids":["https://openalex.org/I98285908"]},{"raw_affiliation_string":"The Institute of Scientific and Industrial Research, Osaka University, Ibaraki, Japan 567","institution_ids":["https://openalex.org/I4210138169","https://openalex.org/I98285908"]},{"raw_affiliation_string":"Soc. Artif. Intel","institution_ids":["https://openalex.org/I1343180700"]},{"raw_affiliation_string":"Jun'ichi Toyoda received his B.E. and Dr. of Eng. degrees in 1961 and 1966, respectively from Osaka Univ. and Assoc. Prof. in 1969 Fac. Eng. Sci., and Prof. 1982 Inst. Sci. Indust. Res., Osaka Univ. He is engaged in research on concept formation, visual fidelity and manual difficulty. He is a member of the Inf. Proc. Soc","institution_ids":["https://openalex.org/I98285908"]},{"raw_affiliation_string":"Jap. Soc. Cop. Sci","institution_ids":["https://openalex.org/I4210135398"]}]}],"institutions":[],"countries_distinct_count":8,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.29505814,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"26","issue":"1","first_page":"11","last_page":"25"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9968000054359436,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.832533597946167},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7799667119979858},{"id":"https://openalex.org/keywords/specification-language","display_name":"Specification language","score":0.7179129123687744},{"id":"https://openalex.org/keywords/program-transformation","display_name":"Program transformation","score":0.7011576294898987},{"id":"https://openalex.org/keywords/program-synthesis","display_name":"Program synthesis","score":0.631449818611145},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.6041924953460693},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.6021666526794434},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.5756289958953857},{"id":"https://openalex.org/keywords/generator","display_name":"Generator (circuit theory)","score":0.5348886847496033},{"id":"https://openalex.org/keywords/language-of-temporal-ordering-specification","display_name":"Language Of Temporal Ordering Specification","score":0.463047057390213},{"id":"https://openalex.org/keywords/functional-specification","display_name":"Functional specification","score":0.4575040638446808},{"id":"https://openalex.org/keywords/programming-language-specification","display_name":"Programming language specification","score":0.448652982711792},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3330232501029968},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.1562492847442627},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.1446588933467865}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.832533597946167},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7799667119979858},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.7179129123687744},{"id":"https://openalex.org/C2778361913","wikidata":"https://www.wikidata.org/wiki/Q7248437","display_name":"Program transformation","level":2,"score":0.7011576294898987},{"id":"https://openalex.org/C2776937632","wikidata":"https://www.wikidata.org/wiki/Q4117718","display_name":"Program synthesis","level":2,"score":0.631449818611145},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.6041924953460693},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.6021666526794434},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.5756289958953857},{"id":"https://openalex.org/C2780992000","wikidata":"https://www.wikidata.org/wiki/Q17016113","display_name":"Generator (circuit theory)","level":3,"score":0.5348886847496033},{"id":"https://openalex.org/C90069079","wikidata":"https://www.wikidata.org/wiki/Q1805432","display_name":"Language Of Temporal Ordering Specification","level":3,"score":0.463047057390213},{"id":"https://openalex.org/C57371142","wikidata":"https://www.wikidata.org/wiki/Q16914225","display_name":"Functional specification","level":5,"score":0.4575040638446808},{"id":"https://openalex.org/C15077461","wikidata":"https://www.wikidata.org/wiki/Q7248507","display_name":"Programming language specification","level":5,"score":0.448652982711792},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3330232501029968},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.1562492847442627},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.1446588933467865},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C119263510","wikidata":"https://www.wikidata.org/wiki/Q7248501","display_name":"Programming domain","level":4,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.0},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1002/scj.4690260102","is_oa":false,"landing_page_url":"https://doi.org/10.1002/scj.4690260102","pdf_url":null,"source":{"id":"https://openalex.org/S58208175","display_name":"Systems and Computers in Japan","issn_l":"0882-1666","issn":["0882-1666","1520-684X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Systems and Computers in Japan","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","score":0.6000000238418579,"display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":3,"referenced_works":["https://openalex.org/W1534395135","https://openalex.org/W2090278452","https://openalex.org/W2187303492"],"related_works":["https://openalex.org/W2898425611","https://openalex.org/W794225219","https://openalex.org/W4249603026","https://openalex.org/W2313419847","https://openalex.org/W2060087898","https://openalex.org/W1598210853","https://openalex.org/W4245140145","https://openalex.org/W2047524021","https://openalex.org/W358374255","https://openalex.org/W2122686335"],"abstract_inverted_index":{"Abstract":[0],"This":[1],"paper":[2],"proposes":[3],"a":[4],"method":[5,32],"of":[6,13,47,53,104,110,117,123],"transformation":[7,38,154,174],"analysis":[8,39,155],"for":[9,58,142,176],"the":[10,17,30,41,44,51,56,59,66,74,78,85,92,98,102,105,108,111,115,121,129,132,140,143,152,157,161,164,169,173,177,182,187,195],"automatic":[11],"generation":[12],"program":[14,46,61,75,135,145,170],"specification":[15,57,136,141,149,171,178],"from":[16],"source":[18],"program.":[19],"The":[20,37,148],"system":[21],"APSG/I":[22],"(Automatic":[23],"Program":[24],"Specification":[25],"Generator":[26],"I),":[27],"on":[28,65,128],"which":[29],"proposed":[31,153],"is":[33,35,62,76,87,137,146,163,189,197],"implemented,":[34],"discussed.":[36],"notes":[40],"similarity":[42],"to":[43,194],"list\u2010processing":[45,68],"Prolog.":[48],"By":[49],"utilizing":[50],"framework":[52],"analogical":[54],"reasoning,":[55],"given":[60],"generated":[63,150],"based":[64,127],"typical":[67,95],"programs":[69],"and":[70,84,113,139,172,185,191],"its":[71],"specification.":[72],"When":[73],"inputted,":[77],"following":[79,158],"two":[80],"aspects":[81],"are":[82,179],"examined":[83],"difference":[86],"determined":[88,130],"by":[89,101,120,151,181],"comparison":[90],"with":[91],"already":[93,133],"defined":[94,134,180],"program:":[96],"1":[97,160],"structure":[99],"specified":[100,119],"existence":[103],"command":[106],"or":[107],"order":[109],"execution;":[112],"2":[114,186],"combination":[116],"arguments":[118],"passing":[122],"data,":[124],"etc.":[125],"Then":[126],"difference,":[131],"transformed,":[138],"inputted":[144],"generated.":[147],"has":[156],"features:":[159],"result":[162],"natural":[165,183],"language":[166],"sentence,":[167],"since":[168],"rule":[175],"language;":[184],"format":[188],"unified":[190],"sufficient":[192],"information":[193],"details":[196],"contained.":[198]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}