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

★ソフトウェアサイエンス研究会(SS)
専門委員長 坂部 俊樹 (名大)  副委員長 鯵坂 恒夫 (和歌山大)
幹事 権藤 克彦 (東工大), 草刈 圭一朗 (名大)

日時 2008年 3月 3日(月) 10:10~17:20
   2008年 3月 4日(火) 09:30~12:15

会場 長崎大学 文教キャンパス 総合研究教育棟1階 108番講義室(〒852-8521 長崎県 長崎市 文教町1-14.http://www.eng.nagasaki-u.ac.jp/access/access.html.楢崎修二)

議題 一般

3月3日(月) (10:10~17:20)

(1) 10:10 - 10:35
実時間ソフトウェア再利用のためのパラメトリック実行時間解析の一手法
河井敏宏・○中田明夫(広島市大)

(2) 10:35 - 11:00
プロダクトライン開発のためのフィーチャ指向単体テストの一手法
○福田雅隆・中西恒夫(九大)・北須賀輝明(熊本大)・田頭茂明・福田 晃(九大)

(3) 11:00 - 11:25
Error Detection with Soft Typing for Dynamically Typed Languages
○Akihisa Yamada・Keiichirou Kusakari・Masahiko Sakai・Toshiki Sakabe・Naoki Nishida(Nagoya Univ.)

(4) 11:25 - 11:50
有界モデル検査を用いた複数UML図の形式的検証
○宮崎 仁・横川智教・佐藤貞仁・佐藤洋一郎・早瀬道芳(岡山県立大)

−−− 昼食 ( 75分 ) −−−

(5) 13:05 - 13:30
単純型付き項書き換え系における静的依存対法とその周辺
○草刈圭一朗・酒井正彦(名大)

(6) 13:30 - 13:55
等式を規則化する変換の停止条件
○水野清貴・西田直樹・坂部俊樹・酒井正彦・草刈圭一朗(名大)

(7) 13:55 - 14:20
自己合成法を利用した再帰プログラムの情報流解析法について
○伊藤信裕・関 浩之(奈良先端大)

−−− 休憩 ( 15分 ) −−−

(8) 14:35 - 15:00
Token Comparison Approach to Detect Code Clone-related Bugs
○Yii Yong Lee・Yasuhiro Hayase・Makoto Matsushita・Katsuro Inoue(Osaka Univ.)

(9) 15:00 - 15:25
Quality prediction model for object oriented software using UML metrics
○Camargo Cruz Ana Erika・Koichiro Ochimizu(JAIST)

(10) 15:25 - 15:50
Specification Description and High-level Design Methodology of SoC Considering Design Reuse
○Yeonbok Lee・Yuji Ishikawa・Yoshihisa Kojima・Hiroaki Yoshida(Tokyo Univ.)・Hisashi Yomiya(TOSHIBA Corp.)・Satoshi Komatsu・Masahiro Fujita(Tokyo Univ.)

−−− 休憩 ( 15分 ) −−−

(11) 16:05 - 16:30
アマゾンバグ防止フレームワークのためのWebアプリケーション双実行モデル
○水野良太・今井敬吾・末次 亮・金子伸幸(名大)・山本晋一郎(愛知県立大)・阿草清滋(名大)

(12) 16:30 - 16:55
MDA体系に沿ったGUIモデル変換手法
○迎田 宙・岩田 一(早大)・白銀純子(東京女子大)・深澤良彰(早大)

(13) 16:55 - 17:20
既存類似システムの機能比較に基づく要求定義支援ツールの実現と評価
○北沢直幸・長田 晃・上條和幸・海谷治彦・海尻賢ニ(信州大)

3月4日(火) (09:30~12:15)

(14) 09:30 - 09:55
タスク割り当て時の応答時間短縮を目的とした,静的なタスク実行粒度調整手法
○金光永煥・中里秀則・星合隆成・浦野義頼(早大)

(15) 09:55 - 10:20
セキュアなソフトウェア開発を実現するセキュアソフト工学の提案
○斉藤典明・小田 哲・宮澤俊之・知加良 盛・川村 亨・金井 敦(NTT)

(16) 10:20 - 10:45
メトリクス値の変遷に基づくソフトウェアの特性分析手法の提案と実装
○村尾憲治・肥後芳樹・井上克郎(阪大)

−−− 休憩 ( 15分 ) −−−

(17) 11:00 - 11:25
要求の構造に基づく要求品質の管理
○服部 昇・山本修一郎(NTTデータ)

(18) 11:25 - 11:50
Abstraction of Timed Automata Based on Counterexample-Guided Abstraction Refinement Loop
Takeshi Nagaoka・○Kozo Okano・Shinji Kusumoto(Osaka Univ.)

(19) 11:50 - 12:15
名前の重複を考慮したJavaソフトウェア部品間の利用関係解析手法の提案
○市井 誠(阪大)・横森励士(南山大)・井上克郎(阪大)

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

◎初日の研究会終了後,懇親会を予定していますので奮って御参加下さい.予約の関係上お手数ですが,参加を希望される方は次の懇親会案内のページにて,2月29日(金)迄に登録をお願いします.http://www.sakabe.i.is.nagoya-u.ac.jp/ss/konshin/?id=0803


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

5月29日(木)~30日(金) 宮崎市民プラザ 大会議室 [3月28日(金)] テーマ:一般

【問合先】
草刈圭一朗(名古屋大学)
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: 2008-02-13 17:23:59


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

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

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

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


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

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


IEICE / 電子情報通信学会