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

定　價：￥68.00

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

購買這本書可以去

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

內(nèi)容簡介

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

作者簡介

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

圖書目錄

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