講演番号 | 題目/著者 |
---|---|
B-017 | 問いを中心としたステークホルダの課題獲得手法 畑中 翔太, 久代 紀之, |
B-018 | プロダクトライン開発におけるセミ形式化記述を用いた仕様整合支援ツール 小宮 紀之, 久代 紀之, 深澤 良彰, |
B-019 | 要求、設計、評価工程をつなぐ仕様記述手法 久代 紀之, 小宮 紀之, 深澤 良彰, |
B-020 | デザインパターン検出結果を基にクラスを配置したプログラム設計理解のためのクラス図生成 鵜飼 公平, 酒井 三四郎, 松澤 芳昭, |
B-021 | タイムアウト機構を有するメッセージ交換プロトコルのUMLモデルとSPINモデル検査 坂本 統, 後藤 亮馬, 和崎 克己, |
B-022 | 文字列一致による数学的等価性判定可能なモデル分割アルゴリズム 三鍋 孝介, 織田 健, |