5月11日(月) 午前 表彰式 12:45 - 13:00 |
(1) |
12:45-13:00 |
平成26年度 ソフトウェアサイエンス研究奨励賞 表彰式 |
5月11日(月) 午後 研究スタートアップ(1) 座長: 小林隆志(東工大) 13:00 - 14:10 |
(2) |
13:00-13:30 |
小規模組み込みシステムにおけるFRPの応用に向けて |
○澤田賢祐・鈴木康平・渡部卓雄(東工大) |
(3) |
13:30-13:50 |
ハイブリッドプロセス計算を用いたスーパーバイザ合成について |
○川北悠人・結縁祥治(名大) |
(4) |
13:50-14:10 |
二重値付き時間オートマトンを用いた非停止スケジューリングの最適平均利得計算の実現 |
○平岡 祥・結縁祥治(名大) |
|
14:10-14:25 |
休憩 ( 15分 ) |
5月11日(月) 午後 依頼講演(1) 座長: 結縁祥治(名古屋大) 14:25 - 15:25 |
(5) |
14:25-15:25 |
[依頼講演]量的情報流と差分プライバシー |
○関 浩之(名大) |
|
15:25-15:40 |
休憩 ( 15分 ) |
5月11日(月) 午後 研究スタートアップ(2) 座長: 渥美紀寿(名古屋大) 15:40 - 16:50 |
(6) |
15:40-16:10 |
Hardware Description Languageにおけるコードクローンのパターン分類 |
○上村恭平・藤原賢二・飯田 元(奈良先端大) |
(7) |
16:10-16:30 |
自然言語処理技術Word2Vecを用いたソフトウェアリポジトリマイニング手法の提案 |
○内山武尊・神谷年洋(公立はこだて未来大) |
(8) |
16:30-16:50 |
マルチプロセッサ環境で動作する組込みソフトウェアの拡張時間ペトリネットによるモデル化および性能検証 |
○中村貴史・中田明夫(広島市大) |
|
16:50-17:00 |
休憩 ( 10分 ) |
5月11日(月) 午後 依頼講演(2) 座長: 小林隆志(東工大) 17:00 - 18:00 |
(9) |
17:00-18:00 |
[依頼講演]ソフトウェアにおける全体論と還元論 |
○鯵坂恒夫(和歌山大) |
5月12日(火) 午前 一般セッション(1) 座長: 未定 08:45 - 10:45 |
(10) |
08:45-09:15 |
パターンマイニング技術を用いたC言語プログラムからのコーディングパターン抽出 |
○中村勇太・崔 恩瀞(阪大)・吉田則裕(名大)・春名修介・井上克郎(阪大) |
(11) |
09:15-09:45 |
再利用に基づく自動バグ修正における再利用候補の絞込に向けた調査 |
○横山晴樹・大田崇史・堀田圭佑・肥後芳樹(阪大)・岡野浩三(信州大)・楠本真二(阪大) |
(12) |
09:45-10:15 |
バグ報告の重複検出における単語数が判別精度に与える影響 |
○鶴田晶大・眞鍋雄貴・有次正義(熊本大) |
(13) |
10:15-10:45 |
Linuxディストリビューションにおけるパッチの適用過程の復元に向けて |
○金 勇・藤原賢二・飯田 元(奈良先端大) |
|
10:45-10:55 |
休憩 ( 10分 ) |
5月12日(火) 午前 依頼講演(3) 座長: 小林隆志(東工大) 10:55 - 11:55 |
(14) |
10:55-11:55 |
[依頼講演]不確かさを包容するソフトウェア工学 |
○鵜林尚靖(九大) |
|
11:55-13:00 |
休憩 ( 65分 ) |
5月12日(火) 午後 一般セッション(2) 座長: 結縁祥治(名古屋大) 13:00 - 14:00 |
(15) |
13:00-13:30 |
Query-Based l-Diversity |
○Chittaphone Phonharath(NAIST)・Ryunosuke Takayama・Kenji Hashimoto・Hiroyuki Seki(Nagoya Univ.) |
(16) |
13:30-14:00 |
モデル計数を用いたXMLデータベースのk-安全性検査 |
○浅井孝俊・上杉正紀・橋本健二・関 浩之(名大) |