软件开发的形式化方法.pdf
作 者: 古天龙 编 出 版 社: 高等教育出版社 形式化方法是建立在严格数学基础上、具有精确数学语义的开发方法。从广义角度,形式化方法是软件开发过程中分析、设计及实现的系统工程方法。狭义地,形式化方法是软件规格和验证的方法。本书对软件开发中的形式化方法进行了介绍和讨论,内容涵盖了SE2004中关于“软件的形式化方法”的知识点,主要包括:有限状态机、Statecharts、Petri网、通信顺序进程、通信系统演算、一阶逻辑、程序正确性证明、时态逻辑、模型检验、Z、VDM、 Larch等。 本书可作为计算机、软件工程等专业高年级本科声或研究生的教学用书,也可供相关领域的研究人员和工程技术人员参考。
用户评论
值得一看,谢谢分享
对形式化学习很有帮助。
这本书还是比较清晰的,比较完整的一本书
古天龙教授的经典著作,是形式化研究领域学习的有价值教材,对入门了解及深入学习者均有帮助。
非常不错的资料,对于形式化方法课程学习很有用
理论不少,对学习形式化软件工程有帮助
这个文档太好了。
不错,是本好书,
主要介绍形式化验证的方法,在此类中文书里面算是不错的了
老师推荐的,正在读,感觉不错,讲的很细致,值得学习。