1993年 プログラム変更に対する正当性検証技法と分割技法の適用 情報処理学会 研究報告 丸山勝久, 小野康一, 門倉敏夫, 深澤良彰 巻 SIG-SE-90 号 開始ページ 89 終了ページ 96 エクスポート BibTeX RIS