招待講演
情報技術とカタカナ語
数式処理とWebコンピューティング

開発と環境
XCI:CASEツール開発向けANSI Cインタプリタの開発経験
資源適合型アプリケーション統合開発環境の提案
作業分割による増加工数を考慮した工数見積もりモデルの提案
分散オブジェクトの高信頼化へのアプローチ

分析
システム分析の進展に伴うモデル図の有効利用
異なる視点で記述されたシナリオの統合支援手法
意味要素集合によるUMLアクティビティ図の意味解析
現実的なプログラミング問題作成手法の提案

論理と検証
項書換えを用いた安全性検証の組織化
並行合成エージェントのための真の並行性を考慮した時間付プロセス代数とプロセス論理
IOA-ToolkitによるNepiネットワークプログラミングシステムの検証
極小性チェックを必要としない極小変更ソフトウェア仕様の導出

オブジェクト指向
解析可能なオブジェクトモデルとしての制約付きクラス図
メソッドの結合範囲に基づいたクラス凝集度メトリクス
Javaプログラミングに対するデザインパターン適用支援ツール
アスペクト指向を用いた並列言語実行時環境構成のためのフレームワーク
XMLを利用したHTML文書生成系の提案

形式化
diffを用いたソフトウェア構成要素の階層化差分
プログラム構造の形式化による追従性分析法
ソフトウェアアーキテクチャにおける形式手法の適用に関する考察
表のための属性付きグラフとアルゴリズム
テーブルを用いた形式仕様記述
CafeOBJにおける書き換えエンジンの停止性