要求仕様データベースシステムの開発
メタ階層に基づくモデルベースソフトウェア開発基盤の提案
構文木の相互比較による複数バージョン比較分析方法の提案
能動的部品における機能交換変化メカニズム
複数の類似ドメインにおけるドメインモデルの洗練と再利用
オブジェクト指向方法論のための動的モデルＯｂＴＳ
実時間並行ソフトウェアの仕様記述とタイミング検証
空間プロセス代数による近似解析
形式的手法を用いた構造化ダイアグラムの一貫性検証
プロセス制御のための状態遷移図とロジック図の整合性検証〔ほか〕