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 |
等式付き書換え系の等式数を削減する変換 |
○三浦浩一・西田直樹・酒井正彦・坂部俊樹・草刈圭一朗(名大) |
|
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 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 |
追跡性を考慮したソースコード差分の抽出 |
○大森隆行・山本哲男・丸山勝久(立命館大) |
|
11:00-11:15 |
休憩 ( 15分 ) |
(11) |
11:15-11:45 |
ドメインオントロジを用いた要求獲得支援ツールの実現 |
○北村元博・長谷川 亮(東工大)・山部信夫・海谷治彦(信州大)・佐伯元司(東工大) |
(12) |
11:45-12:15 |
協同編集機能を持つメールアーカイブシステムの試作 |
○チョイ コーイー・松下 誠・井上克郎(阪大) |