软件开发的形式化方法.pdf

时间:2013-02-23 21:52:20
【文件属性】:

文件名称:软件开发的形式化方法.pdf

文件大小:11.01MB

文件格式:PDF

更新时间:2013-02-23 21:52:20

软件开发 形式化方法

作  者: 古天龙 编 出 版 社: 高等教育出版社 形式化方法是建立在严格数学基础上、具有精确数学语义的开发方法。从广义角度,形式化方法是软件开发过程中分析、设计及实现的系统工程方法。狭义地,形式化方法是软件规格和验证的方法。本书对软件开发中的形式化方法进行了介绍和讨论,内容涵盖了SE2004中关于“软件的形式化方法”的知识点,主要包括:有限状态机、Statecharts、Petri网、通信顺序进程、通信系统演算、一阶逻辑、程序正确性证明、时态逻辑、模型检验、Z、VDM、 Larch等。   本书可作为计算机、软件工程等专业高年级本科声或研究生的教学用书,也可供相关领域的研究人员和工程技术人员参考。


网友评论

  • 值得一看,谢谢分享
  • 对形式化学习很有帮助。
  • 这本书还是比较清晰的,比较完整的一本书
  • 古天龙教授的经典著作,是形式化研究领域学习的有价值教材,对入门了解及深入学习者均有帮助。
  • 非常不错的资料,对于形式化方法课程学习很有用
  • 理论不少,对学习形式化软件工程有帮助
  • 这个文档太好了。
  • 不错,是本好书,
  • 主要介绍形式化验证的方法,在此类中文书里面算是不错的了
  • 老师推荐的,正在读,感觉不错,讲的很细致,值得学习。
  • 不错,又买了本实体书来看
  • 以前看过这本书,觉得挺好的。发现还有电子版资源,下下来再看看呀
  • 书是不错。形式化技术如何应用于大型的面向对象设计的软件系统?似乎还是个难题,没有比较能够实用化的工具
  • 很好的书 很难找到这方面这么好的教材
  • 正在看,感觉讲的很好,很细致,谢谢分享!
  • 整本书逻辑性很强,非常值得下载的。
  • 不错,研究的非常详细
  • 不错,是本好书,形式化技术在大型工业系统设计上有优势,使系统在目前给定的知识范围内保证我们的软件具有最高的可能得信任度。
  • 整本书看起来,逻辑性很强,而且感觉对基本的形式化方
  • 目前这类书很少,尤其是国内人自己写的,无论如何,推荐一下。 整本书看起来,逻辑性很强,而且感觉对基本的形式化方法介绍的还是比较全面的。 作为形式化方法的入门书挺好的。