ソフトウェア工学の基礎は堅牢か
埋め込み型プログラムの半自動生成
ソフトウェア工学の将来
パネル：知的なソフトウェア工学に向けて
評価戦略における完備性および厳密性解析
真の並行プロセス論理における充足可能性判定のための項書換え系
データフローと構造に着目した波及効果解析によるソフトウェア要求仕様の変更支援手法
ＴＲＭＩによる分散オブジェクト開発の自動化
ユースケースの縒合せによるＧＵＩプロトタイプ生成手法
ＣｌａｓｓＦａｃｔｏｒｙを用いたグループ開発作業における排他制御方式の検討〔ほか〕