Z形式規(guī)約切片的研究

定　價(jià)：￥18.00

作　者：	吳方君
出版社：	中國(guó)科學(xué)技術(shù)大學(xué)出版社
叢編項(xiàng)：	江西財(cái)經(jīng)大學(xué)博士論文文庫(kù)
標(biāo)　簽：	方法

購(gòu)買(mǎi)這本書(shū)可以去

ISBN：	9787312013546	出版時(shí)間：	2006-12-01	包裝：	平裝
開(kāi)本：	32	頁(yè)數(shù)：	185	字?jǐn)?shù)：

內(nèi)容簡(jiǎn)介

　　《Z形式規(guī)約切片的研究》充分利用已有的程序切片和依賴(lài)性分析技術(shù)，結(jié)合國(guó)內(nèi)外在形式規(guī)約切片及其應(yīng)用方面的最新研究動(dòng)態(tài)，在Z形式規(guī)約切片及其應(yīng)用方面展開(kāi)研究工作?！禯形式規(guī)約切片的研究》共八章，分成四大部分：第一部分為第1章，是全書(shū)的一個(gè)概述；第二部分包括第2～5章，主要研究了Z形式規(guī)約切片技術(shù)；第三部分包括第6～7章，主要研究了Z形式規(guī)約切片的應(yīng)用；第四部分為第8章，是對(duì)全書(shū)的結(jié)論?！禯形式規(guī)約切片的研究》研究的目的是通過(guò)對(duì)形式規(guī)約切片原理的研究，一定程度上解決形式規(guī)約切片及其在提升和度量應(yīng)用等方面存在的問(wèn)題，提出基于依賴(lài)性分析的Z形式規(guī)約切片和基于關(guān)系演算的Z形式規(guī)約切片，并在此基礎(chǔ)上把Z形式規(guī)約切片應(yīng)用到提升、定理證明和度量上。

作者簡(jiǎn)介

暫缺《Z形式規(guī)約切片的研究》作者簡(jiǎn)介

圖書(shū)目錄

序
前言
第1章導(dǎo)論
　1.1 Z形式規(guī)約切片的研究依據(jù)
　　1.1.1 研究背景
　　1.1.2 研究意義
　　1.1.3 研究目的
　1.2 國(guó)內(nèi)外研究現(xiàn)狀
　　1.2.1 Oda和Araki的切片方法
　　1.2.2 Chang和Richardson的切片方法
　　1.2.3 Leminen的切片方法
　1.3 本書(shū)的內(nèi)容結(jié)構(gòu)
　1.4 研究方法
　1.5 創(chuàng)新之處
第2章基于依賴(lài)性分析的z形式規(guī)約切片
　2.1 相關(guān)研究工作
　2.2 Z形式規(guī)約的依賴(lài)性分析
　　2.2.1 數(shù)據(jù)依賴(lài)
　　2.2.2 控制依賴(lài)
　　2.2.3 邏輯依賴(lài)
　2.3 Z形式規(guī)約的圖形化表示
　　2.3.1 理論依據(jù)
　　2.3.2 模式依賴(lài)圖S1DG
　　2.3.3 形式規(guī)約依賴(lài)圖SpDG
　2.4 Z形式規(guī)約切片
第3章基于依賴(lài)性分析的Z形式規(guī)約切片的形式化描述
　3.1 相關(guān)研究工作
　3.2 切片的形式化描述
　3.3 依賴(lài)圖的形式化描述
　　3.3.1 基本概念和定義
　　3.3.2 節(jié)點(diǎn)和邊的形式化描述
　　3.3.3 程序依賴(lài)圖的形式化描述
　　3.3.4 系統(tǒng)依賴(lài)圖的形式化描述
　3.4 程序切片算法的形式化描述
　　3.4.1 子程序切片算法的形式化描述
　　3.4.2 過(guò)程間切片算法的形式化描述
第4章基于關(guān)系演算的z形式規(guī)約切片
　4.1 相關(guān)研究工作
　4.2 基于關(guān)系代數(shù)演算的z形式規(guī)約切片
　　4.2.1 基本概念和定義
　　4.2.2 Z模式切片
　4.3 基于Z關(guān)系演算的z形式規(guī)約切片
　　4.3.1 基本概念和定義
　　4.3.2 Z模式切片
　4.4 實(shí)例研究
　4.5 討論
第5章變量定義和使用情況的探討
　5.1 表達(dá)式化簡(jiǎn)
　　5.1.1 一階謂詞邏輯的化簡(jiǎn)
　　5.1.2 集合的化簡(jiǎn)
　　5.1.3 關(guān)系的化簡(jiǎn)
　　5.1.4 函數(shù)的化簡(jiǎn)
　　5.1.5 序列的化簡(jiǎn)
　　5.1.6 包的化簡(jiǎn)
　5.2 定義對(duì)象分析
　5.3 引用對(duì)象分析
　5.4 節(jié)點(diǎn)內(nèi)定義集和使用集的分析
　5.5 討論
第6章 Z形式規(guī)約切片在提升和定理證明中的應(yīng)用
　6.1 Z形式規(guī)約切片在提升中的應(yīng)用
　　6.1.1 相關(guān)研究工作
　　6.1.2 基本概念和定義
　　6.1.3 切片在提升中的應(yīng)用
　　6.1.4 實(shí)例研究
　6.2 Z形式規(guī)約切片在定理證明中的應(yīng)用
　　6.2.1 Z形式推理
　　6.2.2 Z形式推理的分類(lèi)
　　6.2.3 一個(gè)定理證明的實(shí)例
第7章基于依賴(lài)性分析的z形式規(guī)約度量
　7.1 相關(guān)研究工作
　7.2 度量準(zhǔn)則的制定
　7.3 度量準(zhǔn)則的驗(yàn)證
　　7.3.1 相關(guān)性分析
　　7.3.2 回歸分析
第8章總結(jié)與展望
　8.1 總結(jié)
　8.2 研究展望
附錄1 交通車(chē)輛管理系統(tǒng)的z形式規(guī)約和相應(yīng)的Java源代碼
附錄2 與CK度量的評(píng)估、驗(yàn)證和預(yù)測(cè)相關(guān)的典型工作總結(jié)
附錄3 交通車(chē)輛管理系統(tǒng)回歸分析數(shù)據(jù)
參考文獻(xiàn)