形式的方法
en :
formal method
厳密な数学的表記および言語を用いて、ソフトウェアを仕様化、開発、検証するために用いられる
ソフトウェアエンジニアリング方法
関連
形式的分析
参考文献
ソフトウェアエンジニアリング基礎知識体系－SWEBOK V3.0－