形式手法を利用し、どのように企業のソフトウェア開発プロセスを効率化し、 いかにしてソフトウェアの生産性と品質を向上させるのかを議論して行く。 現実的なソフトウェア開発における、形式仕様記述技術の効果的な適用方法を検討する。 また、ソフトウェア開発における、形式手法技術（モデル検査、証明など）の 適用およびインスペクションやテスト技術などの品質保証技術との関連及びその役割も議論する。
