形式方法是基于计算机的系统的软件开发的需求、规格、设计、编程和实现的数学方法。它们和数理逻辑关系密切，形成了支撑软件工程的计算理论，特别是关于安全的部分。形式方法对软件测试也有帮助，因为她维测试给出了框架并能避免一些错误。它往往需要工具支持才能用于实际应用。
该分类中有1个子类。
这个分类中有5个条目。
6个分类: 計算理論 | 软件工程 | 软件开发 | 软件测试 | 電腦安全 | 数据建模
