11 月 7 日(木)［1 日目］
13:00 - 13:25	受付
13:25 - 13:30	開会の挨拶
13:30 - 15:50	セッションFS1(フルペーパ)「開発と環境」 座長：沢田篤史(京都大)
	XCI: CASEツール開発向けANSI Cインタプリタの開発経験 権藤克彦，川島勇人(JAIST) 資源適合型アプリケーション統合開発環境の提案 中川晋吾(静岡大)，金指文明(カラビナシステムズ)， 谷沢智史，富樫敦(静岡大) 作業分割による増加工数を考慮した工数見積もりモデルの提案 花川典子(阪南大)，松本健一，鳥居宏次(NAIST) 分散オブジェクトの高信頼化へのアプローチ 杉山安洋(日大)
15:50 - 16:10	休憩
16:10 - 18:10	セッションSS1(ショートペーパ) 「オブジェクト指向」 座長:島和之(NAIST)	セッションSS2(ショートペーパ) 「形式化」 座長：結縁祥治(名大・JST)
	解析可能なオブジェクトモデルとしての制約付きクラス図 宗像一樹，二木厚吉(JAIST) メソッドの結合範囲に基づいたクラス凝集度メトリクス 山崎健司，阿萬裕久，山田宏之，野田松太郎(愛媛大) Javaプログラミングに対するデザインパターン適用支援ツール 山下純司(エヌアイエス)， 谷川健，高木俊幸，林雄二(北海道情報大学) アスペクト指向を用いた並列言語実行時環境構成のためのフレームワーク 児玉靖司，野呂昌満(南山大) XMLを利用したHTML文書生成系の提案 蜂巣吉成(南山大)	diffを用いたソフトウェア構成要素の階層化差分 新美健一(名大)，山本晋一郎(愛知県大)，阿草清滋(名大) プログラム構造の形式化による追従性分析法 佐藤匡正(島根大)，岸本頼紀(名工大) ソフトウェアアーキテクチャにおける形式的手法の適用に関する考察 張漢明，野呂昌満，蜂巣吉成(南山大)，荒木啓二郎(九大)，熊崎敦司(南山大) 表のための属性付きグラフとアルゴリズム 本橋友江(早大)，土田賢省(東洋大)，夜久竹夫(日大) テーブルを用いた形式仕様記述 小池憲史，二木厚吉(JAIST) CafeOBJにおける書き換えエンジンの停止性 中村正樹(JAIST)，櫻井一雅(日総研)，二木厚吉(JAIST)
18:10 - 19:00	休憩
19:00 - 20:30	夕食
20:30 - 22:00	若手ナイトセッション - テクノロジーグループ (BOF-T) 満田成紀(和歌山大)	若手ナイトセッション - サイエンスグループ (BOF-S) 張漢明(南山大)
11 月 8 日(金)［2 日目］
9:00 - 10:00	招待講演KE1
	数式処理とＷｅｂコンピューティング 野田松太郎(愛媛大)
10:00 - 10:15	休憩
10:15 - 12:35	セッションFS2(フルペーパ)「分析」 座長：高田眞吾(慶応大)
	システム分析の進展に伴うドメインモデル図の有効利用 瀬沼祐志，丸山潤，川端亮，伊藤潔(上智大) 異なる視点で記述されたシナリオの統合支援手法 張紅輝，藤本宏，大西淳(立命館大) 意味要素集合によるUMLアクティビティ図の意味解析 福安直樹(和歌山大)，平松宏章(日立ソフト)， 鯵坂恒夫，満田成紀，吉田敦(和歌山大) 現実的なプログラミング問題作成手法の提案 藤田充典，権藤克彦，落水浩一郎(JAIST)
12:35 - 13:30	昼食
13:30 - 15:30	チュートリアルWS1T 「アスペクト指向ソフトウェア」 岸知二，野田夏子(NEC)	ミニワークショップWS2 「オープンソース」 松下誠(阪大)，藤枝和宏(JAIST)
15:30 - 16:00	休憩
16:00 - 18:00	ミニワークショップWS1 アスペクト指向ソフトウェア 岸知二，野田夏子(NEC)
18:00 - 19:00	休憩
19:00 - 21:00	懇親会
11 月 9 日(土)［3 日目］
9:00 - 10:00	招待講演KE2
	情報技術とカタカナ語 牛島和夫(九産大，九州システム情報技術研究所)
10:00 - 10:15	休憩
10:15 - 12:35	セッションFS3(フルペーパ)「論理と検証」 座長：中田明夫(阪大)
	項書換えを用いた安全性検証の組織化 清野貴博(JAIST)，緒方和博(NECソフト)，二木厚吉(JAIST) 並行合成エージェントのための真の並行性を考慮した時間付プロセス代数とプロセス論理 磯部祥尚，大蒔和仁(産総研) IOA-ToolkitによるNepiネットワークプログラミングシステムの検証 河辺義信，真野健(日本電信電話株式会社) 極小性チェックを必要としない極小変更ソフトウェア仕様の導出 佐藤健(情報学研)
12:35 - 12:40	閉会の挨拶