软件开发的形式化方法 上传者：zxllstar 2019-08-03 22:20:07上传 PDF文件 10.93MB 热度 69次 《软件开发的形式化方法》对软件开发中的形式化方法进行了介绍和讨论，内容涵盖了SE2004中关于"软件的形式化方法"的知识点，主要包括：有限状态机、Statecharts、Petri网、通信顺序进程、通信系统演算、一阶逻辑、程序正确性证明、时态逻辑、模型检验、Z、VDM、Larch等。形式化方法是建立在严格数学基础上、具有精确数学语义的开发方法。从广义角度，形式化方法是软件开发过程中分析、设计及实现的系统工程方法。狭义地，形式化方法是软件规格和验证的方法。 下载地址 用户评论 更多下载 下载地址 立即下载 收藏 腾讯 微博 用户评论 码姐姐匿名网友 2019-08-03 22:20:07 很有帮助，补一些基础 码姐姐匿名网友 2019-08-03 22:20:07 不错，正是我所需要的！ 码姐姐匿名网友 2019-08-03 22:20:07 是真不清晰 看久了眼睛难受 码姐姐匿名网友 2019-08-03 22:20:07 很基础的书 码姐姐匿名网友 2019-08-03 22:20:07 非常不错的资料，古天龙教授编写的教材！值得下载！ 码姐姐匿名网友 2019-08-03 22:20:07 可以，用了之后虽然没达到预期效果 码姐姐匿名网友 2019-08-03 22:20:07 基础书籍 适合入门 不错 码姐姐匿名网友 2019-08-03 22:20:07 不错，正是想要的 码姐姐匿名网友 2019-08-03 22:20:07 不是很清楚，不过做参考资料足够了 发表评论 zxllstar 资源：547 粉丝：1 +关注 上传资源 免责说明 本站只是提供一个交换下载平台，下载的内容为本站的会员网络搜集上传分享交流使用,有完整的也有可能只有一分部,相关内容的使用请自行研究,主要是提供下载学习交流使用,一般不免费提供其它各种相关服务! 本站内容泄及的知识面非常广,请自行学习掌握,尽量自已动脑动手解决问题,实践是提高本领的途径,下载内容不代表本站的观点或立场!如本站不慎侵犯你的权益请联系我们,我们将马上处理撤下所有相关内容！联系邮箱：server@dude6.com
很有帮助，补一些基础
不错，正是我所需要的！
是真不清晰 看久了眼睛难受
很基础的书
非常不错的资料，古天龙教授编写的教材！值得下载！
可以，用了之后虽然没达到预期效果
基础书籍 适合入门 不错
不错，正是想要的
不是很清楚，不过做参考资料足够了