跳至內容

分類:形式方法

維基百科,自由的百科全書

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

子分類

此分類包含以下 8 個子分類,共 8 個。

L