研究会開催プログラム

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

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

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

トップ

戻る

前のKBSE研究会 / 次のKBSE研究会

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

[Japanese] / [English]

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

[schedule] [select]

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

日時	2012年11月22日(木)　09:30 - 17:50 2012年11月23日(金)　10:35 - 16:15
議題	一般
会場名	金沢大学角間キャンパス自然科学本館１Ｆワークショップ１
交通案内	金沢駅東口より，バスで＜金沢大学自然研前＞まで（所要時間30分弱）金沢駅東口6番乗り場発 91（平日のみ）・93・94・97金沢大学行き（兼六園下経由） http://www.kanazawa-u.ac.jp/university/access/
著作権について	以下の論文すべての著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)

11月22日(木) 午前 09:30 - 10:40
(1)	09:30-10:05	地域組織連携による継続的なリアルPBLの試み～現状、課題、研究構想～ KBSE2012-38	○粂野文洋・辻村泰寛・大木幹雄・山地秀美・石原次郎・松田　洋（日本工大）
(2)	10:05-10:40	シラバスに基づく産学における期待される人的資源の差異に関する研究 KBSE2012-39	○岡野道太郎・中谷多哉子（筑波大）
11月22日(木) 午前 10:50 - 12:35
(3)	10:50-11:25	アシュアランスケース構築法の提案 KBSE2012-40	○松野　裕（名大）・高井利憲（奈良先端大）・ヴァイセパテゥー・山本修一郎（名大）
(4)	11:25-12:00	アセンブリプログラムに対するSMTソルバを使用する有界モデル検査 KBSE2012-41	○小橋潤平・竹下　淳・山根　智（金沢大）
(5)	12:00-12:35	ディペンダビリティ・コンテクストの推定手法の提案 KBSE2012-42	○高間翔太・松野　裕・山本修一郎（名大）
11月22日(木) 午後 13:30 - 15:15
(6)	13:30-14:05	ERP導入の為のカスタマージャーニーマップを用いた顧客満足分析 KBSE2012-43	○中尾　仁・津田和彦・中谷多哉子（筑波大）
(7)	14:05-14:40	要求変動に対する進化社会心理学的考察 KBSE2012-44	○妻木俊彦（NII）
(8)	14:40-15:15	ユースケース記述の意図の明確化を目的とした初学者特有の問題点の分析 KBSE2012-45	○奥田博隆・松井駿介・式見　遼・野呂　惇・岡田康治（芝浦工大）・小形真平（信州大）・松浦佐江子（芝浦工大）
11月22日(木) 午後 15:30 - 17:50
(9)	15:30-16:05	要求分析のための質的調査に基づくAsWas-AsIs分析手法の提案 KBSE2012-46	○渡辺将弘（日産自動車）・中谷多哉子（筑波大/NII）
(10)	16:05-16:40	私物デバイスの業務活用におけるセキュリティ要求変化予測法 KBSE2012-47	○鈴木祐司・海谷治彦・小形真平（信州大）・大久保隆夫・金谷延幸（富士通研）・吉岡信和（NII）
(11)	16:40-17:15	要求仕様の部品化による要求仕様作成支援手法 KBSE2012-48	○伊豫田善隆・大西　淳（立命館大）
(12)	17:15-17:50	要求抽出プロセス観察のための要求分類ルールの作成に向けて KBSE2012-49	○佐野俊一（筑波大）・近藤城史（名古屋経営短大）・中谷多哉子（筑波大）
11月23日(金) 午前 10:35 - 11:45
(13)	10:35-11:10	リポジトリマイニングの進化に対応した分析ツールE-CUBEの構築 KBSE2012-50	○山下一寛・亀井靖高・久住憲嗣・鵜林尚靖（九大）
(14)	11:10-11:45	Application of D-Case to the data-upload flow diagram scenario of the Distributed E-Learning System called KISSEL KBSE2012-51	○Vaise Patu・Yutaka Matsuno・Shuichiro Yamamoto（Nagoya Univ.）
11月23日(金) 午後 12:30 - 14:15
(15)	12:30-13:05	ディペンダビリティケースへの責任属性の導入法の検討 KBSE2012-52	○山本修一郎・松野　裕（名大）
(16)	13:05-13:40	オブジェクト指向論理ペトリネットによるシミュレーションのためのエージェントモデリング～集団的振る舞い，個体行動，意思決定過程の統一的記述に向けて～ KBSE2012-53	○飯島　正（慶大）
(17)	13:40-14:15	システム運用障害を防止するための運用手順書へのSPINの適用 KBSE2012-54	○宮崎　勉・大木敦雄・中谷多哉子（筑波大）
11月23日(金) 午後 14:30 - 16:15
(18)	14:30-15:05	TOGAF NEXTに対するADMプロセステンプレートの提案 KBSE2012-55	○徳野達也・松野　裕・山本修一郎（名大）
(19)	15:05-15:40	データライフサイクルの妥当性に着目したモデル検査ツールの自動利用法 KBSE2012-56	○小形真平（信州大）・谷沢智史・西村一彦（ボイスリサーチ）・青木善貴・奥田博隆・松浦佐江子（芝浦工大）
(20)	15:40-16:15	ディペンダビリティ用語辞書構築方法の提案 KBSE2012-57	○松村昌典・松野　裕・山本修一郎（名大）

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

問合先と今後の予定
KBSE	知能ソフトウェア工学研究会（KBSE） [今後の予定はこちら]
	問合先	松浦佐江子（芝浦工業大学） E-: ubau-it
	お知らせ	◎最新の情報はKBSE研究会ホームページでご確認ください． http://www.sayo.se.shibaura-it.ac.jp/kbse/