| Spinを用いた処理フロー妥当性の早期検証ツールの提案ポスター発表 |
森岡 剛 |
| モデル検査技法を用いたビジネスプロセス検証ポスター発表 スライド発表 最優秀賞 |
綿引 健二 |
| RTOS を用いた組込みソフトウェア開発へのモデル検査適用手法の提案 |
朝岡 忠 |
| 自社用ソフトウェア開発ツールのオープンソース型開発の提案ポスター発表 |
石井 健一 |
| モデル検査基準を導入した開発プロセスについてポスター発表 |
乾 道孝 |
| VDMにおける状態遷移ベース仕様記述と検証の提案ポスター発表 |
植木 雅幸 |
| プロダクトラインアーキテクチャ設計・評価へのモデル検査の適用ポスター発表 |
宇佐美 雅紀 |
| NaviGlasses ワールドの形式仕様記述と検証ポスター発表 |
大座畑 重光 |
| 繰り返し型プロジェクトにおける Trac の適用ポスター発表 |
大沼 智之 |
| 分散型依存検証フレームワークの設計検証 |
岡本 尚彰 |
| 組織の開発力を考慮したプロジェクト開発期間見積もりポスター発表 |
川村 真弥 |
| 要求分析技法の社内適用手順の開発ポスター発表 |
栗原 英俊 |
| セキュアトロポス（secure Tropos）による内部統制のモデル化ポスター発表 |
河本 高文 |
| ESC/Java2を用いた画面入力チェック仕様検証の手法提案とツール試作ポスター発表 |
小堀 一雄 |
| 超上流工程における形式手法及び要求工学手法の適用検討ポスター発表 |
猿渡 卓也 |
| VDM++ と SPIN の連携による検証プロセスの効率化ポスター発表 |
鷲見 毅 |
| ユーザ企業における、要件定義プロセスの標準化提案ポスター発表 スライド発表 優秀賞 |
角川 友隆 |
| データベース設計における，モデルベースの非機能要求記述へのアプローチポスター発表 |
千葉 浩太郎 |
| 不具合レポートの定性的情報に基づいた不具合の重要度判別ポスター発表 |
那須 一義 |
| ソフトウェア開発の改善に先端的ツール、手法を活用する方法ポスター発表 |
早川 昌志 |
| ゴール指向要求分析とオブジェクト指向分析を組合わせた組込み機器の分析・設計プロセスの提案ポスター発表 |
松川 明子 |
| 見積りシステム開発を通じた Event-B 導入に関する一考察ポスター発表 |
松崎 和賢 |
| ビジネスプロセスの検証ツールの開発ポスター発表 |
村田 大二郎 |
| SOA 時代における通信プログラムのモデル検査手法の確立ポスター発表 |
茂呂 範 |
| Event-B の記述実験と式の命名による可読性向上の提案ポスター発表 |
山﨑 雄大 |
| 組込み開発におけるリスク分析手法の適用ポスター発表 |
和田 美江子 |
| 無線センサーネットワークにおけるネットワークスタックのコンポーネント化ポスター発表 |
阿部 玲 |
| VDM++ → Event-B 変換器ポスター発表 スライド発表 優秀賞 |
川俣 洋次郎 |
| 自然言語処理技術の適用によるソフトウェア部品への自動タグ付けポスター発表 |
馬場 雪乃 |
| アスペクト指向プログラミングの SunSPOT アプリケーション開発への適用ポスター発表 |
中里 彦俊 |
