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

★ソフトウェアサイエンス研究会(SS)
専門委員長 鯵坂 恒夫 (和歌山大)  副委員長 関 浩之 (奈良先端大)
幹事 満田 成紀 (和歌山大), 草刈 圭一朗 (名大)

日時 2009年 8月 6日(木) 10:30~17:30
   2009年 8月 7日(金) 09:00~12:15

会場 北見工業大学(〒090-8507 北海道北見市公園町165番地.女満別空港から北見行バス「工業大学入口」下車徒歩10分。JR北見駅から路線バス「工大正門前」下車すぐ.http://www.kitami-it.ac.jp/outline/place/place.html.情報システム工学科 後藤文太朗)

議題 一般

8月6日(木) 午前 (10:30~17:30)

(1) 10:30 - 11:00
再帰をもつプログラムの構造分析法
○大段雅典(島根大)・佐藤匡正

(2) 11:00 - 11:30
リバースエンジニアリングツールキットRemicsの試作
○神谷年洋(産総研)

(3) 11:30 - 12:00
開発ツールを他言語へ適用するためのAST変換の定式化
○長谷川 勇(野村総研)・権藤克彦(東工大)

−−− 昼食 ( 60分 ) −−−

(4) 13:00 - 13:30
アーキテクチャ設計と実装をつなぐインタフェース機構Archface
○野村 潤・鵜林尚靖(九工大)

(5) 13:30 - 14:00
動的スライシングを用いた漸進的Feature Location手法
○関根克幸・善明晃由・林 晋平・佐伯元司(東工大)

(6) 14:00 - 14:30
使用クラスに基づくソフトウェアの機能面からの分類
○牛窓朋義・門田暁人(奈良先端大)・玉田春昭(京都産大)・松本健一(奈良先端大)

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

(7) 14:45 - 15:15
確率的モデル検査ツールを用いた実時間ネットワークシステムの検証手法の提案およびネットワークシミュレータNS-2との比較
○伊藤明彦・長岡武志・岡野浩三・楠本真二(阪大)

(8) 15:15 - 15:45
Rodin Plugin to Link Event-B with SPIN
○Thomas Muller・Shin Nakajima(NII)

(9) 15:45 - 16:15
On Formalizing Behavioral Aspects of Reflective Computation
○Takuo Watanabe(Tokyo Inst. of Tech.)

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

(10) 16:30 - 17:00
システム保守を考慮した構成管理システムの検討
○坂田祐司・岩崎慎司・山本修一郎(NTTデータ)

(11) 17:00 - 17:30
アクタの相互作用に基づく要求抽出の完全性確認手法
○服部 昇(NTTデータ/和歌山大)・山本修一郎(NTTデータ)・鯵坂恒夫(和歌山大)・木谷 強(NTTデータ)

8月7日(金) 午前 (09:00~12:15)

(12) 09:00 - 09:30
情報流仕様に基づくアクセス制御文の自動生成
○森田剛正・高田喜朗(高知工科大)・関 浩之(奈良先端大)

(13) 09:30 - 10:00
Automating Equivalence Partitioning in Test Case Generation with a Computer Algebra System
○Satoshi Hattori(Tokyo Inst. of Tech.)

(14) 10:00 - 10:30
ソフトウェアアーキテクチャ事前設計を目的とするフィーチャモデルのガイドラインとアンチパターン
○中西恒夫・久住憲嗣・福田 晃(九大)

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

(15) 10:45 - 11:15
類似性に基づく工数予測における適切でない予測プロジェクトの判別の試み
○中村哲彬・柿元 健・楠本真二(阪大)

(16) 11:15 - 11:45
バグ管理システムのログを利用した保守プロセス評価メトリクス
○伏田享平・川口真司・飯田 元(奈良先端大)

(17) 11:45 - 12:15
On the Job Learning: 産学連携による新しいソフトウェア工学教育手法
○小林隆志(名大)・沢田篤史(南山大)・山本晋一郎(愛知県立大)・野呂昌満(南山大)・阿草清滋(名大)

一般講演:発表 20 分 + 質疑応答 10 分

◎初日の研究会終了後,懇親会を予定していますので御参加下さい.参加していただける方は,次の懇親会案内のページでの登録をお願いします.http://sdlab.sys.wakayama-u.ac.jp/ss/konshin/?id=0908


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

10月15日(木)~16日(金) 信州大学 [8月21日(金)] テーマ:一般

【問合先】
満田成紀(和歌山大)
TEL 073-457-8433
FAX 073-457-8434
E-mail: n-u

◎最新の情報はSIGSS研究会ホームページでご確認ください.
http://sdlab.sys.wakayama-u.ac.jp/ss/


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


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

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

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

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


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

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


IEICE / 電子情報通信学会