首页 > 其他 > 详细

软件工程心得体会(五)

时间:2015-03-01 11:41:57      阅读:256      评论:0      收藏:0      [点我收藏+]

       这一章运用的离散数学的知识很多。从广义上讲,形式化方法是指将离散数学的方法用于解决软件工程领域的问题,主要包括建立精确的数学模型以及对模  型的分析活动。狭义的讲,形式化方法是运用形式化语言,进行形式化的规格描述、模型推理和验证的方法。运用形式化方法,主要是为了保证软件的正确性。

       这一章主要介绍了三种形式化方法,具体包括基于时态逻辑的方法、Z语言及其分析方法、Petri网的方法。这三种和离散数学的练习很紧密,也算是比较可以理解。

软件工程心得体会(五)

原文:http://www.cnblogs.com/meimiaozi/p/4306703.html

(0)
(0)
   
举报
评论 一句话评论(0
关于我们 - 联系我们 - 留言反馈 - 联系我们:wmxa8@hotmail.com
© 2014 bubuko.com 版权所有
打开技术之扣,分享程序人生!