講演番号 | 題目/著者 |
---|---|
B-012 | SPINによる検証支援ツールの開発 野口 拓也, 小飼 敬, 滝沢 陽三, |
B-013 | VDMによる検証支援ツールの開発 藤澤 一博, 小飼 敬, 滝沢 陽三, |
B-014 | VDM-SLの陽仕様記述からLispファミリ言語Schemeへの変換 長谷 卓容, 和崎 克己, |
B-015 | モデル検査を用いたオントロジの検証 和泉 諭, 本間 圭, 富樫 敦, 高橋 薫, |
B-016 | ソースコ一ドの解析を利用したモデル検査に基づく欠陥抽出手法の提案 青木 善貴, 松浦 佐江子, |
RB-003 | An algebraic specification of message passing programming languages 中村 正樹, El-Nashar Alaa Ismail, 二木 厚吉, |