お知らせ 研究会の開催と会場に参加される皆様へのお願い(2020年7月開催~)
電子情報通信学会 研究会発表申込システム
研究会 開催プログラム
技報閲覧サービス
[ログイン]
技報アーカイブ
 トップ  戻る   前のSS研究会 / 次のSS研究会 [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 

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

日時 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 Nakamura・Weiqiang Kong・Kazuhiro Ogata・Kokichi Futatsugi(JAIST)

(2) 14:00 - 14:30
等式付き書換え系の等式数を削減する変換
○三浦浩一・西田直樹・酒井正彦・坂部俊樹・草刈圭一朗(名大)

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

(3) 14:45 - 15:15
単純型項書換え系上の依存対法における実効規則と直積型項へのラベル付け
○櫻井敬大・草刈圭一朗・酒井正彦・坂部俊樹・西田直樹(名大)

(4) 15:15 - 15:45
制約オートマトンに関するモデル検査法の実験
○中島 震(NII/JST)

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

(5) 16:00 - 16:30
Identification of Inconsistency between Class Diagram and Sequence Diagram
○Erwin Widodo・Atsushi Ohnishi(Ritsumeikan 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
追跡性を考慮したソースコード差分の抽出
○大森隆行・山本哲男・丸山勝久(立命館大)

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

(11) 11:15 - 11:45
ドメインオントロジを用いた要求獲得支援ツールの実現
○北村元博・長谷川 亮(東工大)・山部信夫・海谷治彦(信州大)・佐伯元司(東工大)

(12) 11:45 - 12:15
協同編集機能を持つメールアーカイブシステムの試作
○チョイ コーイー・松下 誠・井上克郎(阪大)

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

◎初日の研究会終了後,懇親会を開催しますので奮ってご参加ください.なお,参加希望者は会場で当日申し込みください.


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

8月3日(木)~4日(金) 北海道大学工学部M棟 [6月19日(月)] テーマ:一般

【問合先】
草刈圭一朗(名古屋大学)
TEL: 052-789-3973
FAX: 052-789-3801
E-mail: 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 / 電子情報通信学会