（美）巴里·勃姆（BarryBoehm）著2015 年出版225 页ISBN：9787111503873
本书由资深系统工程专家撰写，精妙之处在于它描述了在成功开发和购买高效、灵活、价格合理且符合利益相关方需求的复杂系统时的一种增量式功能决策路径，可直接作为参与软件密集系统的开发、采购和管理的人员的...
孙志安，裴晓黎，宋昕，戴忠健编著2009 年出版336 页ISBN：9787811244199
本书本着“需求牵引、面向工程、结合实际”的原则，系统地阐述了软件可靠性工程的理论，提出了软件可靠性建模、度量、分配、设计、分析、测试与管理的实践方法。内容包括：软件可靠性工程基础、软件可靠性建模、...
软件系统的成功秘诀 NASA火星探测漫游者项目开发的20条军规
（美）麦克著2014 年出版131 页ISBN：9787300186146
本书的写法非常独特。它一反常规软件工程教材难以避免的枯燥风格，用非常通俗、非常平易的语言，讲出了软件系统开发一系列深刻的道理和实际的经验。作者把大型软件系统的成功归纳为20条基本原则，并向读者介绍了...
黄锡滋编著2002 年出版249 页ISBN：7505379909
本书主要介绍了软件质量及可靠性的基本概念、软件的可靠性设计、软件测试、软件可靠性预计模型、软件系统安全性分析、以及软件的质量保证等内容。 ...
美国卡内基梅隆大学SSD软件系统开发课程指定教材 VISUAL BASIC 6.0程序设计
（美）DIANE ZAK著2007 年出版367 页ISBN：9787121042379
这是一本详细讲解如何使用Visual Basic 6.0进行编程的翻译版教材。根据国内教学的特点，该书在原书的基础上进行了较大幅度的删减。通过面向对象/事件驱动的技术，该书采用任务驱动的方式向学生逐步讲解Visual ...
郭新峰著2015 年出版182 页ISBN：9787517036272
随着软件规模日益庞大、软件应用领域空前广泛，社会对软件的依赖程度及其紧密。同时，软件的运行异常给人们生产、生活等各个方面造成严重威胁成为迫切需要解决的问题。软件可靠性是软件质量的重要内容，本书基于...
（以）佩莱得著2012 年出版199 页ISBN：9787111365532
本书通过大量的形式化表示和技术，向读者提供了各种用于提高软件可靠性的形式化方法，包括演绎验证、自动验证、测试以及进程代数。紧紧围绕逻辑和自动机理论这条主线，书中比较了这些方法的不同之处，并讨论了它们...
王卓著2010 年出版147 页ISBN：9787118067880
本书的主要内容是首先通过本体将UML模型和Petri网模型相结合，提出了一种海洋机器人运动控制系统软件体系结构的描述模型，然后利用该模型进行控制系统软件的容错设计，并在此模型的基础上进行控制系统的软件可靠...
