《高等学校计算机科学与技术项目驱动案例实践规划教材：软件测试技术案例教程》采用“项目驱动”的教学模式，通过完整的项日案例，系统地介绍软件测试的原理、方法和技术。全书围绕软件测试的整体流程，详细论述了软件测试基本原理、软件测试计划与策略、黑盒测试技术、白盒测试技术、单元测试技术、集成测试技术、系统测试技术、验收测试技术和软件测试管理等内容。《高等学校计算机科学与技术项目驱动案例实践规划教材：软件测试技术案例教程》注重理论与实践相结合，内容详尽，提供了大量实例，突出应用能力的培养，将一个实际项目的知识点分解在各章作为案例讲解，是一本实用性突出的教材。本书可作为普通高等院校计算机专业本、专科生软件测试课程的教材，也可供软件测试人员参考使用。

Processing最初是面向艺术家和设计师开发的程序。由Casey Reas和Ben Fry编著的《爱上Processing》适合零基础的初学者。全书言简意赅，清晰、详细地介绍了Processing的各项功能和拓展的可能性，以及在计算机图形方面的主要优势和用法。本书的1～6章介绍了Processing的基础用法，而7～10章则结合计算机高级编程语言的基础知识，通过示例让初学者更加透彻地理解编程的逻辑思路以及语言。第11章结合Arduino物理模块进行了延伸。《爱上Processing》与《爱上Arduino》一书相呼应，向大家展现了Processing的强大拓展性和创造性。

《SAPBW/BO实战指南—像学习Office一样学习BW/BO》主要介绍了SAPBW/BO两大商务智能产品，内容分为BW和BO两大部分。BW部分由浅入深，先简要介绍了BW产品概况和SAPGUI客户端安装，之后演示了一个简单的从源系统到数据处理再到报表展现的端到端案例，最后将BW常用的基础知识分解为单元操作并逐一剖析。而BO部分也采用了循序渐进的讲解方式，先介绍BO产品以及BO与BW的集成方案，然后介绍了BO服务器和报表工具的安装，之后介绍了BO前端展现产品的基础操作以及BO和BW集成实例。《SAPBW/BO实战指南—像学习Office一样学习BW/BO》基于目前业界主流的BW7.0和B03.1版本，涵盖了其中常用模块和主要功能。本书是为SAPBW/BO初学者提供的实战指南。本书适合的读者群包括：SAPBW/BO用户、SAP BW/BO实施顾问。

【名人推荐】我第一次翻开这本书时，立刻被这本书的覆盖范围之广所深深打动，它覆盖了规约和建模、演绎验证、模型检验、进程代数、程序测试、状态与消息序列图。除了对每个方法进行了相当深入的介绍以外，本书还讨论了应当在何时选取何种方法以及在选择这些方法时所必须做出的权衡。书中结合当前工具，使用很多具有挑战性的实例来说明各种技术。我还没看见过其他任何覆盖同样内容的书籍能达到如此的深度。同时，本书描述了应用形式化方法的过程：从建模和规约开始，然后选择一个合适的验证技术，最后测试程序。这些知识在实践中是十分必要的，但是却很少在软件工程的课本里面出现。我确信这本书将会取得巨大的成功。我向所有对软件可靠性问题感兴趣的读者强烈推荐这本书。—— Edmund M. Clarke教授图灵奖获得者，卡内基-梅隆大学【内容简介】用于创建可靠软件的形式化方法一直处于不断的开发和改进之中。最近，人们对于形式化方法工具的重要组成有了更深入的理解，从软硬件开发业界逐渐接受可靠性工具这一点就可以体现出来。本书介绍了各种能解决软件可靠性问题的方法。理想情况下，形式化方法应该用起来直观，学起来简洁、快速，对开发过程的影响微乎其微。本书对各种方法进行了比较，揭示了它们各自的优点和缺点，同时紧扣自动机理论和逻辑这两个主题。在尽可能减少背景知识介绍的前提下，本书向非专家读者描述了多种技术，并且针对软件工程领域的研究人员和专业人士介绍了一些高级技术。本书主题和特点：？ 集中介绍目前常用的重要软件可靠性方法，并将它们互作比较，这些方法包括：演绎验证、自动验证、测试和进程代数？ 为具体项目的软件选择过程提供有用信息？ 提供了大量的练习、项目和连续性的实例，方便读者学习形式化方法并能够亲手使用这些工具？ 介绍了支持形式化方法的数学原理？ 对于该领域未来的研究方向，以及开发新方法和改进现有技术提出了有益的见解

