反証による代数的仕様記述の検証支援
スポンサーリンク
概要
- 論文の詳細を見る
代数仕様言語は, より抽象度の高い要求仕様を記述・検証できるという長所をもつ。KB完備化, 条件付き項書換, テストセット帰納法などのアルゴリズムは, 作業の軽減, 作業の正当性保証に役立つ。また仕様記述に誤りがある場合にも, 項代数反例は, 修正情報になる。これらの利点を有効活用した開発環境を構築する試みについて述べる。
- 一般社団法人情報処理学会の論文
- 1997-09-24
著者
関連論文
- 反証による代数的仕様記述の検証支援
- プロフィーリング法に基づくクレジット入会審査エキスパート・システム(QCとAI)
- プログラム生成システム PAPYRUS
- 市場金利変動分布とLevy-Flightモデル
- MGTP による有限代数の新事実の発見
- PIM上の並列定理証明系MGTP
- インターネットのおとし穴 (インターネットのおとし穴)