仕様に基づく報品再利用法とその適用
代数的仕様の解析・検証・変換のための視覚的支援環境
ＣａｆｅＯＢＪによるＺ仕様の検証支援
フィールド指向言語Ｆｌａｇｅ
受信者数を考慮したブロードキャストシステムのためのプロセス代数
オブジェクト指向言語におけるクラス集合型検査
スライシング技法の応用によるプログラムの検証法
高レベルペトリネットに基づく形式的なオブジェクト指向設計モデル
プロセスモデルＨＦＳＰにおける実行状態の動的制御の基礎
Ｔｒｉａｄｉｃ　Ｄｏｍａｉｎ　Ｍｏｄｅｌに基づくシステムの分析・設計〔ほか〕