Category:形式方法

维基百科,自由的百科全书
跳转至: 导航搜索

形式方法是基于计算机的系统的软件开发需求规格设计编程和实现的数学方法。它们和数理逻辑关系密切,形成了支撑软件工程计算理论,特别是关于安全的部分。形式方法对软件测试也有帮助,因为它为测试给出了框架并能避免一些错误。它往往需要工具支持才能用于实际应用。

页面分类的主条目是形式方法

子分类

本分类有以下5个子分类,共有5个子分类。

L

  • 自动机(1个分类, 18个页面)