8月6日(木) 午前  10:30 - 17:30
(1)	10:30-11:00	再帰をもつプログラムの構造分析法 SS2009-12	○大段雅典（島根大）・佐藤匡正
(2)	11:00-11:30	リバースエンジニアリングツールキットRemicsの試作 SS2009-13	○神谷年洋（産総研）
(3)	11:30-12:00	開発ツールを他言語へ適用するためのAST変換の定式化 SS2009-14	○長谷川　勇（野村総研）・権藤克彦（東工大）
	12:00-13:00	昼食　（ 60分 ）
(4)	13:00-13:30	アーキテクチャ設計と実装をつなぐインタフェース機構Archface SS2009-15	○野村　潤・鵜林尚靖（九工大）
(5)	13:30-14:00	動的スライシングを用いた漸進的Feature Location手法 SS2009-16	○関根克幸・善明晃由・林　晋平・佐伯元司（東工大）
(6)	14:00-14:30	使用クラスに基づくソフトウェアの機能面からの分類 SS2009-17	○牛窓朋義・門田暁人（奈良先端大）・玉田春昭（京都産大）・松本健一（奈良先端大）
	14:30-14:45	休憩　（ 15分 ）
(7)	14:45-15:15	確率的モデル検査ツールを用いた実時間ネットワークシステムの検証手法の提案およびネットワークシミュレータNS-2との比較 SS2009-18	○伊藤明彦・長岡武志・岡野浩三・楠本真二（阪大）
(8)	15:15-15:45	Rodin Plugin to Link Event-B with SPIN SS2009-19	○Thomas Muller・Shin Nakajima（NII）
(9)	15:45-16:15	On Formalizing Behavioral Aspects of Reflective Computation SS2009-20	○Takuo Watanabe（Tokyo Inst. of Tech.）
	16:15-16:30	休憩　（ 15分 ）
(10)	16:30-17:00	システム保守を考慮した構成管理システムの検討 SS2009-21	○坂田祐司・岩崎慎司・山本修一郎（NTTデータ）
(11)	17:00-17:30	アクタの相互作用に基づく要求抽出の完全性確認手法 SS2009-22	○服部　昇（NTTデータ/和歌山大）・山本修一郎（NTTデータ）・鯵坂恒夫（和歌山大）・木谷　強（NTTデータ）
8月7日(金) 午前  09:00 - 12:15
(12)	09:00-09:30	情報流仕様に基づくアクセス制御文の自動生成 SS2009-23	○森田剛正・高田喜朗（高知工科大）・関　浩之（奈良先端大）
(13)	09:30-10:00	Automating Equivalence Partitioning in Test Case Generation with a Computer Algebra System SS2009-24	○Satoshi Hattori（Tokyo Inst. of Tech.）
(14)	10:00-10:30	ソフトウェアアーキテクチャ事前設計を目的とするフィーチャモデルのガイドラインとアンチパターン SS2009-25	○中西恒夫・久住憲嗣・福田　晃（九大）
	10:30-10:45	休憩　（ 15分 ）
(15)	10:45-11:15	類似性に基づく工数予測における適切でない予測プロジェクトの判別の試み SS2009-26	○中村哲彬・柿元　健・楠本真二（阪大）
(16)	11:15-11:45	バグ管理システムのログを利用した保守プロセス評価メトリクス SS2009-27	○伏田享平・川口真司・飯田　元（奈良先端大）
(17)	11:45-12:15	On the Job Learning: 産学連携による新しいソフトウェア工学教育手法 SS2009-28	○小林隆志（名大）・沢田篤史（南山大）・山本晋一郎（愛知県立大）・野呂昌満（南山大）・阿草清滋（名大）

問合先と今後の予定
SS	ソフトウェアサイエンス研究会（SS）   [今後の予定はこちら]
	問合先	満田成紀(和歌山大) TEL 073-457-8433 FAX 073-457-8434 E-: n-u
	お知らせ	◎最新の情報はSIGSS研究会ホームページでご確認ください． http://sdlab.sys.wakayama-u.ac.jp/ss/

Last modified: 2009-09-07 13:28:06