维基百科，自由的百科全书
跳转到： 导航、 搜索
在计算机科学和软件工程领域，形式化方法是基于数学的特种技术，适合于软件和硬件系统的描述、开发和验证。[1]将形式化方法用于软件和硬件设计，是期望能够像其它工程学科一样，使用适当的数学分析以提高设计的可靠性和鲁棒性。[2]但是，由于采用形式化方法的成本高意味着它们通常只用于开发注重安全性的高度整合的系统。[3]
[编辑] 参考文献
1.^ R. W. Butler. What is Formal Methods?. 2001-08-06 [2006-11-16].
2.^ C. Michael Holloway. Why Engineers Should Consider Formal Methods. 16th Digital Avionics Systems Conference (27-30 October 1997) [2006-11-16].
3.^ M. Archer, C. Heitmeyer and E. Riccobene. Proving invariants of I/O automata with TAME. Automated Software Engineering, 9, 201-232 (2002).
显示▼隐藏▲
查 · 论 · 编
| 计算机科学主要领域 | |
| 数学基础 | 数理逻辑 · 集合论 · 数论 · 图论 · 类型论 · 范畴论 · 数值分析 · 信息论 |
| 计算理论 | 自动机 · 可计算性理论 · 计算复杂性理论 · 量子计算 · 数值计算方法 |
| 算法 和 数据结构 | 算法分析 · 算法设计 · 计算几何 |
| 编程语言 和 编译器 | 语法分析器 · 解释器 · 过程化编程 · 面向对象程序编程 · 函数式编程 · 逻辑编程 · 编程范型 |
| 并发, 并行 和 分布式 系统 | 多处理器 · 网格计算 · 并发控制 |
| 软件工程 | 需求分析 · 软件设计 · 程序设计 · 形式化方法 · 软件测试 · 软件开发过程 |
| 系统架构 | 计算机系统结构 · 微处理器体系结构 · 操作系统 |
| 电信 与 网络 | 路由 · 网络拓扑 · 密码学 |
| 数据库 | 数据库管理系统 · 关系数据库 · SQL · 事务处理 · 数据库索引 · 数据挖掘 |
| 人工智能 | 自动推理 · 计算语言学 · 计算机视觉 · 进化计算 · 专家系统 · 机器学习 · 自然语言处理 · 机器人学 |
| 计算机图形学 | 可视化 · 计算机动画 · 图像处理 |
| 人机交互 | 计算机辅助功能 · 用户界面 · 可穿戴计算机 · 普适计算 · 虚拟现实 |
| 科学计算 | 人工生命 · 生物信息学 · 认知科学 · 计算化学 · 计算神经科学 · 计算物理学 · 数值算法 · 符号计算 |
| 注释：计算机科学领域也可根据ACM-1998分类系统进行分类。 | |
来自“http://zh.wikipedia.org/w/index.php?title=形式化方法&oldid=22506321”
查看条目评分
给本文评分
给本文评分
条目评分
这是什么？
当前平均分。
可信度
客观性
完整性
可读性
我非常了解与本主题相关的知识（可选）
我有与其有关的大学学位
这是我专业的一部分
个人对此有深厚的兴趣
文中未列出我所了解知识的来源
我想帮助改善维基百科，请给我发送一封电子邮件（可选）
我们将向您发送确认电子邮件。基于反馈隐私，我们不会与任何人共享您的地址。
提交评分
保存成功
你的评分尚未提交
你的评分已过期
请重新评估本条目并重新评分。
发生了一个错误。请稍后重试。
谢谢！你的评分已保存。
您要创建帐户吗？
帐户将帮助您跟踪您所做的编辑，参与讨论，并成为社群的一分子。
创建帐户或者登录以后再说
谢谢！你的评分已保存。
您知道您可以编辑这个页面吗？
编辑本页以后再说
5个分类：
∙理论计算机科学
∙软件工程
∙形式方法
∙形式科学
∙数学
Copyright © 2019-2025 51dongshi.net 版权所有
违法及侵权请联系：TEL:177 7030 7066 E-MAIL:11247931@qq.com 本站由北京市万商天勤律师事务所王兴未律师提供法律服务
