7月27日(金) 午前  一般 11:00 - 12:00
(1)	11:00-11:30	アスペクト指向ワークフロー変換 ～ オブジェクト指向ペトリネットによるワークフロー表現への適用 ～ SS2012-10 KBSE2012-12	○飯島　正（慶大）
(2)	11:30-12:00	Simulinkモデルにおけるグラフに基づく非完全一致モデルクローン検出 SS2012-11 KBSE2012-13	○鷲崎弘宜・村上真一・深澤良彰（早大）
	12:00-13:00	昼食　（ 60分 ）
7月27日(金) 午後  一般 13:00 - 14:30
(3)	13:00-13:30	例外イベント列の正常シナリオへの組み込み支援手法 SS2012-12 KBSE2012-14	○大西　淳（立命館大）
(4)	13:30-14:00	UML要求分析モデルとコモンクライテリアに基づくセキュリティ要求分析の統合手法 SS2012-13 KBSE2012-15	○野呂　惇（芝浦工大）・小形真平（信州大）・松浦佐江子（芝浦工大）
(5)	14:00-14:30	多数決手法によるError Prone予測手法の評価 SS2012-14 KBSE2012-16	○高橋利英・大西達也・小形真平・海谷治彦・海尻賢二（信州大）
	14:30-14:40	休憩　（ 10分 ）
7月27日(金) 午後  一般 14:40 - 16:10
(6)	14:40-15:10	エンドユーザ主導開発のためのビジネスロジックの定義方式の提案 SS2012-15 KBSE2012-17	○中所武司（明大）
(7)	15:10-15:40	スーパーコンピュータ運用手順に対するディペンダビリティの確認手法の提案 SS2012-16 KBSE2012-18	○高間翔太・松野　裕・山本修一郎（名大）
(8)	15:40-16:10	エンタープライズ系システム開発で生産性を最大化するためのTOC/CCPM適用方法について ～ 合流チェーン上の要員の稼働率向上により、全体の生産性向上を実現するマネジメントシステムの提案 ～ SS2012-17 KBSE2012-19	○副島千鶴（NTTデータ）
	16:10-16:20	休憩　（ 10分 ）
7月27日(金) 午後  サーベイ・解説 16:20 - 17:50
(9)	16:20-16:50	アシュアランスケースへの構造化文書の適用に関する調査 SS2012-18 KBSE2012-20	○松野　裕・ヴァイセ パトゥ・山本修一郎（名大）
(10)	16:50-17:20	A proposed research framework for "Dependability Science" based on assurance cases SS2012-19 KBSE2012-21	○Vaise Patu・Yutaka Matsuno・Shuichiro Yamamoto（Nagoya Univ.）
(11)	17:20-17:50	ディペンダビリティケース作成法に関する一考察 SS2012-20 KBSE2012-22	○山本修一郎・松野　裕（名大）
7月28日(土) 午前  一般 09:00 - 10:30
(12)	09:00-09:30	ロールプレイ演習における学習者の行動とスキルとの関係分析 SS2012-21 KBSE2012-23	○立川結貴・丸山　広（東京工科大）・高嶋章雄（湘北短大）・中村太一（東京工科大）
(13)	09:30-10:00	細粒度プロジェクトモニタリングのためのDaaSを利用したソフトウェア開発PBL支援環境の提案 SS2012-22 KBSE2012-24	○眞鍋雄貴・井垣　宏（阪大）・福安直樹（和歌山大）・佐伯幸郎（高知工科大）・楠本真二・井上克郎（阪大）
(14)	10:00-10:30	Alloyによるリポジトリマイニング向けドメイン専用言語の構築支援 SS2012-23 KBSE2012-25	○黄　長贇・中城亮祐・山下一寛・亀井靖高・久住憲嗣・鵜林尚靖（九大）
	10:30-10:40	休憩　（ 10分 ）
