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


ソフトウェアサイエンス研究会(SS) [schedule] [select]
専門委員長 坂部 俊樹
副委員長 鯵坂 恒夫
幹事 権藤 克彦, 草刈 圭一朗

日時 2006年 6月22日(木) 13:30 - 17:30
2006年 6月23日(金) 09:30 - 12:15
議題 一般 
会場名 岡山大学創立五十周年記念館 
交通案内 岡山駅西口から岡電バス「岡山理科大学」行きに乗車,「岡大西門」で下車して徒歩約1分.または岡山駅西口からタクシーで約7分.
http://www.okayama-u.ac.jp/50kinenkan/koutsu.htm
会場世話人
連絡先
村上昌己
お知らせ ◎初日の研究会終了後,懇親会を開催しますので奮ってご参加ください.なお,参加希望者は会場で当日申し込みください.

6月22日(木) 午後 
13:30 - 17:30
(1) 13:30-14:00 A complete specification transformation from OTS/CafeOBJ to OTS/Maude Masaki NakamuraWeiqiang KongKazuhiro OgataKokichi FutatsugiJAIST
(2) 14:00-14:30 等式付き書換え系の等式数を削減する変換 三浦浩一西田直樹酒井正彦坂部俊樹草刈圭一朗名大
  14:30-14:45 休憩 ( 15分 )
(3) 14:45-15:15 単純型項書換え系上の依存対法における実効規則と直積型項へのラベル付け 櫻井敬大草刈圭一朗酒井正彦坂部俊樹西田直樹名大
(4) 15:15-15:45 制約オートマトンに関するモデル検査法の実験 中島 震NII/JST
  15:45-16:00 休憩 ( 15分 )
(5) 16:00-16:30 Identification of Inconsistency between Class Diagram and Sequence Diagram Erwin WidodoAtsushi OhnishiRitsumeikan Univ.
(6) 16:30-17:00 オープンソースソフトウェアに対する遺伝的アルゴリズムに基づく信頼性評価法 田村慶信広島工大)・山田 茂鳥取大
(7) 17:00-17:30 ソフトウェア開発方法論とプロジェクト管理の融合法に関する基礎考察 落水浩一郎北陸先端大
6月23日(金) 午前 
09:30 - 12:15
(8) 09:30-10:00 部分冗長除去の命令スケジューリングへの応用 滝本宗宏東京理科大
(9) 10:00-10:30 付箋による一時的情報の管理とその応用 清崎大輔大久保弘崇粕谷英人山本晋一郎愛知県立大
(10) 10:30-11:00 追跡性を考慮したソースコード差分の抽出 大森隆行山本哲男丸山勝久立命館大
  11:00-11:15 休憩 ( 15分 )
(11) 11:15-11:45 ドメインオントロジを用いた要求獲得支援ツールの実現 北村元博長谷川 亮東工大)・山部信夫海谷治彦信州大)・佐伯元司東工大
(12) 11:45-12:15 協同編集機能を持つメールアーカイブシステムの試作 チョイ コーイー松下 誠井上克郎阪大

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

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


Last modified: 2006-05-31 16:49:43


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

[この開催に関する講演論文リストをダウンロードする] ※ こちらのページの最下にあるダウンロードボタンを押してください
 

[技術研究報告冊子体販売対象研究会向け:技報の当日価格一覧] ※ 開催2週間前頃に掲載されます
 
[研究会発表・参加方法,FAQ] ※ ご一読ください
 
[研究会資料インデックス(vol. no.ごとの表紙と目次)]
 

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


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

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


IEICE / 電子情報通信学会