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

お知らせ 2023年度・2024年度学生員会費割引キャンペーン実施中です
お知らせ技術研究報告と和文論文誌Ｃの同時投稿施策(掲載料1割引き)について
お知らせ電子情報通信学会における研究会開催について
お知らせ NEW 参加費の返金について

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

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

トップ

戻る

前のIPSJ-SE研究会 / 次のIPSJ-SE研究会

[HTML] / [HTML(simple)] / [TEXT]

[Japanese] / [English]

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

★ソフトウェアサイエンス研究会（SS）
専門委員長　結縁祥治 (名大)　　副委員長　緒方和博 (北陸先端大)
幹事　小林隆志 (東工大)，鷲崎弘宜 (早大)
幹事補佐　肥後芳樹 (阪大)

★知能ソフトウェア工学研究会（KBSE）
専門委員長　飯島正 (慶大)　　副委員長　金田重郎 (同志社大)
幹事　後藤隆彰 (電通大)，青木善貴 (日本ユニシス)
幹事補佐　松野裕 (電通大)，中川博之 (阪大)

日時　2014年 7月 9日(水)　15：00～16：30
　　　2014年 7月10日(木)　09：00～17：20
　　　2014年 7月11日(金)　09：00～15：10

会場富良野文化会館（〒076-0018 富良野市弥生町1番2号．富良野駅より徒歩１５分、次のページを参考にしてください．http://www.city.furano.hokkaido.jp/contents/ePage.asp?CONTENTNO=192）

議題一般

7月9日(水) 午後レビュー・分析（15：00～16：30）

(1) 15:00 - 15:30
コードレビュー時の読み方教示によるレビュー効率の向上
○應治沙織・上野秀剛（奈良工業高等専門学校）

(2) 15:30 - 16:00
第三者によるソフトウェア開発作業評価のための作業記録の保護手法
○池田祥平・上野秀剛（奈良工業高等専門学校）

(3) 16:00 - 16:30
ソフトウェア保守の作業時間に影響する要因の分析
○角田雅照（奈良先端科学技術大学院大学／近畿大学）・
門田暁人・松本健一（奈良先端科学技術大学院大学）・押野智樹（経済調査会）

7月10日(木) 午前タスクスケジューリング・時間制約（09：00～10：30）

(4)/KBSE 09:00 - 09:30
多様なタスクスケジューリング問題への解集合プログラミングの適用
○小林弘幸・中川博之・小島英春・土屋達弘（阪大）

(5)/KBSE 09:30 - 10:00
ビジネスプロセスのための時間制約表現
○飯島　正（慶大）

(6)/SS 10:00 - 10:30
値付きタスクオートマトンに基づくコストを意識した実時間タスクスケジューリング
○結縁祥治・亀井達朗（名大）

7月10日(木) 午前 PBL・開発プロセス（10：40～12：10）

(7) 10:40 - 11:10
IoTシステムを題材としたPBLの導入提案
○細合晋太郎・石田繁巳・亀井靖高・大迫周平（九州大学）・
井垣宏（大阪大学）・鵜林尚靖・福田晃（九州大学）

(8) 11:10 - 11:40
OSSシステムとコミュニティの共進化を理解するための遅延相関分析手法：多様な遅延パターンへの対応
○山谷陽亮・大平雅雄（和歌山大学）

(9) 11:40 - 12:10
開発履歴を利用した風林火山モデルに基づく開発者特性の分析
○五田篤志・山崎尚・玉田春昭（京都産業大学）・畑秀明（奈良先端科学技術大学院大学）・
角田雅照（近畿大学）・井垣宏（大阪大学）

7月10日(木) 午後 Web・スマートフォン（13：10～15：10）

(10)/KBSE 13:10 - 13:40
GUIビルダによるスマートフォンアプリケーション向けモデル駆動開発手法
○松井浩司・松浦佐江子（芝浦工大）

(11)/KBSE 13:40 - 14:10
擬似マルウェア体験によるAndroidパーミッションと脅威の関係の学習
○加藤　真・松浦佐江子（芝浦工大）

(12)/KBSE 14:10 - 14:40
ユーザビリティ要求確認を支援するWebプロトタイプ自動生成手法
○紙森翔平・小形真平・海尻賢二（信州大）

(13)/SS 14:40 - 15:10
Web アプリケーションの UI 機能テストのための HTML 構造パターンの抽出手法
○神谷年洋（公立はこだて未来大）

7月10日(木) 午後形式手法・言語（15：20～17：20）

(14)/KBSE 15:20 - 15:50
反例からの検査式自動生成による不具合原因特定支援
○青木善貴（日本ユニシス）・松浦佐江子（芝浦工大）

(15)/SS 15:50 - 16:20
Improving efficiency of pseudo-Boolean solver that uses SAT solver and BDD
○Masahiko Sakai（Nagoya Univ.）・Hidetomo Nabeshima（Univ. of Yamanashi）

(16)/SS 16:20 - 16:50
Malbolge低級アセンブラにおけるコード配置アドレスの決定法
○加藤起騎・酒井正彦・坂部俊樹・西田直樹（名大）

(17)/KBSE 16:50 - 17:20
MathMLで書かれた数式に対する検索手法の提案
○片岡晃久・甲斐　博（愛媛大）

7月11日(金) 午前リファクタリング（09：00～10：30）

(18)/SS 09:00 - 09:30
機能捜索結果を利用したプレファクタリング支援
小松田卓也・○林　晋平・佐伯元司（東工大）

(19) 09:30 - 10:00
設計抽象化のためのリファクタリングパターン
○艾迪・鵜林尚靖・李沛源・李宇寧・細合晋太郎・亀井靖高（九州大学）

(20) 10:00 - 10:30
A Tool for Suggesting Program Elements to Be Changed in Next Edit
○Yang Yujiang（Waseda University）・Sakamoto Kazunori（National Institute of Informatics）・
Washizaki Hironori・Fukazawa Yoshiaki（Waseda University）

7月11日(金) 午前コードクローン・デバッグ（10：40～12：10）

(21)/SS 10:40 - 11:10
機械学習を用いたコードクローンの危険予測手法
○今里文香・堀田圭佑・肥後芳樹・楠本真二（阪大）

(22)/SS 11:10 - 11:40
ソフトウェア開発におけるコピーアンドペーストによって生じたコード片に対する調査
○大田崇史・井垣　宏・堀田圭佑・肥後芳樹・楠本真二（阪大）

(23) 11:40 - 12:10
Javaマルチスレッドプログラム向けの拡張ペトリネットを用いた実行の再現を利用したデバッグ支援ツールの試作
○北野翔一郎・片山徹郎（宮崎大学）

7月11日(金) 午後テスト（13：10～15：10）

(24)/SS 13:10 - 13:40
On Coverage Criteria for State Transition Testing and Model Checker-Based Test Case Generation
○Cassia de Souza Carvalho・Tatsuhiro Tsuchiya（Osaka Univ.）

(25) 13:40 - 14:10
ソースコード生成を利用した結合テスト向けデータベース生成手法の提案
○丹野治門・張暁晶・生沼守英（NTT）

(26)/SS 14:10 - 14:40
モデルベーステストにおけるトレーサビリティの確保と活用
○張　暁晶・丹野治門・生沼守英（NTT）

(27) 14:40 - 15:10
動的記号実行によるメソッドの複雑度を考慮したテストケース自動生成
○高松宏樹・佐藤晴彦・小山聡・栗原正仁（北海道大学）

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

☆IPSJ-SE研究会

【問合先】
亀井靖高（九州大学）
E-mail: