书目详细信息
： 软件开发的形式化方法
书目信息 机读格式(MARC)
| ISBN/价格： | 7-04-016079-X:CNY26.00 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 110000 |
| 题名责任者项： | 软件开发的形式化方法/.古天龙著 |
| 出版发行项： | 北京:,高等教育出版社:,2005.1 |
| 载体形态项： | 265页:;+图:;+24cm |
| 丛编项： | 高等学校研究生系列教材 |
| 相关题名附注： | 英文并列题名取自封面 |
| 提要文摘： | 形式化方法是建立在严格数学基础上、具有精确数学语的开发方法。从广义角度，形式化方法是软件开发过程中分、设计及实现的系统工程方法。狭义地，形式化方法是软件格和验证的方法。本书对软件开发的形式化方法进行了介绍讨论，内容涵盖了SE2004的SEEK中关于“软件的形式化方法的知识点，主要包括：有限状态机、Statecharts、Petri网通信顺序进程、通信系统演算、一阶逻辑、程序正确性证明时态逻辑、模型检验、Z、VDM、Larch等。 |
| 并列题名： | Formal Methods of Software Development eng |
| 题名主题： | 软件开发 方法 |
| 中图分类： | TP311.52 |
| 个人名称等同： | 古天龙 著 |
| 记录来源： | CN GGDT 20050828 |