该书共分11章，章简介了系统软件可靠性及其相关术语；第2章讨论了软件可靠性工程以及包括马尔科夫过程、更新过程等在内的过程的相关概念；第3章描述了评估理论、常见的评估技术以及置信区间估计；第4章阐述了包括软件生命周期、软件开发周期、软件测试等在内的软件工程评估的基本概念；第5章讨论了几组传统的软件可靠性模型和评估方法，并简要介绍了软件复杂性、残余缺陷数等其它软件性能指标的评估方法；第6章包含了基于非齐次泊松过程（NHPP）的软件可靠性模型，同时讨论了广义NHPP模型、模型选择以及软件平均失效间隔时间等；第7章重点讨论了解决测试覆盖和缺陷移除的软件可靠性模型；第8章描述了一些最近的关于环境因素的研究，并讨论了环境因素对于软件可靠性评估的影响；第9章讨论了软件可靠性模型的校正技术；0章介绍了考虑了由软件失

本书揭示基于模型的软件开发方法的核心原则，展示如何分离每一个项目的关注点，使得参与者能够为每个域特有的需要和特征进行优化。本书共分三部分，共有18章。部分（～6章）重点介绍面向对象方法诞生的历史背景，阐述面向对象的方法旨在解决的问题。第二部分（第7～13章）讨论面向对象开发的基本原则如何应用于MDB方法学中，如何定义稳定的应用结构或框架。第三部分（4～18章）讲述如何利用动态模型描述动态计算需要。

软件质量，不但依赖架构及项目管理，而且与代码质量紧密相关。这一点，无论是敏捷开发流派还是传统开发流派，都不得不承认。本书提出一种观念：代码质量与其整洁度成正比。干净的代码，既在质量上较为可靠，也为后期维护、升级奠定了良好的基础。本书作者给出了一系列行之有效的整洁代码操作实践。这些实践在本书中体现为一条条规则（或称“启示”），并辅以来自现实项目的正、反两方面的范例。只要遵循这些规则，就能写出干净的代码，从而有效提升代码的质量 本书适合致力于改善代码质量的程序员及技术经理阅读。本书介绍的规则均来自作者多年的实践经验，涵盖从命名到重构的多个方面，虽为一“家”之言，然诚有借鉴意义。 本书是CleanCode一书的评注版，力邀资深专家执笔，在英文原著的基础上增加了中文点评和注释，旨在融合二

该书共分11章，章简介了系统软件可靠性及其相关术语；第2章讨论了软件可靠性工程以及包括马尔科夫过程、更新过程等在内的过程的相关概念；第3章描述了评估理论、常见的评估技术以及置信区间估计；第4章阐述了包括软件生命周期、软件开发周期、软件测试等在内的软件工程评估的基本概念；第5章讨论了几组传统的软件可靠性模型和评估方法，并简要介绍了软件复杂性、残余缺陷数等其它软件性能指标的评估方法；第6章包含了基于非齐次泊松过程（NHPP）的软件可靠性模型，同时讨论了广义NHPP模型、模型选择以及软件平均失效间隔时间等；第7章重点讨论了解决测试覆盖和缺陷移除的软件可靠性模型；第8章描述了一些最近的关于环境因素的研究，并讨论了环境因素对于软件可靠性评估的影响；第9章讨论了软件可靠性模型的校正技术；0章介绍了考虑了由软件失

《软件项目功能点度量方法与应用》所描述的功能点度量方法是一套用于度量软件规模的标准，它采用规则约束的方式来衡量软件规模的大小。基于软件功能点度量方法，可以在关心软件规模的人员之间建立一种客观、透明的评价机制，使得软件规模的评价工作摆脱传统方法所具备的“黑盒子”特征。 功能点的分析方法的采用将有助于解决我国软件行业所面临的普遍问题，对提升软件项目管理水平有很强的针对性。 《软件项目功能点度量方法与应用》分8章详细介绍了软件项目功能点度量方法与应用，这些内容是作者在十余年中应用与研究的重要总结和成果。

作为在一线摸爬滚打几十年的工程师，我们遇到过千千万万具体的问题，这些问题的解决往往具有的通用性，能够帮助读者解决很多问题，因此我们就有了出版这本《实用工具详解》的想法。我们在《实用工具详解》中创建了大量的实用工具，并从读者非常熟悉的具体问题出发，说明了解决这些具体问题的方法。这些实用工具包括数列工具、常用几何工具，等等。在这个基础上，我们针对电子、测试测量以及工业自动化专业创建了大量的相关工具，比如寄存器、触发器、比较器、定时器、计数器，等等。这些工具的实现原理，与相关的硬件基本原理是非常相似的，而且只要稍作修改就能应用到具体的工作、科研场景中。 《实用工具详解》中创建了多种常用的复杂数据结构工具，这些内容对于非计算机专业的工程技术人员来说，实现起来比较困难，但在实际编程中，

本书分为6篇。硬件篇就嵌入式软件开发所需掌握的处理器概念进行了介绍。工具篇对make、gcc编译器、bintuils工具集、ld链接器和gdb调试器进行了讲解，其中对make这一嵌入式开发环境的全能管家进行了精辟的介绍，致力于帮助读者成为Makefile方面的专家。编程语言篇致力于让读者更深入地理解C编程语言。操作系统篇通过循序渐进的方式介绍ClearRTOS的设计与实现，使得读者能透彻地理解操作系统的关键概念和实现原理。设计篇和质量保证篇通过实践的方式逐步展开讲解，以帮助读者获得一些实用的设计原则、实践和一套有效的质量保证方法论。 本书适合嵌入式软件开发领域的新手和在工作中碰到瓶颈的老手阅读。阅读本书要求读者已掌握C编程语言和基本的UML知识。

本书分为6篇。硬件篇就嵌入式软件开发所需掌握的处理器概念进行了介绍。工具篇对make、gcc编译器、bintuils工具集、ld链接器和gdb调试器进行了讲解，其中对make这一嵌入式开发环境的全能管家进行了精辟的介绍，致力于帮助读者成为Makefile方面的专家。编程语言篇致力于让读者更深入地理解C编程语言。操作系统篇通过循序渐进的方式介绍ClearRTOS的设计与实现，使得读者能透彻地理解操作系统的关键概念和实现原理。设计篇和质量保证篇通过实践的方式逐步展开讲解，以帮助读者获得一些实用的设计原则、实践和一套有效的质量保证方法论。 本书适合嵌入式软件开发领域的新手和在工作中碰到瓶颈的老手阅读。阅读本书要求读者已掌握C编程语言和基本的UML知识。

贾乔迪亚等编著的《动态目标防御（Ⅱ博弈论与对抗模型的应用）》着重介绍用以构建和分析动态目标防御系统的博弈论、赛博机动以及软件变化方法等三部分内容。部分主要阐述了软件系统“攻击面”的概念及度量方法，提出了确定动态目标防御策略的博弈论方法；详细说明了将博弈论运用到安全领域所面临的挑战；以Conficker蠕虫病毒为案例，提出了对抗动态学的观点；研究了将个人行为计算模型运用到非合作动态网络安全环境下所面临的困境。第二部分提出了使用机动密钥集实现网络环境下赛博机动的新策略；并以IPv6为基础，描述了为有线网络飞地设计的一种加密动态学网络体系结构。第三部分主要介绍了螺旋形变形防护系统的设计、发展及应用；研究了可实现软件栈多态化的插入NOP技术；最后研究了就地代码化技术。本书适合于信息安全、通信及网络对抗等