講演番号 | 題目/著者 |
---|---|
B-001 | 形式仕様言語Zの自動検証化の試み 石川 洋, |
B-002 | CafeOBJを用いたハイブリッドシステムの形式的な仕様記述と検証 山岸 大悟, 清野 貴博, 緒方 和博, 二木 厚吉, |
B-003 | 代数仕様言語CafeOBJによるセキュリティプロトコルの形式化 加藤 淳, 中村 正樹, 緒方 和博, 二木 厚吉, |
B-004 | 実行可能なプロセス代数を用いた仕様解析 河本 孝久, 中村 正樹, 二木 厚吉, |
B-005 | 高信頼性ロケット飛行制御ソフトウエアの検証手法の提案 高橋 正和, 水越 紀良, 津田 和彦, |
B-006 | 代数的手法によるWebアプリケーションフレームワークの評価 加賀 周, 酒井 三四郎, 富樫 敦, |
B-007 | 形式的記述に基づくモジュールシグニチャを用いたソフトウェア部品検索 新井 宏文, 織田 健, |
LB-001 | Model Driven Architectureにおける実装非依存トランザクション計算モデルの提唱 滝本 雅之, 伊藤 和夫, 梅村 晃広, 岡 秀樹, 神谷 慎吾, |