形式方法是一种基于数学的软件开发方法。形式规格说明是形式方法最基本的部分，它精确描述用户需求和计算机软件系统的功能，并用于软件验证和精化。z是目前颇受欢迎且使用较广泛的一种形式规格说明语言。本书旨在讨论软件工程中形式方法的概念、方法和表示法，并详细介绍z的类型系统、数学语言和公理定义、通用式定义、模式等结构，还讨论了z规格说明的推理和求精方法。本书还介绍了面向对象的规格说明语言object—z和其他形式方法表示和工具。全书结构合理、内容丰富、实例详尽多样。各章配有习题。《软件形式规格说明语言—z》可作为计算机、软件工程、信息安全和信息管理等专业本科生和研究生的教材，也可作为大专院校有关专业的教师参考书，还可作为从事软件工程、软件开发和软件应用的研究人员和技术人员的参考资料。

《高等学校计算机类十二五规划教材：软件测试及其案例分析》系统地介绍了软件测试的基本理论和基本方法，并给出了大量的例子。其中，第一章从不同的方面给出了软件测试和软件测试性的不同定义，这些定义在表达形式、表述内容、适用范围上存在着一些差异，可以帮助读者对软件测试和软件测试性概念有更深入的了解，增强对软件测试的重视程度。第二章简要介绍了常用的软件测试方法、测试技术和常用的测试工具。第三章介绍关于Bug的基本知识，以及Bug的确认、修复、验证、跟踪管理和处理等过程。第四章和第五章介绍了软件测试的过程和步骤，以及测试用例的设计策略、原则、方法和技术。第六章介绍白盒测试、黑盒测试和灰盒测试方法，并介绍白盒和黑盒测试用例的设计方法及其实例。第七章在第二章内容的基础上着重介绍一些实用的软件测试方法和技术。第八章和第九章介绍若干常用的软件测试策略及如何编写常见的软件测试文档。第十章为软件测试案例，介绍一些软件测试案例。

“软件项目管理”既关联“项目管理”知识，又涉及“软件工程”知识，其关键是如何使两个学科合理融合，取得知识点的平衡，同时又能很好地指导实践。《软件项目管理》以SWEBOK和PMBOK为基础，充分吸收国内外软件项目管理的思想精华，依据作者多年软件项目开发与管理以及科研教学经验，对软件项目管理进行系统性的总结和阐述。全书共13章，其中第1章作为全书的基石，提出一个融合了项目管理过程和软件开发过程的软件项目管理过程，按照此过程，接下来的12章依次介绍了软件项目立项、软件项目合同管理、软件项目启动和范围管理、软件项目需求管理、软件项目团队管理、软件项目估算、软件项目风险管理、软件项目质量管理、软件项目配置管理、软件项目进度管理、软件项目监控以及软件项目收尾管理等方面的知识。《软件项目管理》可作为高等学校计算机科学与技术、软件工程等相关专业本科和研究生“软件项目管理”课程教材，也可供软件开发与管理人员参考使用。本书由贾经冬，林广艳编著。

《软件开发方法学精选系列：实现模式（修订版）》作者将自己多年形成的编程习惯以及阅读既有代码的体验凝练成了编程中的价值观、原则和77种实现模式。沟通、简单和灵活的价值观应当被所有开发人员所铭记。局部影响、最小化重复、将逻辑与数据捆绑等原则同样是通用性的指导思想，比价值观更贴近编程场景，在价值观和模式之间搭建了桥梁。在77种实现模式中，每一种模式都覆盖了编写简洁、清晰、易扩展、易维护的代码这一原则的某个方面。它们为日常的编程提供了丰富翔实的参考依据，并告诉大家这些代码如何为降低沟通成本和提高有效产出提供保障。《软件开发方法学精选系列：实现模式（修订版）》适用于各个阶段的开发者群体。刚刚涉足软件开发领域的新人能够透过大师的眼睛来看待编程，了解编程的价值观与原则；具有丰富经验的资深工程师则可以通过这些模式进行反思，探究成功实践背后的意义。把价值观、原则和开发实践结合之后，日常开发工作便会以崭新而迷人的形式呈现在我们面前。

