2B-4 反例を利用した形式モデル修正支援ツールの開発(組込み,品質,一般セッション,ソフトウェア科学・工学)
スポンサーリンク
概要
- 論文の詳細を見る
- 2008-03-13
著者
関連論文
- 2B-4 反例を利用した形式モデル修正支援ツールの開発(組込み,品質,一般セッション,ソフトウェア科学・工学)
- 形式手法を用いたディジタル署名システムの安全性評価(ディペンダブルソフトウェア)
- OS/2における日本語環境
- データベース管理システムのためのベースシステムの実現
- 形式仕様に基づくソフトウェア開発手法の紹介 : Bメソッドを中心に
- 公共業務システム開発における法令からの要件の抽出/検証手法の提案
- Event-Bによる列車監視システムのモニタリング要件の検証