分類:形式方法
形式方法是基於計算機的系統的軟件開發的需求、規格、設計、編程和實現的數學方法。它們和數理邏輯關係密切，形成了支撐軟件工程的計算理論，特別是關於安全的部分。形式方法對軟件測試也有幫助，因為它為測試給出了框架並能避免一些錯誤。它往往需要工具支持才能用於實際應用。
子分類
此分類包含以下 8 個子分類，共 8 個。
形式方法是基於計算機的系統的軟件開發的需求、規格、設計、編程和實現的數學方法。它們和數理邏輯關係密切，形成了支撐軟件工程的計算理論，特別是關於安全的部分。形式方法對軟件測試也有幫助，因為它為測試給出了框架並能避免一些錯誤。它往往需要工具支持才能用於實際應用。
此分類包含以下 8 個子分類，共 8 個。