【文件属性】:
文件名称:软件开发的形式化方法
文件大小:10.93MB
文件格式:PDF
更新时间:2015-02-26 16:24:12
软件开发的形式化方法
《软件开发的形式化方法》对软件开发中的形式化方法进行了介绍和讨论,内容涵盖了SE2004中关于"软件的形式化方法"的知识点,主要包括:有限状态机、Statecharts、Petri网、通信顺序进程、通信系统演算、一阶逻辑、程序正确性证明、时态逻辑、模型检验、Z、VDM、Larch等。形式化方法是建立在严格数学基础上、具有精确数学语义的开发方法。从广义角度,形式化方法是软件开发过程中分析、设计及实现的系统工程方法。狭义地,形式化方法是软件规格和验证的方法。
网友评论
- Thank you!
- 很有帮助,补一些基础
- 不错,正是我所需要的!
- 是真不清晰 看久了眼睛难受
- 很基础的书
- 非常不错的资料,古天龙教授编写的教材!值得下载!
- 可以,用了之后虽然没达到预期效果
- 可以,用了之后虽然没达到预期效果
- 基础书籍 适合入门 不错
- 不错,正是想要的
- 这本书不错,我们软件体系结构老师推荐的,但是PDF版不够清晰,不过还是能看清的。