形式手法について調べてみた

 形式手法について調べてみた

開発でよくある仕様不備についてなにか打ち手はないかと模索していたとき、形式手法に出会いました。形式手法とはなにか、形式手法に期待される効果などをまとめました。

693ed679c8dde3eccbc682ff44f357e1?s=128

Hodaka Suzuki

March 07, 2019
Tweet