研究会開催プログラム

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

[ログイン]
(技報オンライン実施中)
通信ソサイエティと
情報・システムソのみ

ソフトウェアサイエンス研究会（SS）

専門委員長		中島震 (NII)
副委員長		結縁祥治 (名大)
幹事		鷲崎弘宜 (早大)，高田喜朗 (高知工科大)
幹事補佐		小林隆志 (名大)

知能ソフトウェア工学研究会（KBSE）

[schedule] [select]

専門委員長		松浦佐江子 (芝浦工大)
副委員長		飯島正 (慶大)
幹事		猿渡卓也 (NTTデータ)，櫨山淳雄 (学芸大)
幹事補佐		粂野文洋 (日本工大)，竹内広宜 (日本IBM)

日時	2012年 7月27日(金)　11:00 - 17:50 2012年 7月28日(土)　09:00 - 16:20
議題	一般
会場名	公立はこだて未来大学
住所	〒041-8655 北海道函館市亀田中野町116番地2
交通案内	http://www.fun.ac.jp/acces/index.html

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

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

問合先と今後の予定
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/