| B. ソフトウェア | |
| 9月7日（火） 10:00〜12:00 総合学習プラザ1F 第6講義室 | |
| 1Bセッション ［ソフトウェア工学・デジタルドキュメント］ 座長 野田 夏子（NEC） | |
| RB-001 | 進捗管理のための頭部の動きに着目した集中度判定 ◎林 利毅・原田史子・島川博光（立命館大） |
| B-001 | 大規模オンラインシステムの負荷テスト対象業務選定手順 ○渡名喜元史・遠藤 浩・宮崎肇之（日立） |
| B-002 | モデル駆動要求分析におけるエンドユーザの入力制約モデルの導入 ◎小形真平・松浦佐江子（芝浦工大） |
| B-003 | 強マイグレーションモバイルエージェントシステムAgentSphereにおけるエージェントの活動管理 ◎山口大祐・白谷浩次郎・市川 顕・甲斐宗徳（成蹊大） |
| B-004 | 教材ファイル配布のためのP2P型ソフトウェアの開発 ◎芦田盛輔・真田博文・竹沢 恵・岡崎哲夫（北海道工大） |
| B-005 | 電子書籍および電子書籍端末のこれまでの動向と新たな利用シーンの提案 ◎亀子貴裕・関亜紀子（日大） |
| 9月7日（火） 13:30〜15:30 総合学習プラザ1F 第6講義室 | |
| 2Bセッション ［組込みソフトウェア・テスト］ 座長 沢田 篤史（南山大） | |
| RB-002 | MARTEプロファイルを適用したUMLモデルによる組込みシステムの性能評価シミュレーション ◎河原 亮・小野康一・中田武男・豊田 学・坂本佳史（日本IBM）・福岡直明（京セラミタ） |
| B-006 | UML MARTE Profile を用いた性能シミュレーション手法の提案 ○磯田 誠・田村直樹（三菱） |
| B-007 | 組込みオープンソースソフトウェアの移植工程に対する信頼性評価ツールの開発と性能評価 ◎中道 徹・田村慶信（山口大）・山田 茂（鳥取大） |
| B-008 | 組込みシステムのオープンソースソフトウェア移植工程に対する信頼性評価のための一般化ハザードレートモデルと適合性評価 ◎吉田祐貴・田村慶信（山口大）・山田 茂（鳥取大） |
| B-009 | テスト観点分析によるソフトウェア要求仕様の品質向上 ◎石井俊直・細谷泰夫・吉岡克浩・前田融磁・石原 鑑（三菱） |
| B-010 | XMLによるソースコード表現に基づく統合ソフトウェアテスティング支援環境の構築 ◎佐々木亮太・末広暁久・芳賀博英（同志社大） |
| 9月7日（火） 16:00〜18:00 総合学習プラザ1F 第6講義室 | |
| 3Bセッション ［パターン・リファクタリング］ 座長 石尾 隆（阪大） | |
| B-011 | 既開発部分の解析によるレイアウト調整済みGUIの生成 ◎白井盛太郎（早大）・白銀純子（東京女子大）・岩田 一（神奈川工科大）・深澤良彰（早大） |
| B-012 | デザインパターン検出のための識別要素の設計 ◎鵜飼公平・酒井三四郎（静岡大） |
| B-013 | YAMLを用いたJavaプログラムコードのリファクタリングの提案 ◎菊池大輔・小飼 敬・滝沢陽三（茨城高専） |
| B-014 | オブジェクト指向開発における事例ベース推論適用の試み ◎斉藤恭彦・吉村 晋（サレジオ高専）・白鳥則郎（東北大） |
| B-015 | フィールドとメソッド間の依存関係に着目したリファクタリング適用箇所抽出方法 ◎若林智徳・松浦佐江子（芝浦工大） |
| B-016 | クラス図によるクラス図構造検索の評価 ◎長谷川明史・塚本享治（東京工科大） |
| 9月8日（水） 10:00〜12:30 総合学習プラザ1F 第6講義室 | |
| 4Bセッション ［モデル検査・検証・信頼性］ 座長 高田 喜朗（高知工科大） | |
| B-017 | 時間制約を持つ仕様に対するUML/SysMLモデルの動的検査手法 ○小野康一・河原 亮・中村宏明・石川 浩（日本IBM） |
| B-018 | 状態遷移を持つオブジェクト間通信のモデル検査技術 ◎大貫智洋・上野浩一郎・磯田 誠（三菱） |
| B-019 | UMLモデルの振舞いのモデル検査における表現方法について ◎八鍬 豊・野田夏子（NEC） |
| B-020 | UML記述の仕様からSPINモデル検査用PROMELAモデルへの自動変換 ◎宮本直樹・和崎克己（信州大） |
| B-021 | Happened-before関係による非分散マルチタスクプログラムに対する排他制御機構デッドロックの定義 ◎土江晋哉・大森 晃（東理大） |
| B-022 | ソースコード解析を利用したモデル検査に基づく欠陥抽出手法による組込みシステムの検証 ○Yoshitaka Aoki・Saeko Matsuura（芝浦工大） |
| B-023 | Software Reliability Measurement with Effect of Change-Point by Using Environmental Function ◎井上真二・山田 茂（鳥取大） |
| 9月8日（水） 16:00〜17:40 総合学習プラザ1F 第6講義室 | |
| 5Bセッション ［ハイパフォーマンスコンピューティング］ 座長 西田 晃（九大） | |
| B-024 | M&Sの準リアルタイム実行方式の検討 ○尾崎敦夫・渡部修介・白石 將（三菱） |
| B-025 | 評価関数の精度による階層的挟み撃ち探索の性能評価 ◎中村あすか・富永浩文・前川仁孝（千葉工大） |
| B-026 | ローカルメモリを越える大容量データを扱う逐次処理のためのCコンパイラ ◎吉村 礎・緑川博子・甲斐宗徳（成蹊大） |
| B-027 | CPUとGPUの協調による組合せ最適化アルゴリズムの並列実装に関する研究 ◎渡部晴人・加藤 聡（松江高専） |
| B-028 | ストリーミングSIMD拡張命令を用いた電子回路シミュレータSPICE3の高速化 ◎篠塚研太・中村あすか・富永浩文・前川仁孝（千葉工大） |
| 9月9日（木） 10:00〜11:40 総合学習プラザ1F 第6講義室 | |
| 6Bセッション ［仮想化技術・セキュリティ］ 座長 乃村 能成（岡山大） | |
| B-029 | ハイパバイザによる広告表示 ○大山恵弘（電通大） |
| B-030 | 複数仮想計算機環境におけるI/Oスケジューラの動作と性能に関する考察 ◎新居健一・山口実靖（工学院大） |
| B-031 | ライブマイグレーション仮想計算機の性能に関する考察 ◎久野陽介・山口実靖（工学院大） |
| B-032 | I/O処理の動作を考慮した仮想計算機メモリ割当量に関する考察 ◎渡邉有貴・山口実靖（工学院大） |
| B-033 | 組込みOS用暗号化ロードモジュール機能及びセキュアファイルサーバの試作 ◎望月祐希・野口健一郎（神奈川大） |
| 9月9日（木） 13:30〜15:10 総合学習プラザ1F 第6講義室 | |
| 7Bセッション ［OS構成法］ 座長 大山 恵弘（電通大） | |
| B-034 | マルチプロセッサ向け先読み同期プロトコル ◎石川洋輔・山崎信行（慶大） |
| B-035 | PCサーバ用Linuxのリアルタイム性能評価 ◎金城 聖・鶴 薫・飯塚 剛（三菱） |
| B-036 | Kexecによるコア別Linuxカーネルの起動方式 ◎中原大貴・乃村能成・谷口秀夫（岡山大） |
| B-037 | マルチコアプロセッサにおいて複数のLinuxカーネルを走行させる方式の設計 ◎千崎良太・乃村能成・谷口秀夫（岡山大） |
| B-038 | 周期実行制御における超過処理防止法の実現方式 ◎古川友樹・山内利宏・谷口秀夫（岡山大） |