en : formal method

厳密な数学的表記および言語を用いて、ソフトウェアを仕様化、開発、検証するために用いられるソフトウェアエンジニアリング方法

関連

参考文献