7月28日(土) 午前  一般 10:40 - 12:10
(15)	10:40-11:10	プログラム構造の簡略化によるメトリクス計測方法の改善 SS2012-24 KBSE2012-26	○佐々木　唯・石原知也・堀田圭佑・畑　秀明・肥後芳樹・井垣　宏・楠本真二（阪大）
(16)	11:10-11:40	ソフトウェアの機能に対応する実装構造の抽出と可視化手法の提案 SS2012-25 KBSE2012-27	○風戸広史（NTT）・林　晋平（東工大）・岡田　敏・宮田俊介・星野　隆（NTT）・佐伯元司（東工大）
(17)	11:40-12:10	動的解析を用いたコード移動リファクタリングの支援 SS2012-26 KBSE2012-28	○木村秀平・肥後芳樹・井垣　宏・楠本真二（阪大）
	12:10-13:10	昼食　（ 60分 ）
7月28日(土) 午後  一般 13:10 - 14:10
(18)	13:10-13:40	On Extending Matching Operation in Grammar Programs for Program Inversion SS2012-27 KBSE2012-29	○Minami Niwa・Naoki Nishida・Masahiko Sakai・Toshiki Sakabe・Keiichirou Kusakari（Nagoya Univ.）
(19)	13:40-14:10	コメント記述量の増加傾向とフォールト潜在との関係に関する定量分析 SS2012-28 KBSE2012-30	○浅野遼平・阿萬裕久（愛媛大）
	14:10-14:20	休憩　（ 10分 ）
7月28日(土) 午後  学生及び若手（パラレルセッション：実装） 14:20 - 16:20
(20)	14:20-14:50	配列の次元を考慮した大域ロード命令集約 SS2012-29 KBSE2012-31	○澄川靖信・滝本宗宏（東京理科大）
(21)	14:50-15:20	サブシステム境界情報に着目したSimulinkモデルの構造評価手法 SS2012-30 KBSE2012-32	○小林孝壽・小林隆志（名大）・久保孝行（アイシン・エイ・ダブリュ）・阿草清滋（京大）
(22)	15:20-15:50	スライスに基づく凝集度を用いて自動分割を行うプログラム理解支援手法 SS2012-31 KBSE2012-33	○平山力地・吉田則裕・飯田　元（奈良先端大）
(23)	15:50-16:20	Objective-Cによる文脈指向プログラミングの実現手法 SS2012-32 KBSE2012-34	○鈴木将哉・渡部卓雄（東工大）
7月28日(土) 午後  学生及び若手（パラレルセッション：設計他） 14:20 - 15:50
(24)	14:20-14:50	ユースケース記述における初学者特有の問題点への系統的な改善方法 SS2012-33 KBSE2012-35	○松井駿介・奥田博隆・式見　遼・野呂　惇・岡田康治（芝浦工大）・小形真平（信州大）・松浦佐江子（芝浦工大）
(25)	14:50-15:20	エンタープライズ・アーキテクチャに対するディペンダビリティケース作成法の提案 SS2012-34 KBSE2012-36	○徳野達也・松野　裕・山本修一郎（名大）
(26)	15:20-15:50	ModularGSNの定式化 SS2012-35 KBSE2012-37	○猿渡卓也（名大/NTT）・松野　裕（名大）・星野　隆（NTT）・山本修一郎（名大）

問合先と今後の予定
SS	ソフトウェアサイエンス研究会（SS）   [今後の予定はこちら]
	問合先	鷲崎弘宜 (早稲田大学) TEL: 03-5286-3272 FAX: 03-5286-3272 E-:
	お知らせ	◎最新の情報はSIGSS研究会ホームページでご確認ください． http://www.washi.cs.waseda.ac.jp/sigss/
KBSE	知能ソフトウェア工学研究会（KBSE）   [今後の予定はこちら]
	問合先	松浦佐江子（芝浦工業大学） E-: tuubau-it
	お知らせ	◎最新の情報はKBSE研究会ホームページでご確認ください． http://www.sayo.se.shibaura-it.ac.jp/kbse/

Last modified: 2012-07-14 14:45:58