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