3月7日(月) 午前
09:00 - 17:00 |
| (1) |
09:00-09:25 |
センサ駆動連携サービスのための連鎖検出手法の検討 |
○稲田卓也・池上弘祐・柗本真佑・中村匡秀（神戸大）・井垣 宏（東京工科大） |
| (2) |
09:25-09:50 |
ホームネットワークシステムのためのパーソナルリモコン開発フレームワーク |
○徳田啓介・稲田卓也・柗本真佑・中村匡秀（神戸大） |
| (3) |
09:50-10:15 |
多様な通信方式の機器に適用可能なデバイスモデルの提案 |
○野口智史・鈴木健司（三菱電機） |
| (4) |
10:15-10:40 |
位置透過性のあるシステムコールを有する組込み制御システム向け分散リアルタイムOS |
○知場貴洋（東京都市大）・伊丹悠一（日立情報通信エンジニアリング）・兪 明連・横山孝典（東京都市大） |
| |
10:40-10:50 |
休憩 （ 10分 ） |
| (5) |
10:50-11:15 |
アスペクト指向プログラミングによる組込みOSのカスタマイズ手法の提案 |
○阿部一樹・横山孝典・兪 明連（東京都市大） |
| (6) |
11:15-11:40 |
利用率をベースにしたリアルタイムスケジューリングアルゴリズムの提案 |
○岡崎 旭・兪 明連・横山孝典（東京都市大） |
| (7) |
11:40-12:05 |
RMに基づいたマルチプロセッサ用プリエンプション低減リアルタイムスケジューリングアルゴリズムの提案 |
○西垣公平・兪 明連・横山孝典（東京都市大） |
| |
12:05-13:30 |
昼食 （ 85分 ） |
| (8) |
13:30-13:55 |
振る舞いモデル生成機能を持つSimulink・UMLモデル変換ツール |
○田村雅成・神山達哉・添田隆弘・兪 明連・横山孝典（東京都市大） |
| (9) |
13:55-14:20 |
オープンソースリポジトリにおけるバグ修正履歴の再利用性評価 |
○塩塚 大（九工大）・鵜林尚靖（九大） |
| (10) |
14:20-14:45 |
Towards Objective Estimations of Software Implementation Progress |
○Camargo Cruz Ana Erika・Koichiro Ochimizu（JAIST） |
| (11) |
14:45-15:10 |
制約付き木オートマトンとその閉包性 |
○倉橋克尚・酒井正彦・西田直樹・野村太志・坂部俊樹・草刈圭一朗（名大） |
| |
15:10-15:20 |
休憩 （ 10分 ） |
| (12) |
15:20-15:45 |
差分シナリオを用いたシナリオ検索支援 |
吉田裕作・○大西 淳（立命館大） |
| (13) |
15:45-16:10 |
責務記述に基づくクラスの責務割り当て支援 |
○秋山幹博・林 晋平（東工大）・小林隆志（名大）・佐伯元司（東工大） |
| (14) |
16:10-16:35 |
オープンソース開発におけるSCMの自動分類に基づくevolutionの傾向分析と品質評価 |
○戴 家豪・海尻賢二・海谷治彦（信州大） |
| (15) |
16:35-17:00 |
コーディング規約の違反計測に基づく開発スタイルの特徴分析 |
○寺岡仁志・海尻賢二・海谷治彦（信州大） |
3月8日(火) 午前
09:00 - 14:45 |
| (16) |
09:00-09:25 |
有界モデル検査法を用いたモジュラー検証のテストケース生成による補完 |
○橋本祐介（総研大/NEC）・中島 震（NII/総研大） |
| (17) |
09:25-09:50 |
プログラム変換を用いたポインタ操作プログラムの検証にむけて ～ Morrisの二分木走査アルゴリズムによるケーススタディ ～ |
○渡部卓雄・森口草介・山田一宏・西崎真也（東工大） |
| (18) |
09:50-10:15 |
否定前件を含む構造操作意味定義に対するプロセス計算コンパイラ |
○伴 潤・結縁祥治（名大） |
| (19) |
10:15-10:40 |
GameFrameWork CeriumにおけるSequentialなGame Programの分割と動作の検証 |
○小林佑亮・河野真治・多賀野海人・金城 裕（琉球大） |
| |
10:40-10:50 |
休憩 （ 10分 ） |
| (20) |
10:50-11:15 |
OCLからJMLへの変換ツールにおける対応クラスの拡張と教務システムに対する適用実験 |
宮澤清介・○花田健太郎・岡野浩三・楠本真二（阪大） |
| (21) |
11:15-11:40 |
リポジトリのリアルタイムな可視化にもとづくPBLの支援環境 ～ 継続的な実施を目的として ～ |
○福安直樹（和歌山大）・佐伯幸郎（高知工科大）・水谷泰治（阪工大） |
| (22) |
11:40-12:05 |
HTML講義資料のリアルタイムアクセス解析による授業進捗管理システム |
○山田 誠（東京工科大）・堀口悟史（慶大）・井垣 宏・井上亮文・星 徹（東京工科大） |
| |
12:05-13:05 |
昼食 （ 60分 ） |
| (23) |
13:05-13:30 |
設計原理に基づくソフトウェア階層化支援手法 |
○市川友介・相田 慎・磯田定宏（豊橋技科大） |
| (24) |
13:30-13:55 |
コントロールフローグラフにおける辺のペアを考慮したコードカバレッジの提案と評価 |
○西本 哲・土屋達弘・菊野 亨（阪大） |
| (25) |
13:55-14:20 |
変更支援のための成果物アクセス履歴マイニング |
○加藤 希・小林隆志・阿草清滋（名大） |
| (26) |
14:20-14:45 |
飛行船自動航行システム開発におけるSysMLを用いたプロセス改善事例 |
○福田哲志・末安史親・庭木勝也・森田健治・久住憲嗣・峯 恒憲・鵜林尚靖（九大）・平山雅之（情報処理推進機構/東芝）・濱田直樹（情報処理推進機構）・二上貴夫（東陽テクニカ） |
: 
a
-
