Category:形式方法
形式方法是基於計算機的系統的軟體開發的需求、規格、設計、編程和實現的數學方法。它們和數理邏輯關係密切，形成了支撐軟體工程的計算理論，特別是關於安全的部分。形式方法對軟體測試也有幫助，因為它為測試給出了框架並能避免一些錯誤。它往往需要工具支持才能用於實際應用。
-
此頁面分類的主條目是形式方法。
類別「形式方法」中的頁面
這個分類中有以下的9個頁面，共有9個頁面。
布形 |
形 續抽指演 |
聯高 |
Why are we here?
All text is available under the terms of the GNU Free Documentation License
This page is cache of Wikipedia. History