掃一掃
關注中圖網
官方微博
本類五星書更多>
-
>
全國計算機等級考試最新真考題庫模擬考場及詳解·二級MSOffice高級應用
-
>
決戰行測5000題(言語理解與表達)
-
>
軟件性能測試.分析與調優實踐之路
-
>
第一行代碼Android
-
>
JAVA持續交付
-
>
EXCEL最強教科書(完全版)(全彩印刷)
-
>
深度學習
可信軟件基礎研究 版權信息
- ISBN：9787308188715
- 條形碼：9787308188715 ; 978-7-308-18871-5
- 裝幀：一般膠版紙
- 冊數：暫無
- 重量：暫無
- 所屬分類：>
可信軟件基礎研究 本書特色
本書系自然科學基金重大研究計劃“可信軟件基礎研究”的出版成果。本書以關鍵應用領域中軟件可信性問題為主攻目標，針對“軟件可信性度量與建模”、“可信軟件的構造與驗證”、“可信軟件的演化和控制”和“可信環境的構造與評估”等科學問題，從基礎理論體系、方法與平臺架構、典型應用示范等三方面對軟件可信性進行了深入研究，取得了重要成果和進展。
可信軟件基礎研究 內容簡介
可信軟件基礎研究項目組編的《可信軟件基礎研究》系國家自然科學基金重大研究計劃“可信軟件基礎研究”的出版成果。以嵌入式軟件和網絡應用軟件可信性問題為主攻目標，以國家關鍵應用領域中軟件可信性問題為突破口，建立可信軟件基礎研究的研究框架，研究成果揭示了軟件可信性和環境可信性度量與演化的基本規律，構建了可信軟件及其環境構造與驗證、演化與控制的方法和關鍵技術體系，建立了可信軟件開發工具和運行支撐平臺。
可信軟件基礎研究 目錄
●章 項目概況
● 1.1 項目介紹
● 1.2 項目布局
● 1.3 取得的重大進展
●第2章 國內外研究情況
● 2.1 國內外研究現狀
● 2.2 發展趨勢
● 2.3 領域發展態勢
●第3章 重大研究成果
● 3.1 可信網絡交易軟件系統試驗環境與示范應用
● 3.2 多維在線跨語言Calling Network建模及其在可信電子稅務軟件中的實證應用
● 3.3 面向車聯網的可信網絡應用軟件系統試驗環境與示范應用
● 3.4 航天嵌入式軟件可信性保障集成環境和示范驗證與應用
● 3.5 可信軟件理論、方法集成與綜合實驗平臺
●第4章 展望
● 4.1 國內存在的不足和戰略需求
● 4.2 深入研究的設想和建議
●參考文獻
●成果附錄
● 附錄1 重要論文目錄
●部分目錄
● 1.1 項目介紹
● 1.2 項目布局
● 1.3 取得的重大進展
●第2章 國內外研究情況
● 2.1 國內外研究現狀
● 2.2 發展趨勢
● 2.3 領域發展態勢
●第3章 重大研究成果
● 3.1 可信網絡交易軟件系統試驗環境與示范應用
● 3.2 多維在線跨語言Calling Network建模及其在可信電子稅務軟件中的實證應用
● 3.3 面向車聯網的可信網絡應用軟件系統試驗環境與示范應用
● 3.4 航天嵌入式軟件可信性保障集成環境和示范驗證與應用
● 3.5 可信軟件理論、方法集成與綜合實驗平臺
●第4章 展望
● 4.1 國內存在的不足和戰略需求
● 4.2 深入研究的設想和建議
●參考文獻
●成果附錄
● 附錄1 重要論文目錄
●部分目錄
展開全部
書友推薦
- >
我從未如此眷戀人間
- >
【精裝繪本】畫給孩子的中國神話
- >
羅曼·羅蘭讀書隨筆-精裝
- >
企鵝口袋書系列·偉大的思想20:論自然選擇(英漢雙語)
- >
小考拉的故事-套裝共3冊
- >
莉莉和章魚
- >
上帝之肋:男人的真實旅程
- >
推拿
本類暢銷
