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

講演番号 題目/著者
B-034隠蔽代数に基づく命令型プログラム言語の意味論の記述と検証

渡辺 真啓,  中村 正樹,  二木 厚吉,  

B-035Provably Correct Translation from OTS/CafeOBJ Specifications to Java Programs

Senachak Jittisak,  清野 貴博,  緒方 和博,  二木 厚吉,  

B-036代数仕様言語CafeOBJと証明支援系CoqによるSTSプロトコルの形式化と検証

原 光太朗,  緒方 和博,  中村 正樹,  二木 厚吉,  

B-037Zによる仕様記述と状態遷移規則の比較による誤り検出法

平岡 雅也,  織田 健,  

B-038効率のよいコース探査のための抽象化

大矢野 潤,