logo
分类于: 计算机基础 设计

简介

软件开发的形式化方法

软件开发的形式化方法 0.0分

资源最后更新于 2020-08-23 08:19:05

作者:古天龙

出版社:高等教育出版社

出版日期:2005-01

ISBN:9787040160796

文件格式: pdf

标签: 形式化方法 形式化 Formal_Methods 软件开发 计算科学 SoftEng Owned FM

简介· · · · · ·

《软件开发的形式化方法》对软件开发中的形式化方法进行了介绍和讨论,内容涵盖了SE2004中关于"软件的形式化方法"的知识点,主要包括:有限状态机、Statecharts、Petri网、通信顺序进程、通信系统演算、一阶逻辑、程序正确性证明、时态逻辑、模型检验、Z、VDM、Larch等。形式化方法是建立在严格数学基础上、具有精确数学语义的开发方法。从广义角度,形式化方法是软件开发过程中分析、设计及实现的系统工程方法。狭义地,形式化方法是软件规格和验证的方法。

《软件开发的形式化方法》可作为计算机、软件工程等专业高年级本科声或研究生的教学用书,也可供相关领域的研究人员和工程技术人员参考。

想要: 点击会收藏到你的 我的收藏,可以在这里查看

已收: 表示已经收藏

Tips: 注册一个用户 可以通过用户中心得到电子书更新的通知哦

目录