2003年 情報科学技術フォーラム(FIT)

講演番号 題目/著者
B-001形式仕様言語Zの自動検証化の試み

石川 洋,  

B-002CafeOBJを用いたハイブリッドシステムの形式的な仕様記述と検証

山岸 大悟,  清野 貴博,  緒方 和博,  二木 厚吉,  

B-003代数仕様言語CafeOBJによるセキュリティプロトコルの形式化

加藤 淳,  中村 正樹,  緒方 和博,  二木 厚吉,  

B-004実行可能なプロセス代数を用いた仕様解析

河本 孝久,  中村 正樹,  二木 厚吉,  

B-005高信頼性ロケット飛行制御ソフトウエアの検証手法の提案

高橋 正和,  水越 紀良,  津田 和彦,  

B-006代数的手法によるWebアプリケーションフレームワークの評価

加賀 周,  酒井 三四郎,  富樫 敦,  

B-007形式的記述に基づくモジュールシグニチャを用いたソフトウェア部品検索

新井 宏文,  織田 健,  

LB-001Model Driven Architectureにおける実装非依存トランザクション計算モデルの提唱

滝本 雅之,  伊藤 和夫,  梅村 晃広,  岡 秀樹,  神谷 慎吾,