研究会開催プログラム

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

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

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

トップ

戻る

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

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

[Japanese] / [English]

★知能ソフトウェア工学研究会（KBSE）
専門委員長　山口高平　　副委員長　大西淳
幹事　和泉憲明，赤石美奈
幹事補佐　阿萬裕久，八重樫理人

★ソフトウェアサイエンス研究会（SS）
専門委員長　坂部俊樹　　副委員長　鯵坂恒夫
幹事　権藤克彦，草刈圭一朗

日時　2007年 4月19日(木)　14：20～17：15
　　　2007年 4月20日(金)　09：00～11：55

会場会津大学講義棟一階中講義室Ｍ１０（〒965-8580 福島県会津若松市一箕町鶴賀字上居合90．http://www.u-aizu.ac.jp/official/introduction/intr08_j.html．鈴木太朗）

議題一般

4月19日(木) 午後（14：20～17：15）

(1) 14:20 - 15:00
直交表を用いた単体テストに関する考察～ JUnit 支援ツールの試作～
山田　輝（NECシステムテクノロジー）・○阿萬裕久・高松雄三（愛媛大）

(2) 15:00 - 15:40
自治体EAへの形式手法適用の試み
○清野貴博・高木　理・竹内　泉・高橋孝一・和泉憲明（産総研）

−−−　休憩　（ 15分）　−−−

(3) 15:55 - 16:35
ソフトウェア品質特性を用いたアプリケーションドメインのスペクトル分析
○佐藤知徳・長田　晃・北澤直幸・海谷治彦・海尻賢ニ（信州大）

(4) 16:35 - 17:15
情報システム開発者の理解度に基づく業務知識の提供法
小澤大伍・○長田　晃・北澤直幸・海谷治彦・海尻賢二（信州大）

4月20日(金) 午前（09：00～11：55）

(5) 09:00 - 09:40
統合型要求工学の実証研究に向けて
○堀　昭三（九工大）・中谷多哉子（筑波大）・片峯恵一・鵜林尚靖・橋本正明（九工大）

(6) 09:40 - 10:20
モデル検査によるWebセッションのセキュリティ欠陥検出手法
○森川郁也・山岡裕司・中山裕子（富士通研）

−−−　休憩　（ 15分）　−−−

(7) 10:35 - 11:15
UML図の変更波及解析ツール
○小谷正行・菅井拓海・落水浩一郎（北陸先端大）

(8) 11:15 - 11:55
オーバーサンプリングを用いた効率的品質管理のための変数選択手法の提案
○佐々木優介・安部誠也・水野　修・菊野　亨（阪大）・吉岡幸恵・阿南佳之・田中又治（オムロンソフトウェア）

◎初日の研究会終了後，懇親会を予定しています．参加希望の方は次の懇親会案内のページでの予約をお願いします．http://www.sakabe.i.is.nagoya-u.ac.jp/ss/konshin/?id=0704

☆KBSE研究会今後の予定　[ ]内発表申込締切日

7月24日(火)　北海道大学　[5月25日(金)]　テーマ：一般

【問合先】
大西淳（立命館大学）
E-mail: oh

◎最新の情報はKBSE研究会ホームページでご確認ください．
http://kbse.comp.ae.keio.ac.jp/kbse/

☆SS研究会今後の予定　[ ]内発表申込締切日

6月21日(木)～22日(金)　北陸先端科学技術大学院大学　[4月20日(金)]　テーマ：一般

【問合先】
草刈圭一朗(名古屋大学)
TEL 052-789-3973
FAX 052-789-3801
E-mail: