招待講演
サービス連携指向要求工学の展望
山本修一郎（NTTデータ）

UML
Javaプログラムの実行履歴に基づくシーケンス図の作成
プログラムスライシングを用いたJava実行系列からの部分シーケンス図生成手法

アスペクト指向
アスペクト指向的な表明のモジュール化
アスペクト指向ソフトウェアアーキテクチャスタイルの構築
位置指向設計プロセス：モバイル環境における状況依存アプリケーションのアスペクト指向設計

エージェント
P2Pグリッドにおけるモバイルエージェントを用いた生存性の高いサービスの構築
階層型モバイルエージェントの自律的な合成のための記述とその基盤に関する検討
マルチエージェントシステムのためのインタラクション主導開発におけるシステム分析
マルチメディアコンテンツ流通のためのモバイルエージェントのモデル駆動開発

ソフトウェア計測
協調フィルタリングに基づく工数見積もりのロバスト性評価
ソフトウェア実行時のAPI呼び出し履歴に基づく動的バースマークの提案
プログラム構造に基づくプログラミング能力評価法
クラスサイズメトリクスを用いたソフトウェア変更量の予測判別に関する考察

形式手法
パイ計算に対する時間拡張と代数的意味論
一括プロセス記述方式によって記述された分散システムのためのワークフローエンジンの拡張
ロジック書き換えパターンの検証方法の提案
構造的代数仕様のための等価述語の提案と実装
SMVによるOTS／CafeOBJ仕様のモデル検査

ソフトウェア開発，運用支援
レガシー・トランスフォーメーションのためのビジネスルール・リファクタリング
書き換えによるOtway－Rees認証プロトコルの検証
マルチバージョン生成によるプログラムの解析防止

ソフトウェアツールと開発環境
XMLを用いたCASEツール・プラットフォーム作成支援環境
環境の仕様を用いたシナリオから状態マシンの生成
リファクタリングツールにおけるUndo機構の提案

パターンとフレームワーク
文書解析に基づくソフトウェアパターンの体系化
MIMO：モバイルオブジェクトのためのリモートメソッド呼び出しフレームワーク

プログラミングとプログラミング言語
Mixin Layersへの総称型の導入
教育用OSのソフトウェア工学的側面－udosの開発を通して一

Web
Webアプリケーションの構造に基づくテスト基準
モデル変換によるWebアプリケーション開発の支援
JavaScriptを含むWebアプリケーションの解析手法

企画セッション：サイエンストラック
オブジェクト指向分析・設計モデルの解析手法
型システムの表現力とプログラムの安全性
オブジェクト指向デザインと形式手法に関連して
アスペクト指向プログラミング言語のモデル化
通信プロセスモデルに基づくソフトウェアモデル化

企画セッション：テクノロジートラック
新世代ソフトウェア開発環境とソフトウェア工学