| 電子情報通信学会 研究会発表申込システム 研究会 開催プログラム |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップ | 戻る | 前のKBSE研究会 / 次のKBSE研究会 | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
|
★知能ソフトウェア工学研究会（KBSE） 専門委員長 松浦 佐江子 (芝浦工大) 副委員長 飯島 正 (慶大) 幹事 猿渡 卓也 (NTTデータ)， 櫨山 淳雄 (学芸大) 幹事補佐 粂野 文洋 (日本工大)， 竹内 広宜 (日本IBM) 日時 2013年 3月14日(木) 10：05～17：50 2013年 3月15日(金) 09：30～17：15 会場 芝浦工業大学芝浦キャンパス306教室（東京都港区芝浦3-9-14．JR山手線・京浜東北線田町駅芝浦口から徒歩3分または都営地下鉄三田線三田駅から徒歩5分．http://www.shibaura-it.ac.jp/about/campus_shibaura.html） 議題 一般 委員長挨拶 3月14日(木) 午前 Session A （10：05～11：15） (1) 10:05 - 10:40 開発現場を想定したモデル検査に基づくプログラムの不具合検証 ～ 検査支援ツールを用いた安定的な検査 ～ ○青木善貴（日本ユニシス）・松浦佐江子（芝浦工大） (2) 10:40 - 11:15 Simulinkモデルの品質特性分析支援ツールの開発と適用事例 ○佐々木 翼・峯岸賢吾・上田賀一（茨城大） −−− 休憩 （ 10分 ） −−− 3月14日(木) 午前 Session B （11：25～12：35） (3) 11:25 - 12:00 実行履歴解析によるUMLシーケンス図の抽象化手法 ○宮城翔一・上條康司・上田賀一（茨城大） (4) 12:00 - 12:35 Webアプリケーション開発のためのソフトウェアセキュリティ知識ベースKBSSDの提案 ○櫨山淳雄（学芸大） −−− 休憩 （ 60分 ） −−− 3月14日(木) 午後 Session C （13：35～15：20） (5) 13:35 - 14:10 要求構造明確化のためのゴールグラフの多次元拡張 ○井上 渉・林 晋平（東工大）・鵜飼孝典（富士通研）・佐伯元司（東工大） (6) 14:10 - 14:45 アセットフロー図と配置図を用いた情報システムのセキュリティ要求分析支援ツール ○瀧澤悠介・阪井隼也・海谷治彦・小形真平・海尻賢二（信州大） (7) 14:45 - 15:20 要求定義の実現可能性保証のためのシミュレーションによるテスト設計手法 ○式見 遼（芝浦工大）・小形真平（信州大）・松浦佐江子（芝浦工大） −−− 休憩 （ 10分 ） −−− 3月14日(木) 午後 Session D （15：30～16：40） (8) 15:30 - 16:05 モデル検査を使ったデッドロック可能性検出 ○猿渡卓也・塚本英昭・神谷慎吾・宮田俊介（NTT） (9) 16:05 - 16:40 変動するパターンの文字列検索 ○山口 信・島田 諭・三浦孝夫（法政大） −−− 休憩 （ 10分 ） −−− 3月14日(木) 午後 KBSE研究会20周年記念講演 （16：50～17：50） (10) 16:50 - 17:50 ［招待講演］知能ソフトウエア工学の意義とKBSE研究会への期待 ○上野晴樹（NII） 3月15日(金) 午前 Session E （09：30～11：15） (11) 09:30 - 10:05 ディペンダビリティケース用語構成規則の適用評価 ○松村昌典・松野 裕・山本修一郎（名大） (12) 10:05 - 10:40 ディペンダビリティケース分解パターンについての考察 ○山本修一郎・松野 裕（名大） (13) 10:40 - 11:15 アシュアランスケースツールへのプログラミング言語技術の適用 ○松野 裕・山本修一郎（名大） −−− 休憩 （ 10分 ） −−− 3月15日(金) 午前 Session F （11：25～12：35） (14) 11:25 - 12:00 アーキテクチャに基づく検証ケースの提案 ○山本修一郎（名大） (15) 12:00 - 12:35 プログラム実行時の状態を再現する機能を持つ回帰テスト支援ツール ○大谷雄平（芝浦工大）・橋浦弘明（東洋大）・古宮誠一（芝浦工大） −−− 休憩 （ 60分 ） −−− 3月15日(金) 午後 KBSE研究会20周年記念講演 （13：35～14：35） (16) 13:35 - 14:35 ［招待講演］ソフトウェア知識体系の次元 ○山本修一郎（名大） −−− 休憩 （ 10分 ） −−− 3月15日(金) 午後 Session G （14：45～15：55） (17) 14:45 - 15:20 リメディアル教育のためのCAIシステム ～ 学習者モデルと不得意分野探索アルゴリズム ～ ○廣瀬史典（芝浦工大）・上之薗和宏（青学大）・古宮誠一（芝浦工大） (18) 15:20 - 15:55 講義内容の要約字幕作成支援システム ～ 意思決定手法に基づく支援方法の提案 ～ ○古宮誠一・工藤永貴（芝浦工大）・上之薗和宏（青学大）・八重樫理人（香川大） −−− 休憩 （ 10分 ） −−− 3月15日(金) 午後 Session H （16：05～17：15） (19) 16:05 - 16:40 DSLによる多様な知識の統合 ○飯島 正（慶大） (20) 16:40 - 17:10 フレームワークを用いたWebアプリケーションの変更容易性 ○高橋明日香・小林 洋（東海大） 委員長挨拶 一般講演：発表 25 分 ＋ 質疑応答 10 分 招待講演：発表 60 分 ☆KBSE研究会今後の予定 [ ]内発表申込締切日 5月30日(木)～31日(金) 慶應義塾大学 [3月14日(木)] テーマ：一般・学生 【問合先】 猿渡卓也（(株)NTTデータ） E-mail:      t    ◎最新の情報はKBSE研究会ホームページでご確認ください． http://www.sayo.se.shibaura-it.ac.jp/kbse/ Last modified: 2013-02-22 09:54:16 |
ご注意： 迷惑メール対策のためメールアドレスの一部の文字を置換しております．ご了承ください．
[この開催に関する講演論文リストをダウンロードする] ※ こちらのページの最下にあるダウンロードボタンを押してください
[研究会資料インデックス(vol. no.ごとの表紙と目次)]
[研究会発表・参加方法，FAQ] ※ ご一読ください
[KBSE研究会のスケジュールに戻る] /
| トップ | 戻る | 前のKBSE研究会 / 次のKBSE研究会 | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
[研究会発表申込システムのトップページに戻る]