《中国高等学校计算机科学与技术专业（应用型）规划教材：软件工程学习指导与习题解析》对软件工程的基本原理和方法做了简要介绍，内容涉及软件工程概述、软件开发模型、需求分析、结构化分析与设计基础、构件级设计与实现、面向对象方法及UML建模语言、面向对象分析、面向对象设计、软件维护等。每章由基本知识点、习题和习题解析三个部分组成。基本知识点主要介绍该单元的基本原理、方法等重要内容。习题部分结合本单元的知识点，给出各种类型的练习题，配合知识点的复习。习题解析部分不仅给出习题答案，还对重点、难点习题进行分析，指出解题思路和方法。此外，《中国高等学校计算机科学与技术专业（应用型）规划教材：软件工程学习指导与习题解析》给出三套模拟试题及参考答案，供学习者练习和自测。《中国高等学校计算机科学与技术专业（应用型）规划教材：软件工程学习指导与习题解析》可作为高等院校计算机、软件工程等相关专业学生的软件工程课程辅助用书，也可作为计算机本科和专科学生参加计算机等级考试或相关专业自学考试的参考书。

量化管理是基于“标准化、精细化”流程和数学统计分析的企业管理方法。《软件企业量化管理：理念、方法与实践》系统地论述了软件企业量化管理的理念、方法与实践经验，总结了量化管理的特征、优点、困难和应用原则；阐述了软件企业开展量化管理的方法，总结了实施模型、集成化流程和常用的数学统计分析方法；阐述了作者在量化管理方面的实践经验，总结了软件企业营销过程、客服过程、项目过程、人力资源、成本效益等方面常用的度量元和统计方法。 《软件企业量化管理：理念、方法与实践》适合软件企业（或其他行业的软件部门）的各级管理者（如公司领导、部门经理、项目经理等）和资深技术人员参考阅读。

《怦然心动——情感化交互设计指南》精彩地阐述出了当人们访问网站，打开软件，购买实体产品和被某人吸引时的心理状态，并且非常深入地用心理学的方法解释了刺激和触发人类行为的因素。书中提供的众多方法，让我们可以创造出更加持久和深刻的用户体验。 《怦然心动——情感化交互设计指南》包含了众多的案例和参考资料，就算是熟谙用户体验的读者也能从中学习到新的知识，或轻松触碰到其他对自己有帮助的信息资源。

黄旭明主编的《软件开发项目管理操作》从计算机软件行业岗位技能培训的特点出发。本着“技术主流、适用为度、过程真实”的指导思想，选择微软DotNet技术，应用微软解决方案框架（Mic rosoft SolutionFramework，MSF），以软件企业的研发流程为线索，通过剖析企业真实项目，引导学员逐步熟悉软件开发过程，掌握项目管理的各种方法，积累项目经验，提升实战能力。《软件开发项目管理操作》可以作为中职骨干教师计算机软件专业核心培训教材，也可以作为高职院校计算机软件专业以及软件学院软件工程专业实践教材，还可以作为软件开发、软件测试和软件项目管理人员的参考书。

《软件之道：软件开发争议问题剖析》集合了几十位软件工程领域顶尖研究人员的实证研究，通过呈现他们长达几年甚至几十年的研究成果，揭示了软件开发社区普遍存在的一些确凿事实和虚构之事。书中探讨了更有效的编程语言，对比了软件开发人员之间的效率差异，验证了康威定理，并反思了软件行业的最新模式。《软件之道：软件开发争议问题剖析》将帮助读者拓宽视野，更好地选择适合的工具和技术，并最终成为一名更加优秀的软件行业从业人员。 《软件之道：软件开发争议问题剖析》适合所有软件开发人员和研究人员阅读。

《中等职业学校计算机软件专业教师教学能力标准培训方案培训质量评价指标体系》由黄旭明主编，教育部和财政部组编，是教育部和财政部“中等职业学校教师素质提高计划”中“计算机软件师资培训包开发项目（LBZD017）”的成果之一，汇编了教师教学能力标准、教师培训方案和教师培训质量评价指标体系三个项目成果。主要介绍了中等职业学校计算机软件专业教师应具备的教育教学、专业知识及实践技能的能力标准，以教师教学能力标准为基础而制订的教师培训方案，以及从教师教学能力标准出发，围绕教师培训方案、培训条件、培训管理及培训效果等制订的教师培训质量评价指标体系。《中等职业学校计算机软件专业教师教学能力标准培训方案培训质量评价指标体系》可用于中等职业学校计算机软件专业教师上岗层级、提高层级和骨干层级的培训指导用书，也可以作为各级计算机软件专业教师培训的指导与参考用书。