ソフトウェア品質知識体系ガイド

形式手法


形式手法とは、数理論理学に基づいて仕様記述や検証を行うアプローチの総称です。SQUBOK218

■中級ソフトウェア品質技術者資格試験(JCSQE)に合格しました。