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

講演番号 題目/著者
B-012SPINによる検証支援ツールの開発

野口 拓也,  小飼 敬,  滝沢 陽三,  

B-013VDMによる検証支援ツールの開発

藤澤 一博,  小飼 敬,  滝沢 陽三,  

B-014VDM-SLの陽仕様記述からLispファミリ言語Schemeへの変換

長谷 卓容,  和崎 克己,  

B-015モデル検査を用いたオントロジの検証

和泉 諭,  本間 圭,  富樫 敦,  高橋 薫,  

B-016ソースコ一ドの解析を利用したモデル検査に基づく欠陥抽出手法の提案

青木 善貴,  松浦 佐江子,  

RB-003An algebraic specification of message passing programming languages

中村 正樹,  El-Nashar Alaa Ismail,  二木 厚吉,