可信軟件基礎(chǔ)研究

定　價(jià)：￥68.00

作　者：	可信軟件基礎(chǔ)研究項(xiàng)目組
出版社：	浙江大學(xué)出版社
叢編項(xiàng)：
標(biāo)　簽：	暫缺

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

ISBN：	9787308188715	出版時(shí)間：	2019-04-01	包裝：	平裝
開(kāi)本：	小16開(kāi)	頁(yè)數(shù)：		字?jǐn)?shù)：

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

　　可信軟件基礎(chǔ)研究項(xiàng)目組編的《可信軟件基礎(chǔ)研究》系國(guó)家自然科學(xué)基金重大研究計(jì)劃“可信軟件基礎(chǔ)研究”的出版成果。以嵌入式軟件和網(wǎng)絡(luò)應(yīng)用軟件可信性問(wèn)題為主攻目標(biāo)，以國(guó)家關(guān)鍵應(yīng)用領(lǐng)域中軟件可信性問(wèn)題為突破口，建立可信軟件基礎(chǔ)研究的研究框架，研究成果揭示了軟件可信性和環(huán)境可信性度量與演化的基本規(guī)律，構(gòu)建了可信軟件及其環(huán)境構(gòu)造與驗(yàn)證、演化與控制的方法和關(guān)鍵技術(shù)體系，建立了可信軟件開(kāi)發(fā)工具和運(yùn)行支撐平臺(tái)。

作者簡(jiǎn)介

暫缺《可信軟件基礎(chǔ)研究》作者簡(jiǎn)介

圖書(shū)目錄

第1章項(xiàng)目概況
1.1 項(xiàng)目介紹
1.2 項(xiàng)目布局
1.3 取得的重大進(jìn)展
第2章國(guó)內(nèi)外研究情況
2.1 國(guó)內(nèi)外研究現(xiàn)狀
2.2 發(fā)展趨勢(shì)
2.3 領(lǐng)域發(fā)展態(tài)勢(shì)
第3章重大研究成果
3.1 可信網(wǎng)絡(luò)交易軟件系統(tǒng)試驗(yàn)環(huán)境與示范應(yīng)用
3.2 多維在線跨語(yǔ)言Calling Network建模及其在可信國(guó)家電子稅務(wù)軟件中的實(shí)證應(yīng)用
3.3 面向車(chē)聯(lián)網(wǎng)的可信網(wǎng)絡(luò)應(yīng)用軟件系統(tǒng)試驗(yàn)環(huán)境與示范應(yīng)用
3.4 航天嵌入式軟件可信性保障集成環(huán)境和示范驗(yàn)證與應(yīng)用
3.5 可信軟件理論、方法集成與綜合實(shí)驗(yàn)平臺(tái)
第4章展望
4.1 國(guó)內(nèi)存在的不足和戰(zhàn)略需求
4.2 深入研究的設(shè)想和建議
參考文獻(xiàn)
成果附錄
附錄1 重要論文目錄
附錄2 獲得國(guó)家科學(xué)技術(shù)獎(jiǎng)勵(lì)項(xiàng)目
附錄3 代表性發(fā)明專利
附錄4 人才隊(duì)伍培養(yǎng)與建設(shè)情況
索引