| 題名 | SMVを用いたUML設計間の整合性違反の自動修正 |
| 著者 | *原田 慎士, 横川 智教 (岡山県立大), 宮崎 仁 (川崎医療福祉大), 佐藤 洋一郎, 早瀬 道芳 (岡山県立大) |
| Page | p. 378 |
| →詳細データ (アブストラクト，キーワード，詳細な著者の所属など) | |
| 題名 | Alloyを用いたUML設計間の整合性違反の検出および反例生成 |
| 著者 | *仁宮 章恵, 横川 智教 (岡山県立大), 宮崎 仁 (川崎医療福祉大), 佐藤 洋一郎, 早瀬 道芳 (岡山県立大) |
| Page | p. 379 |
| →詳細データ (アブストラクト，キーワード，詳細な著者の所属など) | |
| 題名 | 記号モデル検査ツールSMVを用いた結合フラグメントの形式的検証 |
| 著者 | *川上 由香, 横川 智教 (岡山県立大), 宮崎 仁 (川崎医療福祉大), 佐藤 洋一郎, 早瀬 道芳 (岡山県立大) |
| Page | p. 380 |
| →詳細データ (アブストラクト，キーワード，詳細な著者の所属など) | |
| 題名 | UPPAALを用いたGALSシステムの形式的検証手法の改良 |
| 著者 | *桐田 和明, 横川 智教 (岡山県立大), 宮崎 仁 (川崎医療福祉大), 佐藤 洋一郎, 早瀬 道芳 (岡山県立大) |
| Page | p. 381 |
| →詳細データ (アブストラクト，キーワード，詳細な著者の所属など) | |
| 題名 | ファイル間関連度を用いたタスク間の共通ファイル発見手法 |
| 著者 | *定免 睦昌, 國島 丈生, 横田 一正 (岡山県立大) |
| Page | pp. 382 - 383 |
| →詳細データ (アブストラクト，キーワード，詳細な著者の所属など) | |
| 題名 | 福山市内道路網におけるリンク旅行時間の解析と推定 |
| 著者 | *森藤 義之, 清水 光 (福山大) |
| Page | pp. 384 - 385 |
| →詳細データ (アブストラクト，キーワード，詳細な著者の所属など) | |