Z形式规约的自动求精研究
￥ 16.48 6.3折 ￥ 26 九五品
仅1件
作者王宏生 著
出版社国防工业出版社
ISBN9787118060447
出版时间2009-01
版次1
装帧平装
开本16开
纸张胶版纸
页数231页
字数99999千字
定价26元
上书时间2024-12-04
商品详情
- 品相描述：九五品
- 商品描述
-
基本信息
书名:Z形式规约的自动求精研究
定价：26.00元
作者:王宏生 著
出版社：国防工业出版社
出版日期：2009-01-01
ISBN：9787118060447
字数：194000
页码：231
版次：1
装帧：平装
开本：大32开
商品重量：
编辑推荐
内容提要
《Z形式规约的自动求精研究》叙述简明清晰，逻辑性强，可作为高等学校相关专业研究生和从事形式语言研究、大型软件形式化开发与应用的专业人员参考。 Z形式规约是一种世界上广泛使用的软件规格说明语言，在软件开发的需求规格说明阶段和软件设计阶段都可以使用，对于提高大型软件质量、验证软件设计正确性等方面具有非常重要的意义。 由于Z是以集合论和一阶逻辑为基础，是设计用来给人看的而不能由机器执行。将Z转换成高级语言需要专业的数学知识，而且对于大型软件，转换过程极易出错。Z的机器可执行性已经引起世界范围的关注，但目前还不能直接从Z语言自动生成应用程序，Z到可执行代码的转换主要由人工完成。《Z形式规约的自动求精研究》指出了Z语言求精方法对于自动生成应用程序的不足，提出了对Z规格说明做一定限制后的Smart Z自动求精为C++和STL方法。
目录
章 Z形式规约1.1 软件开发的形式化方法1.2 Z形式规约的类型1.3 Z形式规约的构造单元1.4 Z形式规约的关系和函数1.5 Z形式规约求精技术第2章 ++标准模板库STL2.1 STL简介2.2 STL基本结构2.3 容器2.4 迭代器2.5 算法2.6 其他组件第3章 Z形式规约的精简-SmartZ3.1 概述3.2 Z形式规约的类型约束3.3 Z形式规约的谓词约束3.4 Z形式规约的精简第4章 SmartZ的自动求精4.1 SmartZ的词法分析4.2 SmartZ的语法分析4.3 SmartZ的语义分析4.4 SmartZ的自动求精转换器第5章 一阶逻辑算子的自动求精5.1 一阶逻辑5.2 一阶逻辑算子的自动求精步骤5.3 表达式处理5.4 SmartZ的量词与连接词的自动求精5.5 一阶逻辑算子的目标代码生成5.6 一个模式求精实例第6章 集合论算子的自动求精6.1 集合类型的声明6.2 目标代码中的集合操作6.3 集合论算子到中间代码的转换6.4 采用模板及重载技术设计SmartZ中集合论算子的求精6.5 集合论算子自动求精实例第7章 幂集算子的自动求精7.1 幂集类型7.2 广义表7.3 单层幂集的自动求精7.4 多层嵌套幂集的自动求精7.5 幂集的自动求精实例第8章 笛卡儿积的自动求精8.1 笛卡儿积的声明8.2 笛卡儿积的数据求精8.3 笛卡儿积的过程求精488.4 笛卡儿积的自动求精实例第9章 关系和函数的自动求精9.1 序偶与关系9.2 关系操作与自动求精9.3 函数操作与自动求精0章 序列和包的自动求精10.1 序列和包10.2 序列操作的自动求精10.3 包操作的自动求精10.4 序列和包的自动求精实例附录1 Z语法附录2 SmartZ词法附录3 SmartZ的词法附录4 SmartZ语法附录5 SmartZ语法的部分SI-NS图附录6 部分SmartZ算子的函数模板参考文献
作者介绍
序言
-
【封面】
相关推荐
— 没有更多了 —
以下为对购买帮助不大的评价