| ソフトウェアメトリクスによる定量的分析手法の実践と評価ポスター発表 |
河合 克己 |
| クラウド環境下におけるアクセス制御のVDMを用いての検証ポスター発表 |
阿南 秀忠 |
| 第三者評価における大略テスト設計書を用いたテストの俯瞰及びテスト設計までのフレームワークの検討ポスター発表 |
伊藤 拓也 |
| 改良開発におけるEvent-Bの有効性検証ポスター発表 |
岩崎 隆 |
| 画像処理ソフトウェアの仕様に基づいたテスト画像の自動生成、および検証・評価自動化 ポスター発表 |
榎本 誠 |
| 開発現場への形式仕様記述展開手法の提案 ポスター発表 |
大橋 充幸 |
| VDMによるユースケース検証用ツール ポスター発表 |
岡野 道太郎 |
| 組み込みソフトウエア開発におけるモデル検査スタンダードの考案 ポスター発表 |
片岡 久宜 |
| 適用デザインパターンの選択プロセスに関する一考察 ポスター発表 |
河田 洋平 |
| 既存システムの改良・保守業務における，上流工程（要件定義，概要設計）の欠陥除去方法の提案 ポスター発表 |
川村 正治 |
| パスカバレッジテストデータの自動生成 ポスター発表 |
木村 一臣 |
| コードクローンとファイル名情報を利用した静的コード解析指摘分類 ポスター発表 |
郡司 尚樹 |
| Promelaコード生成およびエラー原因推定アルゴリズム開発 ポスター発表 優秀賞 |
佐々木 隆益 |
| DSLによる設計情報記述に対する誤り検出方法の考察 ポスター発表 優秀賞 |
佐々木 高洋 |
| ステークホルダの選好を考慮に入れたゴール選択手法 ポスター発表 |
佐藤 慎一 |
| 業務WebシステムへのUML Components 適用(共同制作) ポスター発表 |
陣内 一喜 堀切 哲生 |
| 制約プログラミングによる機器配置設計補助ツール ポスター発表 |
諏訪 公洋 |
| ランダムテストにおけるテスト実績の可視化 ポスター発表 |
田中 信彰 |
| 要求獲得技法による技術戦略立案支援の提案 ポスター発表 |
辻 昇治 |
| 制御ボードファームウェアの二重化制御機能を対象とした形式検証の適用 ポスター発表 |
辻村 浩史 |
| Java PathFinderを活用したWebアプリケーションの検証 ポスター発表 |
直井 稔 |
| 性能モデル検査技術を用いた性能最適化支援手法の提案と評価 ポスター発表 |
長野 岳彦 |
| AspectCによる組込みプロダクトライン開発 ポスター発表 |
羽柴 瑠弥子 |
| 検査モデルを自動生成するモデル検査支援基盤の提案 ポスター発表 |
近久 真章 |
| アスペクト指向による計測ソフトウェアフレームワーク設計 ポスター発表 |
廣瀬 鉄平 |
| Android開発へモデル検査の提案 ポスター発表 |
細川 友武 |
| Rich Internet Applications のページ内状態遷移のモデリング手法の提案 ポスター発表 優秀賞 |
前澤 悠太 |
| ソフトウェア開発組織の文書化方針に関する一考察（企業横断調査データに基づくマクロ視点での分析） ポスター発表 |
水上 祐治 |
| 一般化線形モデルを用いたソフトウェアプロジェクトデータ分析 ポスター発表 |
渡邉 智 |
| 無線センサネットワークの為のモデル駆動開発におけるモデル間データフロー相違の検証 ポスター発表 |
清水 遼 |
| Promelaモデルの自動抽象化の枠組みの提案 ポスター発表 |
姜 帆 |
