極小性検査不要な極小変更ソフトウェア仕様の導出について

抄録

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