著者

佐藤 健

出版者

日本ソフトウェア科学会

雑誌

日本ソフトウェア科学会大会講演論文集

巻号頁・発行日

vol.19, pp.2A1, 2002

---

本論文は関数記号のないホーン節によって記述された仕様に関する極小変更の計算手法を述べる. 我々は以前, 仮説論理プログラミングを用いた極小変更仕様の計算を提案したが, そこでは変更部に対応する仮説を生成し, そのあと極小性検査が必要であった. 本論文では拡張論理プログラミングへの変換を用いることにより直接に極小変更仕様を計算する手法を提案する.