本书是开源运动的独立宣言，它清晰、透彻和准确地描述了开源运动的理论与实际应用，对开源软件运动的成功和Linux操作系统的广泛采用都起到了至关重要的作用。本书在开源运动中的地位相当于基督教的，用黑客们的话说，这是“黑客藏经阁”的收藏。 本书并不只是在讲开源和黑客，所有关心软件开发和IT发展的人都应该花些时间通读全书，书中给出了大量充满智慧的观点和经过验证的概念，如命令体系、礼物文化、以少成多、内部市场、竞次、反公地模型、委员会设计、同侪声誉、模因工程、SNAFU现象、进化不利条件、软件业是服务行业、组织结构决定产品结构、准入门槛越低稳定性越高、程序员是资产而非成本等，这些内容会给你带来新的启示和思考。

组合测试是一种重要的软件测试方法.该方法系统地检测软件系统中各种组合的相互作用,例如,软件中不同功能、不同输入、不同配置或环境等因素的相互作用可能引发的故障.由于应用场景的广泛性,组合测试越来越受到工业界和学术界的研究和重视.《组合测试》系统介绍组合测试的概念、特点、应用场景、具体的应用步骤,以及应用和发展过程中所面临的各种科学问题和解决方案等.通过丰富具体的示范性应用实例介绍各种抽象的概念和过程,力图简洁清楚、通俗易懂,尽可能降低对读者专业基础要求.此外,《组合测试》还提供了组合测试领域的300多篇文献列表下载(http://gist.nju.edu.cn),以供读者学习研究.

本书是根据《国家职业标准》高级室内装饰设计师的知识要求和技能要求，按照岗位培训需要的原则编写的。内容包括总论、室内装饰的总体构思创意、室内总体设计规划、室内装饰设计的管理，并附施工设计实际案例。书末附有与之配套的试题库与答案，以便企业培训、考核鉴定和读者自测自查。本书主要用作企业培训部门、职业技能鉴定培训机构的，也可作为高级技校、技师学院、高职高专、各种短训班的教学用书，还可供有关技术人员使用。

随着我国计算机科学技术的迅速发展和计算机应用领域的不断扩大，软件的开发工作越来越重要，而由于软件复杂程度的不断增加，对软件的系统化、规范化和交流能力的要求也越来越严格。因此，软件开发、管理、维护工作的科学性、完整性以及有关文件的规范化、通用化就显得更为重要。为推动计算机软件工程技术的发展，使软件工程标准得到进一步贯彻，我们编辑了《计算机软件工程国家标准汇编》。 本汇编上一版于2007年出版，受到了广大读者的欢迎。此次在上一版的基础上，根据标准的制、修订情况进行了分类选编，共分为以下三卷： ——基础与管理卷； ——软件开发与维护卷； ——软件度量与评价卷。 本卷为软件开发与维护卷，收入截至2011年5月发布的现行有效的软件开发与维护方面的国家标准15项，方便读者使用。 本汇编的出版可更好地贯彻软

基于事实的决策，并且与业务目标保持一致，通过使用报表和将用户由洞察力引导行动的仪表盘来发挥商业智能的全部潜能。《SAPBusinessObjectsBI4.0完全参考手册(第3版)》对的BI平台、SAPBusinessObjects4.0、FeaturePack3，提供了全面的介绍。 学习如何使用新的信息设计工具来创建可以访问多个数据源和SAPBW的Universe。如何将复杂的业务问题转换为高效的WebIntelligence查询，并且将结果发布到BILaunchpad。学习如何通过一个基于Universe或电子表格的数据源来创建仪表盘。书中的截图、图表和循序渐进的指导为Universe设计人员、报表和仪表盘作者以及业务分析人员充分地阐释了最重要的概念。建立和发展BI的目标通过为正确的用户提供正确的模块以化用户的BI投资使用信息设计工具，通过多数据源、派生表、聚合感知和参数来创建健壮的Universe开发一个健壮、灵活的安全性计划设计从

迄今为止，软件故障直接或间接导致的事故已经造成了大量伤亡。本书通过历史上的小故事，介绍了软件故障引发的宇宙、航空、军事、通信、金融、医疗、生活等多领域的事故。即使不具备软件相关的专业知识，平时关注历史事件或热点话题的普通人也能受益匪浅。尤其是希望编写无Bug软件的开发人员或测试人员、经营软件公司的管理人员或高层人士等，更能从本书中获得丰富感受。

这是一本罕见的站在核心设计者而非普通开发者角度介绍Erlang/OTP系统的书籍。两位作者均是深耕分布式计算领域超过20年的专家。本书内容兼具深度与广度，不仅带领读者通过一步步实践的方式深入剖析了Erlang/OTP中各类核心进程的行为模式的设计原理，并且还介绍了特殊进程、自定义行为模式、发行包制作等不错主题。除此之外，还用了大量篇幅向读者介绍了Erlang/OTP系统中的设计原则、架构分布式系统的方法，以及在此基础上实现容错和规模伸缩所需了解的相关知识。对于任何一位渴望基于Erlang/OTP构建出商业级的分布式、高伸缩性、容错型系统的开发者，本书都是不容错过的经典之作。

对于软件设计的初学者来说，面对大量的信息，往往不知从何处开始下手。本书是根据作者多年的授课经验写作而成的，特别针对有以下需求的读者，提供学习的指引。 本书篇，设计了一个完整的案例，并且将LIML的13张图应用在该案例中，利用Q&A的方式，深入浅出地说明UML 13张图的基本精神及其应用，让刚开始接触UML的读者可以通过实际案例了解UML；第2篇，设计了另一个完整的案例，并搭配工具软件，配合UML、MDA及实际的程序代码，让进阶的读者可以了解，应该如何在实际的项目中应用UML。并且在每个章节中，都提供Lab练习，让读者可以“从做中学”；第3篇，作者设计了一个团队合作的情境，通过一个虚拟项目的进行，让读者可以了解团队中的各个角色，如何挑选适合的工具来帮助自己完成工作，以及如何善用工具，让团队合作能够更简单、更顺利。 随书

本书讲述各种分析模式和辅助模式，专注于面向对象分析与设计的结果——模型本身，给出了来自金融贸易、测量、财务以及组织关系等多个领域内的一系列模式。书中每个模式都包含了设计背后的原理、使用的规则以及实现的技巧，给出的例子包含了有用模型的细节，并介绍了用于提高分析、建模和实现的重用技巧。本书适用于面向对象的计算机分析人员和设计人员、数据建模人员、编程人员以及软件工程师。

本书从面向对象范型出发对软件工程进行重新演绎，全面、系统、清晰地介绍了面向对象软件工程的基本概念、原理、方法和工具，通过实例说明了面向对象软件开发的整个过程。 本书分为两个部分：部分介绍了面向对象软件工程的基本理论；第二部分以工作流的形式介绍了软件生命周期。 本书特色 包括面向对象生命周期模型、面向对象分析、面向对象设计，以及面向对象软件的测试和维护。 讨论了文档、维护、复用、可移植性、测试和CASE工具等的重要性。 包括了能力成熟度模型（CMM）和人员能力成熟度模型（P-CMM）的内容。 与语言无关。实例代码对于C 和Java语言背景的读者同样清晰。 包括600余篇当前热点研究文章、经典文献和书籍的参考文献。 包含2个用于说明完整软件生命周期的运行实例，还有7个较小的实例，分别用

为什么70%以上的软件项目会失败？至今没有人能给出系统且合理的解释，本书试图探究其中的原因并给出解决方案。这是所有软件开发团队都应该反复阅读的一本经典著作，是一位拥有十几年软件开发和项目管理经验的资深专家的智慧结晶，这其中有成功的经验，更多的则是在项目中经历的挫折和失败的教训总结，可以借鉴，发人深省。本书分为两部分。部分（～4章）比较详细地描述了软件项目，阐释使软件开发与众不同的12个特征，并揭示不适用于软件开发项目的10个隐藏假设，涉及范围管理、时间管理、成本管理、质量管理以及风险管理等内容，然后通过一个模拟案例的研究，说明这些问题是如何导致一个本来前途光明的项目走向失败的。第二部分（第5～7章）详细介绍项目成功的方式与方法，涉及水晶方法、极限编程和Rational统一过程，并重点介绍一些战略，

对软件项目的规模进行估算和度量，已经被公认为是软件项目规范运作、成功执行的基本要求之一。正确的估算和度量可以帮助项目经理更好地规划资源投入，安排项目进度，核算工和量及进行风险管理。功能点分析方法是一种非常可靠的度量应用系统工作产品的方法，在与客户沟通应用系统需求、度量生产率和质量、估计、管理项目范围的变更等方面非常有效。MkII功能点分析方法是国际标准14143/1所承认的标准之一，被广泛采用。本书是作者总结了多年的实践经验编写而成的，全书分为4部分，内容包括：功能点分析方法的原理、作用及应用步骤，MKII功能点分析方法的详细讲解，如何在一个软件企业和项目级中引入功能点分析方法，以及各种常用的模板和参考资料。本书内容丰富、理论联系实践，部分内容经过适当修改可以作为规范在项目中使用，极具实用性和参

本书从使用的角度出发，以工程示例的方式对“FOrceCOntrOIV7.0”的功能、使用方法及组态过程进行了详细地介绍。具体内容包括软件的安装、工程管理、系统开发及运行、I/O设备管理、数据库的管理、动画与脚本的设计、图表制作、应用案例等。本书淡化理论，重在功能实现，通过具体工程对象的创建，并辅以大量图形来进行讲解，有较强的实用性和可操作性。本书所有示例都经过机上验证通过。本书可供自控系统设计及相关专业工程技术人员阅读，也可作为高等学校计算机应用、自动控制、电子技术、机电一体化等专业师生的参考用书。

本书是有关软件测试与质量保证的一本理想入门教材，全书共分18章，主要内容包括测试的基本概念、程序测试理论、单元测试、控制流测试、数据流测试、域测试、系统集成测试、系统测试分类、功能测试、从有限状态机模型生成测试、系统测试设计、系统测试计划与自动化、系统测试的执行、验收测试、软件可靠性、测试团队的组织结构、软件质量及成熟度模型等。本书的两位作者在软件测试方面有着丰富的实践经验，全书既有侧重测试理论的概念讲解，也有实际应用的经验总结。

《软件研发成本度量规范释义》（简称《释义》）一书共分为三章，包含了释义的编制说明、行标主要内容的释义以及标准的应用示例。章介绍了行标释义编写的背景、必要性和撰写原则。第2章是全书的重点，释义与标准中各条文一一对应，进行了详细的介绍和说明。第3章用一个示例贯穿了标准中提到的5个应用场景。在编写形式上，《释义》不同于行业标准，而是采用通俗易懂的语言来阐述标准编制的背景、方法和原理，并有重点地进行解释。按照标准章节顺序进行逐条释义，对行业标准的说明更清晰易懂。对于标准中不需要解释的部分，依然会原文复制，保证了释义的完整性。最后用一个大的示例贯穿整个标准的应用场景。本书预期读者为软件企业内从事项目管理、质量管理、过程改进等工作的人员；行业用户如电子政务、金融、能源、电信、制造等行业用户

《Haskell函数式编程基础（第3版）》是一本非常的Haskell函数式程序设计的入门书，各章依次介绍函数式程序设计的基本概念、编译器和解释器、函数的各种定义方式、简单程序的构造、多态和高阶函数、诸如数组和列表的结构化数据、列表上的原始递归和推理、输入输出的控制处理、类型分类与检测方法、代数数据类型、抽象数据类型、惰性计算等内容。书中包含大量的实例和习题，注重程序测试、程序证明和问题求解，易读易学。全书循序渐进，从基本的函数式程序设计直至高级专题，让读者对Haskell的学习不断深入。《Haskell函数式编程基础（第3版）》可作为计算机科学和其他相关学科的高年级本科生、研究生的，也可供对函数式程序设计感兴趣的程序员、软件工程师等参考学习。

《时间序列InSAR技术与应用》结合作者多年来从事InSAR研究的成果和实际经验，兼顾基本原理、前沿发展和实际应用案例等方面给出较为全面的介绍。首先阐述《时间序列InSAR技术与应用》的学科背景，并对InSAR技术的发展、现状和存在的主要问题进行系统的评述和分析；然后在介绍SAR传感器基本知识和SAR影像主要特点的基础上，系统地论述InSAR的基本原理、数据处理关键技术和干涉相位特性等，帮助读者较为完整地理解常规InSAR的基础理论和方法，掌握相关的数据处理技术；针对时间与空间去相关及大气效应问题，《时间序列InSAR技术与应用》进一步论述了时间序列InSAR分析的基本原理及典型方法，并根据实际应用需求，将长时间序列相干点目标模型扩展至短时间序列准相干目标模型，同时给出相应的解算方法；最后在DEM更新、城市地表沉降检测、滑坡监测和人工地物