7月18日(水) 午前 SS-1（視聴覚室）
座長: 小林隆志（東工大）
09:30 - 10:55 |
| |
- |
オープニング (10分)
・平成29年度 ソフトウェアサイエンス研究奨励賞 表彰式 |
(1)
SS |
09:40-10:05 |
類似するコーディングパターンの利用状況調査ツールの提案 |
○小笠原康貴・神田哲也・井上克郎（阪大） |
(2)
SS |
10:05-10:30 |
自動プログラム修正手法を用いた自動リファクタリングツールの試作 |
○谷門照斗・肥後芳樹・楠本真二（阪大） |
(3)
SS |
10:30-10:55 |
開発者の活動量の経時的変化がコミッター候補者予測に与える影響の分析 |
○山崎大輝・大平雅雄・伊原彰紀・柏 祐太郎・宮崎智己（和歌山大） |
| |
10:55-11:05 |
休憩 （ 10分 ） |
7月18日(水) 午前 SS-2（視聴覚室）
座長: 中田明夫（広島市大）
11:05 - 12:20 |
(4)
SS |
11:05-11:30 |
状態遷移学習による分散協調システムの異常診断法 |
○渡邉陽介（名大）・佐藤守一（豊田中研）・関 浩之・結縁祥治（名大） |
(5)
SS |
11:30-11:55 |
時間付き可逆プロセス計算 |
○山本 暁・結縁祥治（名大） |
(6)
SS |
11:55-12:20 |
STAMP/STPAの鉄道踏切「とりこ検知」例題に対するモデル検査適用と考察 |
○楊 盼・辛島 凛・岡野浩三・小形真平（信州大） |
| |
12:20-14:00 |
休憩 （ 100分 ） |
7月18日(水) 午後 KBSE-1（視聴覚室）
座長: 田辺 良則 (鶴見大)
14:00 - 15:15 |
(7)
KBSE |
14:00-14:25 |
カバリングアレイの事後最適化による組み合わせテストでの不具合特定の実現 |
○金 浩・土屋達弘（阪大） |
(8)
KBSE |
14:25-14:50 |
組み込みシステムに対する安全な機能追加手法の考察 |
○土田真也・中川博之・土屋達弘（阪大） |
(9)
KBSE |
14:50-15:15 |
ECサイトの検索機能へのメタモルフィック・テスティングの適用 |
○永井史優・土屋達弘（阪大） |
| |
15:15-15:25 |
休憩 （ 10分 ） |
7月18日(水) 午後 KBSE-2（視聴覚室）
座長: 猿渡 卓也 (NTT)
15:25 - 16:15 |
(10)
KBSE |
15:25-15:50 |
IoTネットワークにおける障害耐性の高いトポロジー生成 |
○太田光雅（早大）・高橋竜一（茨城大）・深澤良彰（早大） |
(11)
KBSE |
15:50-16:15 |
コントロールループに着目したIoTアーキテクチャモデルの検証に関する一考察 |
○青木善貴（日本ユニシス）・小形真平・小林一樹（信州大）・中川博之（阪大） |
| |
16:15-16:25 |
休憩 （ 10分 ） |
7月18日(水) 午後 IPSJ-SE-1（視聴覚室）
16:25 - 17:40 |
| (12) |
16:25-16:50 |
不確かさに着目したrevertコミット分析
○村岡 北斗，亀井 靖高，佐藤 亮介，鵜林 尚靖（九州大学大学院） |
| (13) |
16:50-17:15 |
テストスクリプトの自動生成におけるテスト入力値作成支援技術の提案
倉林 利行，切貫 弘之，丹野 治門（日本電信電話株式会社） |
| (14) |
17:15-17:40 |
トークンのN-gramによるプログラム表現を用いたコードクローン検出手法
○向井 達郎，小林 靖明，紫藤 佑介，山本 章博（京都大学大学院），宮本 篤志，松村 忠幸，嶺 竜治（（株）日立製作所基礎研究センタ） |
7月19日(木) 午前 IPSJ-SE-2（視聴覚室）
09:30 - 10:45 |
| (15) |
09:30-09:55 |
流用開発時におけるトレーサビリティを利用した レビュー支援の方法とその支援ツールの提案
○周 一凡，中島 毅（芝浦工業大学） |
| (16) |
09:55-10:20 |
ネットワーク型侵入検知における評価用データセットに関する提案
○高原 尚志（新潟県立大学） |
| (17) |
10:20-10:45 |
アスペクト指向モデルにおけるアスペクト間の関係のプロパティについて
○野田 夏子（芝浦工業大学），岸 知二（早稲田大学） |
| |
10:45-10:55 |
休憩 （ 10分 ） |
7月19日(木) 午前 IPSJ-SE-3（視聴覚室）
10:55 - 12:10 |
| (18) |
10:55-11:20 |
ブロックチェーン技術適用システムにおける要求獲得プロセスの一考察
○山内 貴弘（株式会社クレスコ） |
| (19) |
11:20-11:45 |
因果ループ図の形式定義と性質解析
○中島 震（情報・システム研究機構，国立情報学研究所），Cledou Guillermina（HASLab INESCTEC & University of Minho） |
| (20) |
11:45-12:10 |
TypeScriptにおけるインタフェースの生成
○中村 晋太，丸山 勝久（立命館大学） |
| |
12:10-14:40 |
休憩 （ 150分 ） |
7月19日(木) 午後 IPSJ-SE-4（視聴覚室）
14:40 - 15:55 |
| (21) |
14:40-15:05 |
情報セキュリティ教育のためのカードゲームの検証
○廣瀬 司，中谷 多哉子（放送大学） |
| (22) |
15:05-15:30 |
会議の生産性向上のためのMinute Paper の提案
○岡本 克也，中谷 多哉子（放送大学大学院） |
| (23) |
15:30-15:55 |
機械学習を利用したBLE（Bluetooth Low Energy)の距離計測
○高瀬 一郎，中谷 多哉子（放送大学） |
| |
15:55-16:05 |
休憩 （ 10分 ） |
7月19日(木) 午後 SS-3（視聴覚室）
座長: 肥後芳樹（阪大）
16:05 - 17:20 |
(24)
SS |
16:05-16:30 |
メソッド入退出情報を利用した階層的欠陥箇所特定支援手法 |
○原口大和・野田訓広・小林隆志（東工大） |
(25)
SS |
16:30-16:55 |
仮想ファイルシステムを用いたプログラム内部状態観測ツールの試作 |
○平ノ内奎太・野田訓広・小林隆志（東工大） |
(26)
SS |
16:55-17:20 |
Concurrent Execution Semantics of the Functional Programming Language in Continuation Passing Style Based on the Actor Model |
○Nagisa Kojima・Kazuyuki Shima・Akio Nakata（Hiroshima City Univ.） |
7月20日(金) 午前 IPSJ-SE-5（大集会室）
09:30 - 10:20 |
| (27) |
09:30-09:55 |
構文定義記述を用いた多言語対応コードクローン検出ツールの開発
○瀬村 雄一（大阪大学），吉田 則裕（名古屋大学），崔 恩瀞（奈良先端科学技術大学院大学），井上 克郎（大阪大学） |
| (28) |
09:55-10:20 |
要求文書からの信頼性要求の抽出と検証
山田 さつき，大森 隆行，○大西 淳（立命館大学） |
| |
10:20-10:30 |
休憩 （ 10分 ） |
7月20日(金) 午前 KBSE-3（大集会室）
座長: 高橋 竜一 (茨城大)
10:30 - 12:05 |
(29)
KBSE |
10:30-10:55 |
オープンなスマートモビリティ市場におけるサービスの開発と運用 ～ アーキテクチャ戦略とサービスのサプライチェーンマネジメント ～ |
○中西恒夫（福岡大）・久住憲嗣・安藤崇央・峯 恒憲・福田 晃（九大） |
(30)
KBSE |
10:55-11:20 |
属性の適切さに注目した概念データモデル自動評価手法 |
○田中昂文（東京農工大）・橋浦弘明（日本工大）・櫨山淳雄（学芸大）・毛利考佑・金子敬一（東京農工大） |
(31)
KBSE |
11:20-11:45 |
アジャイル開発における生産性評価法の一検討 |
○秦泉寺久美・羽室大介（NTT） |
| |
- |
クロージング (20分） |
: 
ff
-s
