本书系国家自然科学基金重大研究计划“可信软件基础研究”的出版成果。本书以国家关键应用领域中软件可信性问题为主攻目标，针对“软件可信性度量与建模”、“可信软件的构造与验证”、“可信软件的演化和控制”和“可信环境的构造与评估”等科学问题，从基础理论体系、方法与平台架构、典型应用示范等三方面对软件可信性进行了深入研究，取得了重要成果和进展。

📙 相关书籍

  1. 《Web应用软件的测试技术研究》高清PDF ...
  2. 《面向多Agent系统的辩论协商研究》高清PDF 在多Agent系统协商交互领域中，辩论协商是最近几年刚刚兴起的，它在各个领域有着广泛的应用。本书叙述深入浅出，取材新颖，反映了分布式人工智能中辩论协商Agent的技术特点；从应用角度出发，介绍了辩论协商的主要内容。本书共分五章，第一章是绪论，第二章是面向辩论协商的Agent外部系统结构，第三章是面向......
  3. 《Python人脸识别 从入门到工程实践》高清PDF 本书是一本面向初学者的人脸识别实现宝典。全书共8章，主要内容包括:人脸识别入门;数学与机器学习基础;计算机视觉原理与应用;常用人脸识别法;人脸识别项目实战;人脸识别工程化等。...
  4. 《Python灰帽子 黑客与逆向工程师的Python编程之道》高清PDF 《python灰帽子：黑客与逆向工程师的python编程之道》是由知名安全机构immunity inc的资深黑帽justin seitz先生主笔撰写的一本关于编程语言python如何被广泛应用于黑客与逆向工程领域的书籍。老牌黑客，同时也是immunity inc的创始人兼首席技术执行官（cto）da......
  5. 《Delphi第三方控件使用大全》高清PDF Delphi玩家手册:本书介绍数百种具有代表性的优秀Delphi第三方控件，以及控件的介绍、评测、详解以及源代码或示例程序的分析等。...
  6. 《LabVIEW虚拟仪器系统开发与实践》高清PDF 本书以LabVIEW8.6为基础，结合测试测量和自动化领域技术的进展，介绍虚拟仪器硬件技术、软件编程技术和虚拟仪器系统的开发与实践等内容。全书共分为三部分，第一部分讲述虚拟仪器硬件技术，第二部分讲述虚拟仪器软件编程技术，第三部分讲述虚拟仪器系统开发实践。...
  7. 《精通LabVIEW程序设计》高清PDF 本书分为基础入门篇、编程精通篇和应用实例篇三个部分。...
  8. 《Struts2框架应用开发教程》高清PDF 本书以理论结合实践，面向应用开发，使学生通过本书的学习，能够掌握Struts2框架的基本知识，并能够进行基于Struts2框架的Web开发。...
  9. 《Director 11多媒体开发应用教程》高清PDF 本书主要内容包括多媒体概述和Director软件工具说明，演员和演员表，舞台、精灵和剧本，简单动画制作，色彩、速率和转场，交互技术，3D动画，Lingo语言基础与脚本，行为与Lingo拓展，Lingo与电影，电影发布等。...
  10. 《精通LabVIEW虚拟仪器程序设计与案例实现》高清PDF 本书详细介绍了LabVIEW在工程应用领域的一些应用、相关例程及调试技巧、应用程序发布等。如LabVIEW在数学分析中的应用，LabVIEW在信号处理中的应用，LabVIEW的数据库应用，LabVIEW在数据采集与仪器控制中的应用等。...

提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。