SECセミナー形式手法入門－管理者向け半日コース [IPA]

本コースは、品質の高いソフトウェアを効率よく開発するために、ソフトウェア開発管理者としての立場で形式手法導入の計画立案を開始するに当たり、下記の事項を学習するものです。
1）形式手法の有用性を理解する。
2）「実践から学んだ形式手法を円滑に導入するために考慮しておくべき事項」について理解する。

本コースでは、IPA/SECにて公開している形式手法教材を使用いたします。