会员
周边
众包
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
026uranus
博客园
首页
新随笔
联系
订阅
管理
2024年5月15日
阅读和了解什么是形式化方法
摘要: 1、定义:形式化方法是建立在严格数学基础上的软件开发方法。它们使用数学符号来描述软件系统的行为,并允许通过数学推理来验证系统的正确性。 2、意义:形式化方法能够帮助发现系统描述中的不一致、不明确或不完整,提高软件开发人员对系统的理解,是提高软件系统尤其是安全关键系统安全性与可靠性的重要手段。 3、作
阅读全文
posted @ 2024-05-15 21:48 026uranus
阅读(2)
评论(0)
推荐(0)
编辑
公告