10月27日(木) 午後
13:20 - 14:50 |
| (1) |
13:20-13:50 |
ソーシャルメディアにおける情報の伝播がもたらす商品の売れ行きに対する影響について ～ Twitterのつぶやき数の推移とiTunes AppStoreのモバイルアプリの売れ行きの相関性 ～ |
○奥田 輔・安田孝美（名大）・水野政司（クエリーアイ） |
| (2) |
13:50-14:20 |
サービス需給スキーマに基づく情報システム開発手法の提案 |
○坪田佳久・鯵坂恒夫（和歌山大） |
| (3) |
14:20-14:50 |
DBスキーマ変更を吸収するXMLDB向けDAO設計パターンの提案 |
○榎本俊文・鈴木源吾・小林伸幸・山室雅司（NTT） |
| |
14:50-15:05 |
休憩 （ 15分 ） |
10月27日(木) 午後
15:05 - 16:05 |
| (4) |
15:05-15:35 |
ソフトウェア部品検索に適したファセット探索の一考察 |
○駒水孝裕・早瀬康裕・北川博之（筑波大） |
| (5) |
15:35-16:05 |
デルタ抽出のための効率の良いアルゴリズムの開発と実装 |
○山根敬史・新田直也（甲南大） |
| |
16:05-16:20 |
休憩 （ 15分 ） |
10月27日(木) 午後
16:20 - 17:20 |
| (6) |
16:20-17:20 |
［招待講演］ソフトウェア工学研究推進の駆動力 |
○落水浩一郎（北陸先端大） |
10月28日(金) 午前
09:30 - 11:00 |
| (7) |
09:30-10:00 |
再帰プログラムに対するパラメトリック実行時間解析手法とツールの試作 |
○椛島和宏・中田明夫（広島市大） |
| (8) |
10:00-10:30 |
リソース制約を持つ複数タスク動作仕様におけるタイムバジェット最適化の一手法 |
○倉田和哉・百々太市・中田明夫（広島市大） |
| (9) |
10:30-11:00 |
パターンに基づくCSP記述の検査に関する考察 |
○張 漢明・野呂昌満・沢田篤史・吉田 敦・蜂巣吉成・横森励士（南山大） |
| |
11:00-11:15 |
休憩 （ 15分 ） |
10月28日(金) 午前
11:15 - 12:45 |
| (10) |
11:15-11:45 |
有限Alloy記述の段階的な構築について |
○小飼 敬（茨城高専）・中島 震（NII）・上田賀一（茨城大） |
| (11) |
11:45-12:15 |
分離論理を用いたTOPPERS/ASPの割込み動作に対する検証 |
○中島 崇・結縁祥治（名大） |
| (12) |
12:15-12:45 |
2リテラル監視法で実装されたSATソルバへの基本対称節処理機能の組み込み |
○日野善信・酒井正彦・坂部俊樹・草刈圭一朗・西田直樹（名大） |
: 
a
-