《软件工程项目管理实用技术与常用模板》从软件工程项目管理的实际需求出发，吸纳了国内外优秀企业的项目管理理论和方法，以通俗易懂的语言讲述了当今软件工程项目管理的基本概念、基本原理和实际管理的方法和常用模板，内容实用，体系完整。《软件工程项目管理实用技术与常用模板》突出软件工程项目管理的实用性与可操作性的特点，是作者对软件工程项目管理经验和实践体会的总结，针对软件工程项目管理中每个阶段的具体实施技术逐一给出操作案例与常用模板，具有很强的实用和借鉴价值。《软件工程项目管理实用技术与常用模板》可作为软件管理、项目管理、软件开发人员的参考手册，软件工程类学科的教课书，同时也可供从事软件管理和项目决策的中高级管理人员阅读使用。

Based on HANA project experience with 36 validation scenarios of in-memory computing technology accumulated by large power companies， this book consisting of 12 chapters， describes in a detailed way how to use SAP HANA to meet query and analysis needs from business application systems; how to choose business and capture real-time data for decision-making analysis and business information query under the underserved circumstance; how to make use of a variety of modelling tools offered by HANA for modelling; how to choose a presentation tool to complete analysis report; how to obtain the balance between models and analytical tools for better analytical performance; how to deploy the roll-out; how to manage， run and maintain the system after the roll-out; and the management priorities of the HANA executive project.

任何持续发展的公司，最终都需要考虑如何扩展它的系统、组织和流程。这不仅仅是技术问题，还涉及组织、流程、架构等方方面面。扩展组织、流程和系统使之相互支持，达到良性循环，也不仅仅是门科学，还是一门艺术。《可扩展的艺术——现代企业的Web架构、流程及组织》正是对此提供了全面的、实践证明确实有效的解决思路和实用技巧。对于负责非技术类业务的执行主管或产品经理来说，《可扩展的艺术——现代企业的Web架构、流程及组织》会帮助你明确地提出正确的可扩展性问题，分析并做出正确的决策。而对于技术主管和工程师来说，《可扩展的艺术——现代企业的Web架构、流程及组织》会帮助你解决对扩展造成负面影响的组织和流程方面的问题，并为构建具有更高可扩展性的平台提供了技术模型和建议。

本书是百度质量部几位测试工程师以实际项目为依据，结合技术改进，讲解在大型公司中测试人员工作的主要内容，让读者从中了解具体测试工作的实际情况，从中受到启发，为自己的工作带来变化。就Windows应用程序测试而言，本书除了阐述传统测试领域中的自动化测试、性能测试、稳定性测试外，还深入讲述了不同用户环境测试的方方面面：诸如兼容性测试、产品评测，以及用户界面功能测试的设计和执行方法。本书使用的案例介绍都来源于实际项目，适合于从事Windows客户端测试的同行及即将进入测试行业的大中专院校的毕业生阅读。

《软件工程教程：ibm rup方法实践》采用ibm rup框架，通过一个完整的一体化案例讲解rup业务建模、需求、分析设计、实现、测试、部署等规程，主要内容包括：第1章介绍软件工程的基本知识和概念；第2章介绍面向对象和uml的基本知识和概念；第3～6章应用rup思想，详细介绍业务建模、需求、分析与设计（分析建模、体系结构设计和详细设计）、实现、测试、部署相关的知识；附录中的“一体化案例介绍”给出本书第3～6章中所涉及的案例的背景和详细说明。《软件工程教程：ibm rup方法实践》可以作为高等院校相关专业本科生和研究生的教材，同时也可以作为相关技术人员的参考用书。

在重庆大学软件学院开展的软件工程实训过程中，积累了大量的项目案例，可供学习和参考。《软件工程实训项目案例1》就是从中精选了一些有代表性的案例，通过项目案例产出物，完整展示项目的实训过程和实训内容，帮助读者更深入地理解软件工程的理论知识，更好地开展软件工程实训教学。本书首先介绍了重庆大学软件工程实训过程和实训开展情况，继而从互联网应用、系统工具、游戏设计、移动应用开发4个方面各选择了一个有代表性的优秀实训项目案例，通过案例的过程文档和产出物展示项目案例的全貌和实现过程。本书共5章，第1章介绍了实训过程，第2—5章分别介绍了反向竞拍网、远程桌面监控、兔子的伊甸园、手机流量监控4个项目案例，详细展示了软件工程过程中的关键产出物。《软件工程实训项目案例1》既可作为高等院校软件工程及相关本科专业的实训教学教材，也可作为软件工程相关专业课程和工程技术培训的参考教材。本书由熊庆宇等主编。