研究会開催プログラム - 2017-07-SS-KBSE-IPSJ-SE

お知らせ 2023年度・2024年度学生員会費割引キャンペーン実施中です
お知らせ技術研究報告と和文論文誌Ｃの同時投稿施策(掲載料1割引き)について
お知らせ【重要】研究会・各種料金のお支払い方法変更について

電子情報通信学会研究会発表申込システム
研究会開催プログラム

技報閲覧サービス
[ログイン]
技報アーカイブ

★ソフトウェアサイエンス研究会（SS）
専門委員長　緒方和博 (北陸先端大)　　副委員長　中田明夫 (広島市大)
幹事　小林隆志 (東工大)，肥後芳樹 (阪大)
幹事補佐　島和之 (広島市大)

★知能ソフトウェア工学研究会（KBSE）
専門委員長　金田重郎 (同志社大)　　副委員長　粂野文洋 (日本工大)
幹事　岩田一 (神奈川工科大)，櫻井孝平 (金沢大)
幹事補佐　猿渡卓也 (NTTデータ)，木村功作 (富士通研)

★ソフトウェア工学研究会（IPSJ-SE）

日時　2017年 7月19日(水)　10：10～18：15
　　　2017年 7月20日(木)　10：10～17：40
　　　2017年 7月21日(金)　10：10～11：45

会場函館コミュニティプラザ（〒040-0011 函館市本町24-1 シエスタハコダテ4階．http://g-sq.jp/）

議題ソフトウェア工学全般／知能ソフトウェア工学全般／ソフトウェアサイエンス全般

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
車載ソフトウェアのためのダイナミックマップにおける動的情報の信頼性検証法
○渡邉陽介（名大）・佐藤守一（豊田中研）・関　浩之・結縁祥治（名大）

−−−　昼食　（ 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
ハードウェアと環境とのインタラクションに着目した制御モデルのアジャイル開発
○西川　俊・松浦佐江子（芝浦工大）

−−−　休憩　（ 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
ソフトウェア工学分野における探索的手法の近年の動向について
○木村功作・倉田涼史・佐々木裕介・谷田英生・チョーダリーシュリダル・徳本　晋・西村駿人（富士通研）

−−−　休憩　（ 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ソースファイルの開発者数とバグ修正の起こりやすさに関する調査～ソースファイル間の依存関係に着目した解析～
○山内一輝・阿萬裕久・川原　稔（愛媛大）

−−−　休憩　（ 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)開催報告
青山幹雄，○滝さゆり（南山大学）

−−−　昼食　（ 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とその応用
○岩間恵梨沙（岩手県立大学大学院），福原和哉（アイシン・コムクルーズ株式会社），猪股俊光，杉野栄二，今井信太郎，新井義和，成田匡輝（岩手県立大学大学院）

−−−　休憩　（ 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へのコンパイラ
○坂梨元軌・河邉翔平・酒井正彦・西田直樹・橋本健二（名大）

−−−　休憩　（ 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
クロージング

一般講演：発表 20 分＋質疑応答 5 分

☆SS研究会今後の予定　[ ]内発表申込締切日

10月19日(木)～20日(金)　高知市文化プラザかるぽーと　[8月10日(木)]　テーマ：ソフトウェアシステム, ネットワーク環境でのディペンダビリティ

【問合先】
肥後芳樹 (大阪大学)
TEL: 06-6879-4111
FAX: 06-6879-4114
E-mail:

ist

-u

◎最新の情報はSIGSS研究会ホームページでご確認ください．
http://www.ieice.org/iss/ss/

☆KBSE研究会今後の予定　[ ]内発表申込締切日

9月19日(火)　同志社大学東京オフィス　[7月19日(水)]　テーマ：一般

【問合先】
金田重郎（同志社大学）
E-mail: s