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	多様なタスクスケジューリング問題への解集合プログラミングの適用 SS2014-9 KBSE2014-12	○小林弘幸・中川博之・小島英春・土屋達弘（阪大）
(5) KBSE	09:30-10:00	ビジネスプロセスのための時間制約表現 SS2014-10 KBSE2014-13	○飯島　正（慶大）
(6) SS	10:00-10:30	値付きタスクオートマトンに基づくコストを意識した実時間タスクスケジューリング SS2014-11 KBSE2014-14	○結縁祥治・亀井達朗（名大）
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ビルダによるスマートフォンアプリケーション向けモデル駆動開発手法 SS2014-12 KBSE2014-15	○松井浩司・松浦佐江子（芝浦工大）
(11) KBSE	13:40-14:10	擬似マルウェア体験によるAndroidパーミッションと脅威の関係の学習 SS2014-13 KBSE2014-16	○加藤　真・松浦佐江子（芝浦工大）
(12) KBSE	14:10-14:40	ユーザビリティ要求確認を支援するWebプロトタイプ自動生成手法 SS2014-14 KBSE2014-17	○紙森翔平・小形真平・海尻賢二（信州大）
(13) SS	14:40-15:10	Web アプリケーションの UI 機能テストのための HTML 構造パターンの 抽出手法 SS2014-15 KBSE2014-18	○神谷年洋（公立はこだて未来大）
7月10日(木) 午後  形式手法・言語 15:20 - 17:20
(14) KBSE	15:20-15:50	反例からの検査式自動生成による不具合原因特定支援 SS2014-16 KBSE2014-19	○青木善貴（日本ユニシス）・松浦佐江子（芝浦工大）
(15) SS	15:50-16:20	Improving efficiency of pseudo-Boolean solver that uses SAT solver and BDD SS2014-17 KBSE2014-20	○Masahiko Sakai（Nagoya Univ.）・Hidetomo Nabeshima（Univ. of Yamanashi）
(16) SS	16:20-16:50	Malbolge低級アセンブラにおけるコード配置アドレスの決定法 SS2014-18 KBSE2014-21	○加藤起騎・酒井正彦・坂部俊樹・西田直樹（名大）
(17) KBSE	16:50-17:20	MathMLで書かれた数式に対する検索手法の提案 SS2014-19 KBSE2014-22	○片岡晃久・甲斐　博（愛媛大）
7月11日(金) 午前  リファクタリング 09:00 - 10:30
(18) SS	09:00-09:30	機能捜索結果を利用したプレファクタリング支援 SS2014-20 KBSE2014-23	小松田卓也・○林　晋平・佐伯元司（東工大）
(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	機械学習を用いたコードクローンの危険予測手法 SS2014-21 KBSE2014-24	○今里文香・堀田圭佑・肥後芳樹・楠本真二（阪大）
(22) SS	11:10-11:40	ソフトウェア開発におけるコピーアンドペーストによって生じたコード片に対する調査 SS2014-22 KBSE2014-25	○大田崇史・井垣　宏・堀田圭佑・肥後芳樹・楠本真二（阪大）
(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 SS2014-23 KBSE2014-26	○Cassia de Souza Carvalho・Tatsuhiro Tsuchiya（Osaka Univ.）
(25)	13:40-14:10	ソースコード生成を利用した結合テスト向けデータベース生成手法の提案 ○丹野 治門・張 暁晶・生沼 守英（NTT）
(26) SS	14:10-14:40	モデルベーステストにおけるトレーサビリティの確保と活用 SS2014-24 KBSE2014-27	○張　暁晶・丹野治門・生沼守英（NTT）
(27)	14:40-15:10	動的記号実行によるメソッドの複雑度を考慮したテストケース自動生成 ○高松 宏樹・佐藤 晴彦・小山 聡・栗原 正仁（北海道大学）

問合先と今後の予定
IPSJ-SE	ソフトウェア工学研究会（IPSJ-SE）   [今後の予定はこちら]
	問合先	亀井 靖高（九州大学） E-: iaitkshu-u
SS	ソフトウェアサイエンス研究会（SS）   [今後の予定はこちら]
	問合先	小林隆志 (東京工業大学) TEL: 03-5734-3471 FAX: 03-5743-3471 E-: tba
	お知らせ	◎最新の情報はSIGSS研究会ホームページでご確認ください． http://www.sa.cs.titech.ac.jp/sigss/
KBSE	知能ソフトウェア工学研究会（KBSE）   [今後の予定はこちら]
	問合先	青木善貴（日本ユニシス） E-:aou
	お知らせ	◎最新の情報はKBSE研究会ホームページでご確認ください． http://www.sayo.se.shibaura-it.ac.jp/kbse/

Last modified: 2014-06-26 18:44:10