| 开本： |
| 纸张：胶版纸 |
| 包装：平装 |
| 是否套装：否 |
| 国际标准书号ISBN：9787312013546 |
| 丛书名：江西财经大学博士论文文库 |
| 所属分类：图书>计算机/网络>计算机理论 |
目 录
序
前言
第章 导论
形式规约切片的研究依据
研究背景
研究意义
研究目的
国内外研究现状
和的切片方法
和的切片方法
的切片方法
本书的内容结构
研究方法
创新之处序
前言
第章 导论
形式规约切片的研究依据
研究背景
研究意义
研究目的
国内外研究现状
和的切片方法
和的切片方法
的切片方法
本书的内容结构
研究方法
创新之处
第章 基于依赖性分析的形式规约切片
相关研究工作
形式规约的依赖性分析
数据依赖
控制依赖
逻辑依赖
形式规约的图形化表示
理论依据
模式依赖图
形式规约依赖图
形式规约切片
第章 基于依赖性分析的形式规约切片的形式化描述
相关研究工作
切片的形式化描述
依赖图的形式化描述
基本概念和定义
节点和边的形式化描述
程序依赖图的形式化描述
系统依赖图的形式化描述
程序切片算法的形式化描述
子程序切片算法的形式化描述
过程间切片算法的形式化描述
第章 基于关系演算的形式规约切片
相关研究工作
基于关系代数演算的形式规约切片
基本概念和定义
模式切片
基于关系演算的形式规约切片
基本概念和定义
模式切片
实例研究
讨论
第章 变量定义和使用情况的探讨
表达式化简
一阶谓词逻辑的化简
集合的化简
关系的化简
函数的化简
序列的化简
包的化简
定义对象分析
引用对象分析
节点内定义集和使用集的分析
讨论
第章 形式规约切片在提升和定理证明中的应用
形式规约切片在提升中的应用
相关研究工作
基本概念和定义
切片在提升中的应用
实例研究
形式规约切片在定理证明中的应用
形式推理
形式推理的分类
一个定理证明的实例
第章 基于依赖性分析的形式规约度量
相关研究工作
度量准则的制定
度量准则的验证
相关性分析
回归分析
第章 总结与展望
总结
研究展望
附录 交通车辆管理系统的形式规约和相应的源代码
附录 与度量的评估、验证和预测相关的典型工作总结
附录 交通车辆管理系统回归分析数据
参考文献
显示全部信息
序
前言
第章 导论
形式规约切片的研究依据
研究背景
研究意义
研究目的
国内外研究现状
和的切片方法
和的切片方法
的切片方法
本书的内容结构
研究方法
创新之处序
前言
第章 导论
形式规约切片的研究依据
研究背景
研究意义
研究目的
国内外研究现状
和的切片方法
和的切片方法
的切片方法
本书的内容结构
研究方法
创新之处
第章 基于依赖性分析的形式规约切片
相关研究工作
形式规约的依赖性分析
数据依赖
控制依赖
逻辑依赖
形式规约的图形化表示
理论依据
模式依赖图
形式规约依赖图
形式规约切片
第章 基于依赖性分析的形式规约切片的形式化描述
相关研究工作
切片的形式化描述
依赖图的形式化描述
基本概念和定义
节点和边的形式化描述
程序依赖图的形式化描述
系统依赖图的形式化描述
程序切片算法的形式化描述
子程序切片算法的形式化描述
过程间切片算法的形式化描述
第章 基于关系演算的形式规约切片
相关研究工作
基于关系代数演算的形式规约切片
基本概念和定义
模式切片
基于关系演算的形式规约切片
基本概念和定义
模式切片
实例研究
讨论
第章 变量定义和使用情况的探讨
表达式化简
一阶谓词逻辑的化简
集合的化简
关系的化简
函数的化简
序列的化简
包的化简
定义对象分析
引用对象分析
节点内定义集和使用集的分析
讨论
第章 形式规约切片在提升和定理证明中的应用
形式规约切片在提升中的应用
相关研究工作
基本概念和定义
切片在提升中的应用
实例研究
形式规约切片在定理证明中的应用
形式推理
形式推理的分类
一个定理证明的实例
第章 基于依赖性分析的形式规约度量
相关研究工作
度量准则的制定
度量准则的验证
相关性分析
回归分析
第章 总结与展望
总结
研究展望
附录 交通车辆管理系统的形式规约和相应的源代码
附录 与度量的评估、验证和预测相关的典型工作总结
附录 交通车辆管理系统回归分析数据
参考文献
显示全部信息