基于環(huán)境的軟件近似正確性簡(jiǎn)介，目錄書(shū)摘
2020-12-11 14:03
來(lái)源：京東
作者：京東
基于環(huán)境的軟件近似正確性
暫無(wú)報價(jià)
2評論
100%好評
編輯推薦:
內容簡(jiǎn)介: 《基于環(huán)境的軟件近似正確性》基于進(jìn)程代數理論中的通信系統演算（CCS）模型對軟件的近似正確性進(jìn)行了形式化描述和度量。從接受和拒絕環(huán)境角度，以參數化互模擬和三分之二互模擬為基礎，建立了參數化互模擬和三分之二互模擬的無(wú)限演化理論及拓撲理論，建立了近似的參數化互模擬和近似的三分之二互模擬理論。為描述帶有概率信息軟件系統的近似正確性，建立了概率化參數互模擬及確定性概率進(jìn)程近似互模擬的無(wú)限演化及其拓撲結構。
作者簡(jiǎn)介:
目錄:前言
第1章 引言
1．1 軟件正確性及其意義
1．2 研究現狀
1．3 內容安排
第2章 基礎知識
2．1 進(jìn)程演算（CCS）基礎
2．2 三分之二互模擬
2．3 參數化互模擬
2．4 定向集及其性質(zhì)
第3章 三分之二互模擬無(wú)限演化與拓撲
3．1 引言
3．2 三分之二互模擬的無(wú)限演化
3．2．1 三分之二極限互模擬
3．2．2 三分之二極限互模擬的拓撲結構
3．3 三分之二互模擬極限
3．3．1 三分之二互模擬極限
3．3．2 三分之二互模擬極限的擬同余性
3．4 三分之二互模擬拓撲
第4章 進(jìn)程之間近似程度的度量模型
4．1 引言
4．2 λ-三分之二互模擬及其性質(zhì)
4．2．1 三分之二互模擬索引
4．2．2 λ-三分之二互模擬
4．3 λ-三分之二互模擬等價(jià)的模態(tài)邏輯刻畫(huà)
4．4 基于三分之二互模擬的靜態(tài)近似正確性量化模型
第5章 參數化互模擬無(wú)限演化與拓撲
5．1 引言
5．2 參數化互模擬的無(wú)限演化
5．2．1 參數化極限互模擬
5．2．2 參數化極限互模擬的拓撲結構
5．3 參數化互模擬極限
5．4 參數化互模擬拓撲
5．4．1 收斂類(lèi)
5．4．2 參數化互模擬拓撲
第6章 近似的參數化互模擬
6．1 引言
6．2 參數化互模擬索引
6．3 λ-參數化互模擬
6．4 在環(huán)境e下λ-參數化互模擬的同余性
第7章 概率化參數互模擬
7．1 引言
7．2 概率化參數互模擬
7．3 近似的概率化參數互模擬
第8章 概率進(jìn)程近似互模擬的無(wú)限演化及拓撲結構
8．1 引言
8．2 ε-互模擬的無(wú)限演化
8．3 ε-互模擬極限
8．4 ε-極限互模擬的拓撲結構
8．4．1 尾閉包
8．4．2 自然延拓
8．4．3 復合結構
第9章 總結與展望
符號索引
參考文獻
第1章 引言
1．1 軟件正確性及其意義
1．2 研究現狀
1．3 內容安排
第2章 基礎知識
2．1 進(jìn)程演算（CCS）基礎
2．2 三分之二互模擬
2．3 參數化互模擬
2．4 定向集及其性質(zhì)
第3章 三分之二互模擬無(wú)限演化與拓撲
3．1 引言
3．2 三分之二互模擬的無(wú)限演化
3．2．1 三分之二極限互模擬
3．2．2 三分之二極限互模擬的拓撲結構
3．3 三分之二互模擬極限
3．3．1 三分之二互模擬極限
3．3．2 三分之二互模擬極限的擬同余性
3．4 三分之二互模擬拓撲
第4章 進(jìn)程之間近似程度的度量模型
4．1 引言
4．2 λ-三分之二互模擬及其性質(zhì)
4．2．1 三分之二互模擬索引
4．2．2 λ-三分之二互模擬
4．3 λ-三分之二互模擬等價(jià)的模態(tài)邏輯刻畫(huà)
4．4 基于三分之二互模擬的靜態(tài)近似正確性量化模型
第5章 參數化互模擬無(wú)限演化與拓撲
5．1 引言
5．2 參數化互模擬的無(wú)限演化
5．2．1 參數化極限互模擬
5．2．2 參數化極限互模擬的拓撲結構
5．3 參數化互模擬極限
5．4 參數化互模擬拓撲
5．4．1 收斂類(lèi)
5．4．2 參數化互模擬拓撲
第6章 近似的參數化互模擬
6．1 引言
6．2 參數化互模擬索引
6．3 λ-參數化互模擬
6．4 在環(huán)境e下λ-參數化互模擬的同余性
第7章 概率化參數互模擬
7．1 引言
7．2 概率化參數互模擬
7．3 近似的概率化參數互模擬
第8章 概率進(jìn)程近似互模擬的無(wú)限演化及拓撲結構
8．1 引言
8．2 ε-互模擬的無(wú)限演化
8．3 ε-互模擬極限
8．4 ε-極限互模擬的拓撲結構
8．4．1 尾閉包
8．4．2 自然延拓
8．4．3 復合結構
第9章 總結與展望
符號索引
參考文獻
相關(guān)商品
京公網(wǎng)安備 11000002000088號
