（以）佩莱得著2012 年出版199 页ISBN：9787111365532
本书通过大量的形式化表示和技术，向读者提供了各种用于提高软件可靠性的形式化方法，包括演绎验证、自动验证、测试以及进程代数。紧紧围绕逻辑和自动机理论这条主线，书中比较了这些方法的不同之处，并讨论了它们...
王卓著2010 年出版147 页ISBN：9787118067880
本书的主要内容是首先通过本体将UML模型和Petri网模型相结合，提出了一种海洋机器人运动控制系统软件体系结构的描述模型，然后利用该模型进行控制系统软件的容错设计，并在此模型的基础上进行控制系统的软件可靠...
王主丁著2018 年出版283 页ISBN：9787030593986
本书主要内容基于作者多年的研究成果，同时也参考了国内外业内有关专家的文献，主要包括：基于虚拟网络和元件分类的故障范围计算机搜索混合方法、多重故障对配电网可靠性评估的影响分析、复杂中压配电网可靠性快...
郭平编著2012 年出版301 页ISBN：9787030341310
本书结合了作者近年来在该领域的研究成果，对计算智能的各个方面进行了比较系统和全面的阐述和讨论。全书共分八章。第一章概括介绍了软件可靠性工程和计算智能。第二章到第七章介绍了计算智能的主要分支，包括...
（英）亨布尔（JezHumble），（英）法利（DavidFarley）著2015 年出版444 页ISBN：9787115403759
本书讲述如何实现更快、更可靠、低成本的自动化软件交付，描述了如何通过增加反馈，并改进开发人员、测试人员、运维人员和项目经理之间的协作来达到这个目标。本书由三部分组成。第一部分阐述了持续交付背后的...
