2026-04-14T12:55:59Z https://ipsj.ixsq.nii.ac.jp/oai

oai:ipsj.ixsq.nii.ac.jp:00021722 2025-01-22T21:11:02Z 1164:1384:1441:1442

書き換え規則の部品化に基づくソフト自動合成系開発の容易化 Generator Development Method using Reduction Rule Components 工藤, 智広 山之内, 徹 Tomohiro, Kudo Toru, Yamanouchi 個々の開発プロジェクトに専用のプログラムジェネレータを開発するメタツールとして、ソフト自動合成シェルSOFTEXSHELLが利用され効果を上げているが、SOFTEXSHELLにおけるツールプログラミングが、LRP処理（リスト処理、再帰処理、パタンマッチング）を多用するなど、手続き型言語に慣れた開発者に馴染みにくいことが現場での実施拡大の障壁となっている。本稿では、このLRP処理の詳細を隠蔽して部品化することで開発を容易化する手法を提案する。本手法を実用ツールのトップダウン開発で試行したところ、詳細化過程の6割をこの部品の利用によってカバーできることがわかり、本手法を適切に実施することの効果が大きいことを確認した。 Software synthesis shell SOFTEXSHELL has been successfully applyed to various product software developments. However, SOFTEXSHELL often requires users to deal with LRP-processing (List processing, Recursion and Pattern matching), which often are unfamiliar to many software engineers. The authors propose a method for those users to utilize SOFTEXSHELL without dealing with LRP-processing by the use of LRP-processing components. The method was evaluated with a deployed program generator and the result showed that 9 LRP-processing components covered 60% of total refinement steps. technical report 情報処理学会 1997-11-21 application/pdf 情報処理学会研究報告ソフトウェア工学（SE） 110(1997-SE-117) 1997 1 8 AN10112981 https://ipsj.ixsq.nii.ac.jp/record/21722/files/IPSJ-SE97117001.pdf jpn