3月10日(木) 午前 09:00 - 10:15 |
(1) |
09:00-09:25 |
情報システムのパターンとバリエーションの把握に向けた変更要求分析 |
○久保綾加・鯵坂恒夫・福安直樹・満田成紀・松延拓生(和歌山大) |
(2) |
09:25-09:50 |
ソースコードの特性を考慮した感情極性の分析 |
○山田晃久・水野 修(京都工繊大) |
(3) |
09:50-10:15 |
シナリオ部品の統合化とシナリオ作成支援 |
高木庫平・○大西 淳(立命館大) |
|
10:15-10:25 |
休憩 ( 10分 ) |
3月10日(木) 午前 10:25 - 11:40 |
(4) |
10:25-10:50 |
On the query preservation for nondeterministic tree transducers |
○Kazuki Miyahara(NAIST)・Kenji Hashimoto(Nagoya Univ.)・Hiroyuki Seki(NAIST/Nagoya Univ.) |
(5) |
10:50-11:15 |
組合せ最適化問題記述のためのSQLの拡張 |
○内田佑作・酒井正彦・西田直樹(名大) |
(6) |
11:15-11:40 |
拡張Farkas補題の部分適用による非線形ループ不変式生成を用いたプログラム検証 |
○柳澤真志・西田直樹・酒井正彦(名大) |
|
11:40-13:00 |
休憩 ( 80分 ) |
3月10日(木) 午後 13:00 - 14:40 |
(7) |
13:00-13:25 |
制限されたDTDクラスのもとでのXQuery式の型推論 |
○杉村憲司・石原靖哲(阪大)・加藤弘之(NII)・藤原 融(阪大) |
(8) |
13:25-13:50 |
XQuery optimization by avoiding node sorting and duplicate elimination |
○Yasunori Ishihara(Osaka Univ.)・Hiroyuki Kato(NII)・Torsten Grust(Universitaet Tuebingen) |
(9) |
13:50-14:15 |
ソースコード片検索および推薦のためのクリーニング手法の提案と評価 |
○内山武尊(公立はこだて未来大)・神谷年洋(島根大)・新美礼彦(公立はこだて未来大) |
(10) |
14:15-14:40 |
Word2Vecを用いたバグ報告からの不具合ファイル特定 |
○釆野友紀也・水野 修(京都工繊大)・崔 銀惠(産総研) |
|
14:40-14:50 |
休憩 ( 10分 ) |
3月10日(木) 午後 14:50 - 16:55 |
(11) |
14:50-15:15 |
ExecutableUMLを用いたソフトウェアの消費エネルギー解析手法 |
○吉本竜輔・久住憲嗣・福田 晃(九大) |
(12) |
15:15-15:40 |
開発者と自動プログラム修正手法による修正の差異の調査 |
○中島弘貴・横山晴樹・肥後芳樹・楠本真二(阪大) |
(13) |
15:40-16:05 |
集約されたメソッドを利用したコードクローンベンチマークの作成 |
○幸 佑亮・肥後芳樹・堀田圭祐・楠本真二(阪大) |
(14) |
16:05-16:30 |
再利用に基づく自動プログラム修正における更新順を用いた挿入候補の絞込の提案 |
○山本将弘・横山晴樹・肥後芳樹・楠本真二(阪大) |
(15) |
16:30-16:55 |
クラウド知識に基づいたプログラミング支援環境CodeConcierge |
○高橋裕太・深町拓也・鵜林尚靖・細合晋太郎・亀井靖高(九大) |
|
- |
懇親会: 19:00~
申込みフォーム( https://goo.gl/xu7CsI ) から 3/1 までにお申込ください. |
3月11日(金) 午前 09:00 - 10:15 |
(16) |
09:00-09:25 |
リファクタリング実施履歴を用いたCode Smellの深刻度に関する調査 |
○雜賀 翼・崔 恩瀞(阪大)・吉田則裕(名大)・春名修介・井上克郎(阪大) |
(17) |
09:25-09:50 |
ライフサイクル指向アーキテクチャにおける要求、設計、運用情報間でのトレーサビリティ確立手法 |
○石橋翔太・久住憲嗣・福田 晃(九大) |
(18) |
09:50-10:15 |
モデリング教育を支援する埋込み型モデリングツールの開発と評価 |
○別府 薫・久住憲嗣・福田 晃(九大) |
|
10:15-10:25 |
休憩 ( 10分 ) |
3月11日(金) 午前 10:25 - 13:00 |
(19) |
10:25-10:50 |
Stack Overflowを用いたデバッグの有用性に関する実証分析 |
○荻原由輝・深町拓也・鵜林尚靖・細合晋太郎・亀井靖高(九大) |
(20) |
10:50-11:15 |
ベイズ推定を用いた組み合わせテスト最適化手法の提案 |
○河端駿也(京都工繊大)・崔 銀惠(産総研)・水野 修(京都工繊大) |
(21) |
11:15-11:40 |
メソッドを横断するコードテンプレート発見のためのインライン展開戦略の検討 |
○相澤遥也・小林隆志(東工大) |
|
11:40-13:00 |
休憩 ( 80分 ) |
|
- |
※昼食時にソフトウェアサイエンス研究専門委員会(非公開)を実施します |
3月11日(金) 午後 13:00 - 14:40 |
(22) |
13:00-13:25 |
コードクローンメトリクスとプロジェクトデータ間の相関分析 ~ 同一仕様プロジェクト群を対象として ~ |
○肥後芳樹・村上寛明・楊 嘉晨・柗本真佑・楠本真二(阪大)・三宅武司・藤波崇志・石橋 昭・星野 隆(NTT) |
(23) |
13:25-13:50 |
オープンソースソフトウェア開発におけるバグ修正活動の課題分析とその解決方法の提案 |
○夏目貴史・坂井 博(NTT) |
(24) |
13:50-14:15 |
機械学習を利用したソースコード補完手法 |
○山本哲男(日大) |
(25) |
14:15-14:40 |
一次元系における自己位置推定の振舞い検証に向けて |
○関澤俊弦(日大)・岡野浩三(信州大) |