お知らせ 2023年度・2024年度 学生員 会費割引キャンペーン実施中です
お知らせ 技術研究報告と和文論文誌Cの同時投稿施策(掲載料1割引き)について
お知らせ 電子情報通信学会における研究会開催について
お知らせ NEW 参加費の返金について
電子情報通信学会 研究会発表申込システム
研究会 開催プログラム
技報閲覧サービス
[ログイン]
技報アーカイブ
 トップ  戻る   前のKBSE研究会 / 次のKBSE研究会 [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 


知能ソフトウェア工学研究会(KBSE) [schedule] [select]
専門委員長 山口 高平
副委員長 山田 宏之
幹事 我妻 智之, 赤石 美奈
幹事補佐 福田 直樹, 八重樫 理人

ソフトウェアサイエンス研究会(SS) [schedule] [select]
専門委員長 坂部 俊樹
副委員長 鯵坂 恒夫
幹事 権藤 克彦, 草刈 圭一朗

日時 2006年10月26日(木) 13:15 - 17:30
2006年10月27日(金) 09:20 - 12:30
議題 一般 
会場名 愛媛大学 総合情報メディアセンター メディアホール1階 
住所 愛媛県松山市文京町3番
交通案内 次のページを参考にしてください http://www.sakabe.i.is.nagoya-u.ac.jp/ss/info/2006-10.pdf
http://www.ehime-u.ac.jp/map/access.html#johoku_l
会場世話人
連絡先
情報工学科 山田宏之
089-927-9963
お知らせ ◎初日の研究会終了後、懇親会を開催します.参加希望の方は10月20日(金)迄に懇親会案内のページ(http://www.sakabe.i.is.nagoya-u.ac.jp/ss/konshin/?id=0610)にて予約をお願いします.

10月26日(木) 午後 
13:15 - 17:30
(1) 13:15-13:40 静的解析を用いたWebアプリケーションにおける脆弱性の検出 西田誠幸拓殖大
(2) 13:40-14:05 手続き型プログラムから書換え系への変換に基づくソフトウェア検証の試み 古市祐樹西田直樹酒井正彦草刈圭一朗坂部俊樹名大
(3) 14:05-14:30 例外処理付きオブジェクト指向言語における情報流の安全性解析 黒川 翔桑原寛明名大)・山本晋一郎愛知県立大)・坂部俊樹酒井正彦草刈圭一朗西田直樹名大
  14:30-14:45 休憩 ( 15分 )
(4) 14:45-15:10 ソースコードの保守工程における変更連鎖の追跡とその解析 森崎 潤阿萬裕久山田宏之愛媛大
(5) 15:10-15:35 クラスの凝集度と修正保守性との関係に関する考察 山下純一阿萬裕久山田宏之愛媛大
(6) 15:35-16:00 ソースコードの外部依存率と保守性との関係に関する考察 土居通夫阿萬裕久山田宏之愛媛大
  16:00-16:15 休憩 ( 15分 )
(7) 16:15-16:40 GeneSysによるプログラム生成例とIntroduction規則の追加 近藤 悟酒井正彦西田直樹坂部俊樹草刈圭一朗名大
(8) 16:40-17:05 正常シナリオを用いた例外シナリオの導出支援 首藤寛樹立命館大)・山本泰士立命館大/NTTデータ)・大西 淳立命館大
(9) 17:05-17:30 CAiSE'06参加報告 斎藤 忍山本修一郎NTTデータ)・佐伯元司東工大
10月27日(金) 午前 
09:20 - 12:30
(10) 09:20-09:45 プロジェクト類似性に基づく工数見積もりのための変数選択 瀧 進也柿元 健角田雅照大杉直樹門田暁人松本健一奈良先端大
(11) 09:45-10:10 変更履歴情報に着目した依存関係分析 岩田英丈阿萬裕久山田宏之愛媛大
(12) 10:10-10:35 ドメインモデルに対する要求獲得支援 宮西英彰山田宏之阿萬裕久愛媛大
  10:35-10:50 休憩 ( 15分 )
(13) 10:50-11:15 初心者向けXBRL文書作成支援システム 神宮司雄祐渡辺喜道山梨大
(14) 11:15-11:40 API Hookを用いたWindowsプログラムのモビリティ向上ソフトウェアの作成 齊藤正隆甲本卓也杉山裕二岡山大
(15) 11:40-12:05 ビジネスオントロジーに基づくWebアプリケーション開発 近藤恵一森田武史慶大)・和泉憲明産総研)・山口高平慶大)・橋田浩一産総研
(16) 12:05-12:30 数学Webサービスの実装とプロセス実行に関する研究 中西智美池田理世甲斐 博愛媛大

講演時間
一般講演発表 18 分 + 質疑応答 7 分

問合先と今後の予定
KBSE 知能ソフトウェア工学研究会(KBSE)   [今後の予定はこちら]
問合先 我妻 智之(NTTデータ)
E--mail: adut 
お知らせ ◎最新の情報はKBSE研究会ホームページでご確認ください.
http://kbse.comp.ae.keio.ac.jp/kbse/
SS ソフトウェアサイエンス研究会(SS)   [今後の予定はこちら]
問合先 草刈圭一朗(名古屋大学)
TEL 052-789-3973
FAX 052-789-3801
E--mail: is-u 
お知らせ ◎最新の情報はSIGSS研究会ホームページでご確認ください.
http://www.sakabe.i.is.nagoya-u.ac.jp/ss/


Last modified: 2010-10-12 19:35:48


ご注意: 迷惑メール対策のためメールアドレスの一部の文字を置換しております.ご了承ください.

[この開催に関する講演論文リストをダウンロードする] ※ こちらのページの最下にあるダウンロードボタンを押してください
 
[研究会資料インデックス(vol. no.ごとの表紙と目次)]
 

[研究会発表・参加方法,FAQ] ※ ご一読ください
 

[SS研究会のスケジュールに戻る]   /   [KBSE研究会のスケジュールに戻る]   /  
 
 トップ  戻る   前のKBSE研究会 / 次のKBSE研究会 [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 


[研究会発表申込システムのトップページに戻る]

[電子情報通信学会ホームページ]


IEICE / 電子情報通信学会