研究会開催プログラム

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

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

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

トップ

戻る

前のSS研究会 / 次のSS研究会

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

[Japanese] / [English]

ソフトウェアサイエンス研究会（SS）

[schedule] [select]

専門委員長		坂部俊樹 (名大)
副委員長		鯵坂恒夫 (和歌山大)
幹事		権藤克彦 (東工大)，草刈圭一朗 (名大)

日時	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
会場世話人連絡先	楢崎修二
お知らせ	◎初日の研究会終了後，懇親会を予定していますので奮って御参加下さい．予約の関係上お手数ですが，参加を希望される方は次の懇親会案内のページにて，2月29日(金)迄に登録をお願いします．http://www.sakabe.i.is.nagoya-u.ac.jp/ss/konshin/?id=0803
著作権について	以下の論文すべての著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)

3月3日(月) 10:10 - 17:20
(1)	10:10-10:35	実時間ソフトウェア再利用のためのパラメトリック実行時間解析の一手法 SS2007-57	河井敏宏・○中田明夫（広島市大）
(2)	10:35-11:00	プロダクトライン開発のためのフィーチャ指向単体テストの一手法 SS2007-58	○福田雅隆・中西恒夫（九大）・北須賀輝明（熊本大）・田頭茂明・福田　晃（九大）
(3)	11:00-11:25	Error Detection with Soft Typing for Dynamically Typed Languages SS2007-59	○Akihisa Yamada・Keiichirou Kusakari・Masahiko Sakai・Toshiki Sakabe・Naoki Nishida（Nagoya Univ.）
(4)	11:25-11:50	有界モデル検査を用いた複数UML図の形式的検証 SS2007-60	○宮崎　仁・横川智教・佐藤貞仁・佐藤洋一郎・早瀬道芳（岡山県立大）
	11:50-13:05	昼食　（ 75分）
(5)	13:05-13:30	単純型付き項書き換え系における静的依存対法とその周辺 SS2007-61	○草刈圭一朗・酒井正彦（名大）
(6)	13:30-13:55	等式を規則化する変換の停止条件 SS2007-62	○水野清貴・西田直樹・坂部俊樹・酒井正彦・草刈圭一朗（名大）
(7)	13:55-14:20	自己合成法を利用した再帰プログラムの情報流解析法について SS2007-63	○伊藤信裕・関　浩之（奈良先端大）
	14:20-14:35	休憩　（ 15分）
(8)	14:35-15:00	Token Comparison Approach to Detect Code Clone-related Bugs SS2007-64	○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 SS2007-65	○Camargo Cruz Ana Erika・Koichiro Ochimizu（JAIST）
(10)	15:25-15:50	Specification Description and High-level Design Methodology of SoC Considering Design Reuse SS2007-66	○Yeonbok Lee・Yuji Ishikawa・Yoshihisa Kojima・Hiroaki Yoshida（Tokyo Univ.）・Hisashi Yomiya（TOSHIBA Corp.）・Satoshi Komatsu・Masahiro Fujita（Tokyo Univ.）
	15:50-16:05	休憩　（ 15分）
(11)	16:05-16:30	アマゾンバグ防止フレームワークのためのWebアプリケーション双実行モデル SS2007-67	○水野良太・今井敬吾・末次　亮・金子伸幸（名大）・山本晋一郎（愛知県立大）・阿草清滋（名大）
(12)	16:30-16:55	MDA体系に沿ったGUIモデル変換手法 SS2007-68	○迎田　宙・岩田　一（早大）・白銀純子（東京女子大）・深澤良彰（早大）
(13)	16:55-17:20	既存類似システムの機能比較に基づく要求定義支援ツールの実現と評価 SS2007-69	○北沢直幸・長田　晃・上條和幸・海谷治彦・海尻賢ニ（信州大）
3月4日(火) 09:30 - 12:15
(14)	09:30-09:55	タスク割り当て時の応答時間短縮を目的とした,静的なタスク実行粒度調整手法 SS2007-70	○金光永煥・中里秀則・星合隆成・浦野義頼（早大）
(15)	09:55-10:20	セキュアなソフトウェア開発を実現するセキュアソフト工学の提案 SS2007-71	○斉藤典明・小田　哲・宮澤俊之・知加良　盛・川村　亨・金井　敦（NTT）
(16)	10:20-10:45	メトリクス値の変遷に基づくソフトウェアの特性分析手法の提案と実装 SS2007-72	○村尾憲治・肥後芳樹・井上克郎（阪大）
	10:45-11:00	休憩　（ 15分）
(17)	11:00-11:25	要求の構造に基づく要求品質の管理 SS2007-73	○服部　昇・山本修一郎（NTTデータ）
(18)	11:25-11:50	Abstraction of Timed Automata Based on Counterexample-Guided Abstraction Refinement Loop SS2007-74	Takeshi Nagaoka・○Kozo Okano・Shinji Kusumoto（Osaka Univ.）
(19)	11:50-12:15	名前の重複を考慮したJavaソフトウェア部品間の利用関係解析手法の提案 SS2007-75	○市井　誠（阪大）・横森励士（南山大）・井上克郎（阪大）

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

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