出版社:高等教育出版社
年代:2005
定价:
形式化方法是建立在严格数学基础上、具有精确数学语义的开发方法。从广义角度,形式化方法是软件开发过程中分析、设计及实现的系统工程方法。狭义地,形式化方法是软件规格和验证的方法。本书对软件开发中的形式化方法进行了介绍和讨论,内容包括:有限状态机、Statecharts、Petri网、通信顺序进程、通信系统演算、一阶逻辑、程序正确性证明、时态逻辑、模型检验、Z、VDM、Larch等。
书籍详细信息 | |||
书名 | 软件开发的形式化方法站内查询相似图书 | ||
9787040160796 《软件开发的形式化方法》pdf扫描版电子书已有网友提供下载资源链接 | |||
出版地 | 北京 | 出版单位 | 高等教育出版社 |
版次 | 1版 | 印次 | 1 |
定价(元) | 语种 | 简体中文 | |
尺寸 | 24 | 装帧 | 平装 |
页数 | 印数 | 5000 |
崔梦天, 韩伟, 著
(日) 刘少英, 著
(美) 斯珀儿斯奇 (Spolsky,J.) , 著
宋晓华, 李乐明, 著
(美) 玻朋蒂克 (Poppendieck,M.) , (美) 玻朋蒂克 (Poppendieck,T.) , 著
(美) 汉密尔顿, 著
权巍, 李莉, 徐晶, 编著
(美) 多纳尔德森 (Donaldson,S.E.) , 等著
吴庆涛, 刘灿勋, 徐冬, 编著