| 電子情報通信学会 研究会発表申込システム 研究会 開催プログラム |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップ | 戻る | 前のKBSE研究会 / 次のKBSE研究会 | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
|
★知能ソフトウェア工学研究会（KBSE） 専門委員長 山口 高平 副委員長 山田 宏之 幹事 我妻 智之， 赤石 美奈 幹事補佐 福田 直樹， 八重樫 理人 ★ソフトウェアサイエンス研究会（SS） 専門委員長 坂部 俊樹 副委員長 鯵坂 恒夫 幹事 権藤 克彦， 草刈 圭一朗 日時 2006年10月26日(木) 13：15～17：30 2006年10月27日(金) 09：20～12：30 会場 愛媛大学 総合情報メディアセンター メディアホール１階（愛媛県松山市文京町３番．次のページを参考にしてください 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月26日(木) 午後 （13：15～17：30） (1) 13:15 - 13:40 静的解析を用いたWebアプリケーションにおける脆弱性の検出 ○西田誠幸（拓殖大） (2) 13:40 - 14:05 手続き型プログラムから書換え系への変換に基づくソフトウェア検証の試み ○古市祐樹・西田直樹・酒井正彦・草刈圭一朗・坂部俊樹（名大） (3) 14:05 - 14:30 例外処理付きオブジェクト指向言語における情報流の安全性解析 ○黒川 翔・桑原寛明（名大）・山本晋一郎（愛知県立大）・坂部俊樹・酒井正彦・草刈圭一朗・西田直樹（名大） −−− 休憩 （ 15分 ） −−− (4) 14:45 - 15:10 ソースコードの保守工程における変更連鎖の追跡とその解析 ○森崎 潤・阿萬裕久・山田宏之（愛媛大） (5) 15:10 - 15:35 クラスの凝集度と修正保守性との関係に関する考察 ○山下純一・阿萬裕久・山田宏之（愛媛大） (6) 15:35 - 16:00 ソースコードの外部依存率と保守性との関係に関する考察 ○土居通夫・阿萬裕久・山田宏之（愛媛大） −−− 休憩 （ 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 ドメインモデルに対する要求獲得支援 ○宮西英彰・山田宏之・阿萬裕久（愛媛大） −−− 休憩 （ 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 分 ◎初日の研究会終了後、懇親会を開催します．参加希望の方は10月20日(金)迄に懇親会案内のページ（http://www.sakabe.i.is.nagoya-u.ac.jp/ss/konshin/?id=0610）にて予約をお願いします． ☆KBSE研究会今後の予定 [ ]内発表申込締切日 11月24日(金)～25日(土) 琉球大学工学部 [9月15日(金)] テーマ：一般 2007年1月22日(月)～23日(火) 慶應義塾大学・日吉キャンパス・来往舎・中会議室 [11月13日(月)] テーマ：特集「Web情報処理」および一般発表 【問合先】 我妻 智之（NTTデータ） E-mail: adu  t     ◎最新の情報はKBSE研究会ホームページでご確認ください． http://kbse.comp.ae.keio.ac.jp/kbse/ ☆SS研究会今後の予定 [ ]内発表申込締切日 12月14日(木)～15日(金) 九州大学(伊都キャンパス) [10月20日(金)] テーマ：一般 【問合先】 草刈圭一朗(名古屋大学) 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] |
[研究会発表申込システムのトップページに戻る]