7月19日(水) 午前 SS-1
10:10 - 11:35 |
| (1) |
10:10-10:20 |
平成28年度 ソフトウェアサイエンス研究奨励賞 表彰式 |
(2)
SS |
10:20-10:45 |
木文法に基づくグラフ圧縮法および圧縮グラフに対する頂点選択問合せ評価法 |
○武田健志・橋本健二・関 浩之（名大） |
(3)
SS |
10:45-11:10 |
端末交通システムにおける運行スケジュールのモデル検査法を用いたデッドロック検出手法 |
○辻 光顕・長谷部浩二・加藤和彦（筑波大） |
(4)
SS |
11:10-11:35 |
車載ソフトウェアのためのダイナミックマップにおける動的情報の信頼性検証法 |
○渡邉陽介（名大）・佐藤守一（豊田中研）・関 浩之・結縁祥治（名大） |
| |
11:35-12:45 |
昼食 （ 70分 ） |
7月19日(水) 午後 KBSE-1
12:45 - 14:00 |
(5)
KBSE |
12:45-13:10 |
プログラム理解のためのスライシング基準自動設定用メトリクス |
増原孝昭・○芳賀博英（同志社大） |
(6)
KBSE |
13:10-13:35 |
IoTシステムアーキテクチャのモデリング記法によるモデル検査支援手法の試作と評価 |
○小形真平（信州大）・青木善貴（日本ユニシス）・中川博之（阪大）・小林一樹（信州大）・福島祐子（日本ユニシス） |
(7)
KBSE |
13:35-14:00 |
ハードウェアと環境とのインタラクションに着目した制御モデルのアジャイル開発 |
○西川 俊・松浦佐江子（芝浦工大） |
| |
14:00-14:10 |
休憩 （ 10分 ） |
7月19日(水) 午後 KBSE-2
14:10 - 15:25 |
(8)
KBSE |
14:10-14:35 |
オブジェクトの正規性を重視して存在従属関連を用いたドメインモデリング手法 |
○金田重郎・井田明男・森本悠介（同志社大） |
(9)
KBSE |
14:35-15:00 |
IoT活用システムへのゴール指向要求分析の適用に関する考察 |
○岡野道太郎（筑波大）・中谷多哉子（放送大） |
(10)
KBSE |
15:00-15:25 |
ソフトウェア工学分野における探索的手法の近年の動向について |
○木村功作・倉田涼史・佐々木裕介・谷田英生・チョーダリー シュリダル・徳本 晋・西村駿人（富士通研） |
| |
15:25-15:35 |
休憩 （ 10分 ） |
7月19日(水) 午後 SS-2
15:35 - 16:50 |
(11)
SS |
15:35-16:00 |
実行トレース間のデータの差異に基づくデータフロー解析手法の提案 |
○神谷年洋（島根大） |
(12)
SS |
16:00-16:25 |
メトリクス計測や解析のためのソースコード平坦化 |
○肥後芳樹・楠本真二（阪大） |
(13)
SS |
16:25-16:50 |
Javaソースファイルの開発者数とバグ修正の起こりやすさに関する調査 ～ ソースファイル間の依存関係に着目した解析 ～ |
○山内一輝・阿萬裕久・川原 稔（愛媛大） |
| |
16:50-17:00 |
休憩 （ 10分 ） |
7月19日(水) 午後 SS-3
17:00 - 18:15 |
(14)
SS |
17:00-17:25 |
レガシーシステムからの隠れ業務ルールの推定技術の検討 |
○井上雅之・神 明夫・堀川桂太郎（NTT）・和泉憲明（産総研） |
(15)
SS |
17:25-17:50 |
行動履歴分析に基づく変更支援における部分履歴抽出の影響調査 |
○藤原拓海・小林隆志（東工大） |
(16)
SS |
17:50-18:15 |
ソースコード部分の特徴への対話的アノテーション付与の枠組み |
○中山 健（津田塾大）・田野俊一・橋山智訓（電通大） |
7月20日(木) 午前 IPSJ-SE-1
10:10 - 11:25 |
| (17) |
10:10-10:35 |
システム理論に基づくSTAMP/STPAを用いたソフトウェア・アーキテクチャ分析の提案
○日下部茂（長崎県立大学） |
| (18) |
10:35-11:00 |
ウィンターワークショップ2017・イン・飛騨高山「短期繰り返しリリースを目指したテスト，品質管理」セッションの報告
○丹野治門（日本電信電話株式会社），高田眞吾（慶應義塾大学)，北村崇師，崔銀惠（産業技術総合研究所），秋山裕子，柴田和紀，安高聡（富士通株式会社），小高敏裕（株式会社富士通研究所），切貫弘之（日本電信電話株式会社） |
| (19) |
11:00-11:25 |
第3回アジア太平洋要求工学国際会議(APRES2016)開催報告
青山幹雄，○滝 さゆり（南山大学） |
| |
11:25-14:00 |
昼食 （ 155分 ） |
7月20日(木) 午後 IPSJ-SE-2
14:00 - 15:15 |
| (20) |
14:00-14:25 |
情報検索技術に基づくブロッククローン検出
○横井一輝（大阪大学)，崔恩瀞（奈良先端科学技術大学院大学)，吉田則裕（名古屋大学），井上克郎（大阪大学） |
| (21) |
14:25-14:50 |
多言語対応のための字句解析機構を持つコードクローン検出ツールの開発
○瀬村雄一（大阪大学)，吉田則裕（名古屋大学），崔恩瀞（奈良先端科学技術大学院大学)，井上克郎（大阪大学） |
| (22) |
14:50-15:15 |
Cソースコード静的解析のための問い合わせ言語CxmlPyQueryとその応用
○岩間恵梨沙（岩手県立大学大学院），福原和哉（アイシン・コムクルーズ株式会社），猪股俊光，杉野栄二，今井信太郎，新井義和，成田匡輝（岩手県立大学大学院） |
| |
15:15-15:25 |
休憩 （ 10分 ） |
7月20日(木) 午後 SS-4
15:25 - 16:40 |
(23)
SS |
15:25-15:50 |
組込みソフトウェアを対象とした状態遷移表の抽出と分析支援の検討 |
○山本椋太・吉田則裕（名大）・青木奈央（組込みシステム技術協会）・高田広章（名大） |
(24)
SS |
15:50-16:15 |
制約付き項書換え系の依存鎖を上限付き整数増加列に変換する多項式解釈 |
○笹野智裕・西田直樹・酒井正彦・上山智也（名大） |
(25)
SS |
16:15-16:40 |
再帰呼び出しを持つC言語サブセットからMalbolgeへのコンパイラ |
○坂梨元軌・河邉翔平・酒井正彦・西田直樹・橋本健二（名大） |
| |
16:40-16:50 |
休憩 （ 10分 ） |
7月20日(木) 午後 SS-5
16:50 - 17:40 |
(26)
SS |
16:50-17:15 |
テスト戦略立案のためのテストケース優先度付けと可視化手法 |
○加藤正恭・小川秀人（日立） |
(27)
SS |
17:15-17:40 |
フィーチャの意味を共有するためのドキュメンテーションとプロセス |
○中西恒夫（福岡大） |
7月21日(金) 午前 IPSJ-SE-3
10:10 - 11:45 |
| (28) |
10:10-10:35 |
ソースコード変更履歴の字句パターン学習による自動コードレビュー手法
○田端啓一，星野隆（日本電信電話株式会社） |
| (29) |
10:35-11:00 |
GitHubにおける言語ごとのビルドファイルの更新理由調査
○鐘ヶ江由佳，玉田春昭（京都産業大学） |
| (30) |
11:00-11:25 |
Git開発履歴情報に基づく不確かさの可視化
○村岡北斗（九州大学大学院），村本大起（九州大学），鵜林尚靖，亀井靖高，佐藤亮介（九州大学大学院 |
| (31) |
11:25-11:45 |
クロージング |
: 
ist
-u
s
-s
ff