電子情報通信学会 研究会発表申込システム
研究会 開催プログラム		 技報閲覧サービス
[ログイン]
技報アーカイブ
 トップ  戻る   前のSS研究会 / 次のSS研究会 [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 


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

日時 2008年12月18日(木)　14:00 - 16:15
2008年12月19日(金)　09:30 - 12:15
議題 一般 
会場名 （1日目）高知工科大学、（2日目）高知文化プラザ「かるぽーと」 
住所 （高知工科大）〒782-8502 高知県香美市土佐山田町宮ノ口185， (高知文化プラザ)〒780-8529 高知市九反田2-1
交通案内 初日と２日目で会場が異りますのでご注意下さ い。詳細は以下のページ
http://sdlab.sys.wakayama-u.ac.jp/ss/kochi_access.html
会場世話人
連絡先		 情報システム工学科 高田喜朗
お知らせ ◎初日の研究会終了後，懇親会を予定していますので御参加下さい．参加希望の方は次の懇親会案内のページでの予約をお願いします．http://sdlab.sys.wakayama-u.ac.jp/ss/konshin/?id=0812

12月18日(木) 午後 
14:00 - 16:15
(1) 14:00-14:30 バグ管理システムを対象としたアジャイルソフトウェア開発における保守プロセスの観察 伏田享平・○大前勇輝・名倉正剛・川口真司・大蔵君治・飯田　元（奈良先端大）
(2) 14:30-15:00 コードクローンの長さに基づくプログラム盗用確率の実験的算出 ○岡原　聖（奈良先端大）・真鍋雄貴（阪大）・山内寛己・門田暁人・松本健一（奈良先端大）・井上克郎（阪大）
  15:00-15:15 休憩　（ 15分 ）
(3) 15:15-15:45 モデルチェッカを用いた要求仕様の法令準拠性の検査 ○佐伯元司（東工大）・海谷治彦（信州大）・服部　哲（東工大）
(4) 15:45-16:15 バージョン管理システムの利用コストと、その軽減手法 ○坂井　仁・権藤克彦（東工大）
12月19日(金) 午前 
09:30 - 12:15
(5) 09:30-10:00 利用者インタフェースレベルでの理解が可能な処理モデルの構築法 ○古宇田フミ子・近山　隆（東大）
(6) 10:00-10:30 基本対称関数を付加したCNF論理式の充足可能性判定 ○馬野洋平・酒井正彦・西田直樹・坂部俊樹・草刈圭一朗（名大）
(7) 10:30-11:00 Decidability of Termination Properties for Term Rewriting Systems Consisting of Shallow Dependency Pairs ○Keita Uchiyama・Masahiko Sakai・Toshiki Sakabe・Keiichirou Kusakari・Naoki Nishida（Nagoya Univ.）
  11:00-11:15 休憩　（ 15分 ）
(8) 11:15-11:45 木オートマトンを用いたXML処理 ○高田喜朗（高知工科大）・関　浩之（奈良先端大）
(9) 11:45-12:15 センサ情報のオープン化に向けたデータ記述・問い合わせ手法 ○高橋洋士・満田成紀・鯵坂恒夫（和歌山大）

講演時間
一般講演発表 20 分 ＋ 質疑応答 10 分

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


Last modified: 2008-11-27 01:40:39


ご注意： 迷惑メール対策のためメールアドレスの一部の文字を置換しております．ご了承ください．
[この開催に関する講演論文リストをダウンロードする] ※ こちらのページの最下にあるダウンロードボタンを押してください
 
[研究会資料インデックス(vol. no.ごとの表紙と目次)]
 
[研究会発表・参加方法，FAQ] ※ ご一読ください
 
[SS研究会のスケジュールに戻る]   /  
 
 トップ  戻る   前のSS研究会 / 次のSS研究会 [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 

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

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