公理的設計法を用いた
リアルタイム制御ソフトウェアの
ラピッドプロトタイプ開発支援

公理的設計法によるソフトのモデリング

OMTと公理的設計法の比較

ABSの構造解析

現在のソフト開発における問題点

ソフト設計支援システムの再設計