データ管理領域におけるプログラム検証の自動化に関する考察

スポンサーリンク

概要

• 論文の詳細を見る

• データ管理領域とは,図書館システム,在庫管理システム,座席予約システムなど,大量の受動的データを管理するようなシステムが属す問題領域である.本稿では,この問題領域の特性を生かしてプログラム検証を自動化する手法について考察する.本稿では特に,プログラム検証の自動化の大きな障壁として知られる不変表明の取り扱いに着目する.

• 一般社団法人情報処理学会の論文
• 2009-06-25

著者

• 矢竹 健朗

  北陸先端科学技術大学院大学

関連論文

• コラボレーションに基づくオブジェクト指向モデルの検証(システム検証の科学技術)
• 定理証明システムHOLにおけるオブジェクト指向理論の構築
• データ管理領域におけるプログラム検証の自動化に関する考察

スポンサーリンク