ア　実装済みのソフトウェアから設計仕様などを抽出して、そのソフトウェアの修正又は再開発を支援する。

イ　集合論などの数学的な体系を基礎として、ソフトウェアの機能の正当性を証明する。

ウ　ソフトウェア開発のライフサイクルで発生する種々の作業を同時並行的に進めて、開発期間の短縮を図る。

エ　ソフトウェアの設計が困難な部分を試作することによって、実現に必要な設計情報を得る。