招待講演
ソフトウェア開発における形式手法の挑戦:FMO3に見る動向と日本への示唆
荒木啓二郎(九州大学)
Semantic Webに関する話題 -誰のため何のためのSemantic Web?-
山口高平(静岡大学)

オブジェクト指向
SPINを用いたオブジェクト指向分析モデルのデータフロー解析手法
標準的使用法の提示によるオブジェクト指向フレームワークの対話的理解支援
ソフトウェアの利用実演による操作学習支援手法
UMLを用いたセキュアなアプリケーション開発のための支援手法

組込み
組み込みソフトウェアの階層化されたアスペクト指向ソフトウェアアーキテクチャ群の構築
組み込み用ソフトウェア開発へのモデルチェッキング技術の導入方法について 一ケーススタディ:携帯情報端末コルクボードの開発一
時間制約検証のためのハードウェア制御フローグラフ抽象化手法の提案
組込みソフトウェア開発マップの提案

要求分析
テキストマイニング技法を応用した要求獲得支援
ルールによるシナリオの正当性検証支援手法
役割に着目した分割と統合によるシステム分析法
ビジネスオブジェクトを用いた要求分析･設計手法

CASE
DWARF2デバッグ情報のCASEツールへの応用
RDFの細粒度ソフトウェアリポジトリへの応用
追跡子としてのXMLタグによるC前処理問題への対応
ソフトウェアの変更量とクラスサイズとの関係解析

テスト･検証
仮想マシンの中間言語に基づく回帰テスト選択手法
モデル図を村象としたインスペクション支援システムの設計
SOFL形式仕様によるソフトウェアテスト
モバイルエージェントによる柔軟なコンテンツ流通を実現するアクティブコンテンツ

実現手法
エージェントのペアリングによる再利用性と動的環境適応性を考慮に入れた記述分離
TRMIにおけるマルチスレッド制御機能
名前空間を考慮したDOM木Visitor生成系

アスペクト指向
フレームワークに対するアスペクト指向技術によるホットスポットのモジュール性向上
アスペクト指向アーキテクチャ設計に関する一考察
アスペクト指向設計モデルに関する一考察

エージェント･並行同期
エージェント間プロトコル記述言語FOPLの提案
Webサービス連携のためのモバイルエージェント動作記述
並行正規表現の同期からインターリーブへの変換

プロジェクト管理
プロセスパターンに対する理論的一考察
ソフトウェア開発グループ能力を計測するためのコミュニケーションモデル

Javaプログラム
実行可能なメモリモデルに基づくJava並行プログラムのモデル検査
シミュレーションとSAを用いたJavaプログラムの分割と携帯端末上での実装の一手法

企画セッション:サイエンストラック
LSIにおける検証技術
プロセス代数における時間拡張
実時間システムのモデル検査
組込みソフトウェア検証技術の実用化

企画セッション:テクノロジートラック
デファクト標準技術に対するソフトウェア工学の取り組み