フィルタ強等価を基にした部分的仕様の合成方法
Ａｕｔｏｍａｔｉｃ　Ｓｙｎｔｈｅｓｉｓ　ｏｆ　Ｓｐｅｃｉｆｉｃａｔｉｏｎｓ　ｆｒｏｍ　Ｓｙｓｔｅｍ　Ｒｅｑｕｉｒｅｍｅｎｔｓ
オブジェクト指向代数仕様作成のケーススタディ
重み付き依存グラフを用いたソフトウェア部品の洗練
プログラム理解のための依存関係表示ツール
並行オブジェクト指向言語に対する部分計算
Ｇｅｎｅｒｉｃ　Ｉｎｔｅｒａｃｔｉｏｎ　Ｍｏｄｅｌに基づく並行問題の設計
コミュニケーションモデルに基づくビジュアルな要求仕様化支援
ドメインモデルに基づくシステム開発ナビゲータ
クラスシステムに基づくソフトウェア開発環境向けグラフィカルユーザインタフェースの生成〔ほか〕