本书着重讨论以下核心内容，并层层递进，逐步深入。 首先解释了什么是软件架构，为什么它很重要，以及如何以规范和有效的方式设计、实现、分析、演进和管理它。 其次系统阐述如何使用架构来应对需求和系统规模的加速增长，以及如何管理新增的质量属性。 后讲解如何利用架构优化关键质量属性（包括性能、可修改性、防护性、可用性、互操作性、可测试性、易用性、可部署性等），如何管理和优化现有架构，如何将它们用于解决新问题并构建成可作为战略资产的可重用架构。
在软件架构中没有哪个决定是轻而易举的。相反，有许多艰难的部分，要么是难题，要么是缺少实践，这迫使你在各种妥协中做出选择。通过本书，你将学会如何批判性地思考分布式体系结构的利弊。 软件架构老兵和实践顾问Neal Ford、Mark Richards、Pramod Sadalage、Zhamak Dehghani讨论了选择适合架构的策略。全书交织着一群虚构的技术专业人员（Sysops Squad）的故事，他们研究了从如何确定服务粒度、管理工作流和编排、管理和解耦合约、管理分布式事务到如何优化可扩展性、弹性和性能等操作特性的一切问题。 本书通过关注常见的问题，提供了一些技术，帮助你在面对架构问题时进行权衡。
本书是微软DAX语言在商业智能分析、数据建模和数据分析方面的指南。 通过对本书的学习，你将了解如何使用DAX语言进行商业智能分析、数据建模和数据分析；你将掌握从基础表函数到高级代码，以及模型优化的所有内容；你将确切了解在运行DAX表达式时，引擎内部所执行的操作，并利用这些知识编写可以高速运行且健壮的代码。 本书第2版的重点内容包括基于免费的Power BI Desktop来构建和运行示例，帮助你在Power Bl、SQL Server Analysis Services或Excel中充分利用强大的变量（VAR）语法。你想要使用DAX所有的强大功能吗？那么这本未进行任何删减、深入浅出的著作正是你所需要的。 本书适合Excel高级用户、商业智能分析人员、使用DAX和微软分析工具的专业人士。
本书系统地总结了过去十年中软件测试发生的变化，浓缩了作者许多宝贵的软件测试经验。本书首先介绍对于软件测试的不同看法，全程软件测试的思想，软件测试的基础设施与TA框架、团队能力建设；然后逐步深入到测试的计划、设计、执行、持续反馈和改进；接着，讨论全程测试的思想，包括全程静态测试、全程性能测试、全程安全性、全程建模、全程可视化。本书*后展望了软件测试的未来。本书适合软件测试人员阅读，也可作为相关专业人士的参考指南。
你是否遇到过这些情况：只会使用软件中的默认图表；图表太简单，被嫌弃没有创意；图表表现力差，对报告结论的支持很有限；图表格式不统一，搭配起来一团糟；图表难以与实际工作和老板的需求相结合 也许你需要一套图表私人定制的知识体系。 这是一本专为工作服务的图表实战书，从结构上可以分为两个部分：基础篇和实战篇。第1～4章属于基础篇，分别讲解图表基本元素、图表通用设计法则、典型图表设计技巧和常用图表类型；第5章和第6章属于实战篇，分别讲解如何分析老板偏好并拆解工作型图表中的典型问题，以及综合利用基础篇的知识点，规范化图表定制步骤，让每个人都能实现图表定制梦。
本书是系统架构领域标杆参考书的升级版，由业内资深专家萨姆 纽曼（Sam Newman）撰写。 过去10年，随着微服务的普及，大量组织从单体应用迁移到了微服务应用，分布式系统变得愈加精细化，然而，这个过程中也出现了一系列问题。本书深入探讨了构建、管理、扩展和演进微服务架构时需要考虑的方方面面。内容分为三部分：第一部分 基础 （第1章~第4章），详细阐述微服务背后的核心思想；第二部分 实现 （第5章~第13章），带你转向具体实现细节，通过各种技术和方法尽可能大程度地用好微服务；第三部分 人和组织 （第14章~第16章），具体阐述离开人和组织的支持，理念和技术将毫无意义。通过学习本书，你将深入了解对微服务的建模、集成、测试、部署和监控等方向新的解决方案。 第2版进行了全面更新：新增了微服务构建和部署、无服务器计算及云原生应
本书是一本全面的指南，帮助开发人员、架构师和高级程序员在软件架构领域推进他们的职业生涯。这本书将带您了解所有重要的概念，从设计原则到软件架构职业生涯的不同阶段的不同考虑。本书首先介绍了软件架构的基本原理、优点和目的。您将发现软件架构是如何与组织相关联的，然后识别其重要的属性。一旦您掌握了这些基础知识，您将探索设计模式、最佳实践和高效软件开发的范例。本书讨论了需要考虑哪些因素来增强性能和安全性。您将学习为您的架构编写文档，并在考虑DevOps时做出适当的决策。此外，在了解如何创建随着市场、业务需求、框架、工具和最佳实践的变化而演进的软件体系结构之前，您将探索如何设计遗留应用程序。
在科学研究和工程设计领域，数值模拟方法是继理论解析方法、实验观测方法之后的又一*有力的研究、求解和设计的工具。本书首先介绍数值模拟基础：软件工程基础、程序语言和一种常用开发工具；然后从分析模拟软件中挑选两个应用*广的进行介绍，并配以丰富的算例；分析的目的往往是为了确认方案或得到更好的方案，*后对作者所在课题组开发的优化基础软件进行简要介绍。
这本实用的教科书适用于形式化方法的入门课程或高级课程。本书以B形式化方法的一个扩展Event-B作为工具，展示了一种完成系统建模和设计的数学方法。 简-埃蒙德 阿布瑞尔（Jean-Raymond Abrial）是国际著名计算机科学家，曾任苏黎世联邦理工学院客座教授，他基于精化的思想提出了一种系统化的方法，教读者如何逐步构造出所期望的模型，并通过严格的证明完成对所构造模型做系统化的推理。本书将介绍如何根据实际需要去构造各种程序，以及如何更为普遍地构造各种离散系统的模型。本书提供了大量的示例，这些示例源自计算机系统开发的各个领域，包括顺序程序、并发程序和电子线路等。 本书还包含了大量具有不同难度的练习和开发项目。书中的每个例子都用Rodin平台工具集证明过。 本书适合作为高等院校计算机、软*工程、网络工程、信息安全等专业高年级
《船舶与海洋平台专业设计软件开发》主要研究船舶与海洋平台设计软件的开发原理、算法与开发技术。《船舶与海洋平台专业设计软件开发》共10章：第1章为绪论；第2章介绍船体型线与船体曲面设计软件开发技术；第3章介绍基于三维切片模型的船舶静水力特性计算方法；第4章介绍船舶装载稳性与总纵弯曲强度校核软件开发技术；第5章介绍船舶与海洋平台有限元分析软件开发技术；第6章论述基于参数化技术的船体结构有限元软件开发技术；第7章论述海洋平台总体设计软件开发技术；第8章论述船舶浮态与船体变形耦合分析及其软件开发技术；第9章论述船舶与海洋平台结构优化设计方法与软件开发技术；第10章为总结与展望。
《软件自动化测试实战：基于开源测试工具》旨在讲述测试框架、接口测试、Web自动化测试及移动端自动化测试。本书共8章，主要内容包括为什么要实施自动化测试，Python开发环境的搭建，Python基础知识，基于Python的单元测试框架UnitTest及其应用案例，HttpRunner测试框架及其应用案例，HttpRunnerManager测试平台的搭建过程，JMeter和Postman在接口测试中的应用，Docker基础与操作实战，Selenium自动化测试框架及其应用案例，Appium自动化测试框架及其应用案例等。 《软件自动化测试实战：基于开源测试工具》适合测试人员和开发人员阅读，也可供高等院校计*机相关专业的师生阅读。
本书以民用航空机载软件适航标准制定者的视角，详细介绍了如何基于目前*版的DO-178C标准进行安全关键软件的开发与管理，给出了如何获得成功审定的实用指南。主要内容包括：在系统与安全大视野中的软件，DO-178C标准的深入解读和推荐实践，4个标准技术补充（软件工具鉴定、基于模型的开发、面向对象技术和形式化方法）的讲解说明，以及10个相关特别专题（未覆盖代码、外场可加载软件、用户可修改软件和实时操作系统等）的指导建议。
本书结合我国国土规划行业的信息化建设案例，特别是 广州市国土规划一体化信息平台 的建设实践，对国土规划信息化的技术应用和工程实践做出系统性的归纳总结。全书围绕 互联网 政务服务 要求，介绍当前国土规划信息化的政策和技术背景、国内主要城市的实践案例，以及国土规划信息资源开放共享要求；采用业务流程分析和优化方法，以 并、放、减、转、调 五大优化理念，实行国土规划业务的一体化融合再造，形成业务流程资产，走向智能审批；全面阐述 国土规划一体化信息平台 的总体设计、数据资源目录及数据仓库、业务应用平台与应用软件、基础设施环境等工程建设内容，并总结大型信息化工程的项目管理经验教训；探讨企业级全文检索、大数据等前沿技术在国土规划行业中的应用。
本书介绍了作者30多年来在信息化工作方面的成果，分为六篇。信息理论篇介绍信息系统四个有序要素构成说、基于稳定信息结构的数据规划方法、病态信息理论、信息关系论、统一信息模型和信息闭环结构。保障模型篇介绍8个经典模型及其建模过程。建设实例篇选取部分推广应用软件的非保密部分。统一方法篇针对研发中出现的一些比较普遍、主体重复的问题，给出了统一解决方法。管理工具篇介绍作者在长期工作中形成的且十分有效的管理工具。课程教学篇介绍部分小、全、精、深且卓有成效的教学案例。
《人月神话(40周年中文纪念版)》 在软件领域，很少能有像《人月神话》一样具有深远影响力和畅销不衰的著作。Brooks博士为人们管理复杂项目提供了具洞察力的见解，既有很多发人深省的观点，又有大量软件工程的实践。本书内容来自Brooks博士在IBM公司SYSTEM／360家族和OS／360中的项目管理经验，该项目堪称软件开发项目管理的典范。该书英文原版一经面世，即引起业内人士的强烈反响，后又译为德、法、日、俄、中、韩等多种文字，全球销售数百万册。确立了其在行业内的经典地位。 在本书出版40年后的今天，我们重新整理了Brooks博士的经典内容，并将国内软件开发领域先行者们对《人月神话》中的实践及系统理论的使用经验和心得集结成册免费赠与大家共享，更使本书成为国内从业者的经典之一。 本书读者包括：软件开发人员、软件项目经理、系
本书是软件工程领域的经典著作，自第1版出版至今，几十年来在软件工程界产生了巨大而深远的影响。本书涵盖软件过程、建模、质量管理、项目管理等主题，对概念、原则、方法和工具的介绍细致、清晰且实用。
《重构 改善既有代码的设计 第2版 全彩精装版》是《重构》出版20年后的更新版。书中清晰揭示了重构的过程，解释了重构的原理和实践方式，并给出了何时以及何地应该开始挖掘代码以求改善。书中给出了60多个可行的重构，每个重构介绍了一种经过验证的代码变换手法的动机和技术。本书提出的重构准则将帮助开发人员一次一小步地修改代码，从而减少了开发过程中的风险。 《重构 改善既有代码的设计 第2版 全彩精装版》适合软件开发人员、项目管理人员等阅读，也可作为高等院校计算机及相关专业师生的参考读物。
《人月神话(40周年中文纪念版)》 在软件领域，很少能有像《人月神话》一样具有深远影响力和畅销不衰的著作。Brooks博士为人们管理复杂项目提供了具洞察力的见解，既有很多发人深省的观点，又有大量软件工程的实践。本书内容来自Brooks博士在IBM公司SYSTEM／360家族和OS／360中的项目管理经验，该项目堪称软件开发项目管理的典范。该书英文原版一经面世，即引起业内人士的强烈反响，后又译为德、法、日、俄、中、韩等多种文字，全球销售数百万册。确立了其在行业内的经典地位。 在本书出版40年后的今天，我们重新整理了Brooks博士的经典内容，并将国内软件开发领域先行者们对《人月神话》中的实践及系统理论的使用经验和心得集结成册免费赠与大家共享，更使本书成为国内从业者的经典之一。 本书读者包括：软件开发人员、软件项目经理
本书是国内当前集中介绍软件调试主题的权威著作。本书第2 卷分为5 篇，共30 章，主要围绕Windows系统展开介绍。*篇（第1~4 章）介绍Windows 系统简史、进程和线程、架构和系统部件，以及Windows系统的启动过程，既从空间角度讲述Windows 的软件世界，也从时间角度描述Windows 世界的搭建过程。第二篇（第5~8 章）描述特殊的过程调用、垫片、托管世界和Linux 子系统。第三篇（第9~19 章）深入探讨用户态调试模型、用户态调试过程、中断和异常管理、未处理异常和JIT 调试、硬错误和蓝屏、错误报告、日志、事件追踪、WHEA、内核调试引擎和验证机制。第四篇（第20~25 章）从编译和编译期检查、运行时库和运行期检查、栈和函数调用、堆和堆检查、异常处理代码的编译、调试符号等方面概括编译器的调试支持。第五篇（第26~30 章）首先纵览调试器的发展历史、工作模型和经
本手册按门类将铲土运输机械分为装载机、推土机、平地机、自卸车、铲运机，分5篇进行介绍，共11章。第1篇为装载机，分3章，分别介绍轮式装载机、履带式装载机和装载挖掘两用机； 第2篇为推土机，分2章，分别介绍履带式推土机和轮式推土机； 第3篇为平地机，分2章，分别介绍自行式平地机和拖式平地机； 第4篇为自卸车，分2章，分别介绍非公路自卸车和公路运输自卸车； 第5篇为铲运机，分2章，分别介绍柴油发动机驱动铲运机和电动铲运机。本手册针对广大铲土运输机械行业工作者对设备选型、应用和维护管理的需要，每章重点阐述典型产品的定义、用途、国内外发展概况和趋势、分类、基本结构、工作原理、相关标准、主要技术参数与性能、产品型号、选用原则、安全使用规范、常见故障及排除方法等。本手册内容与相关的工程机械产品设计手册、设计
《产品经理方法论 构建完整的产品知识体系》 本书系统地介绍了产品经理需要掌握的知识，包括产品的基本概念、撰写产品文档的方法、绘制流程图的方法、绘制产品原型图的方法、研究和分析用户的方法、管理需求的方法、设计产品的方法、分析数据的方法、理解技术的思路、管理项目的方法、产品设计实践、产品学习方法等。 本书适合产品经理或想要成为产品经理的读者阅读。 《产品经理方法论 通用的产品设计》 本书结合案例介绍了产品经理需要用到的各种产品设计方法和思路，帮助读者将从本书所学到的知识灵活地运用到自己的工作中。本书主要内容包括产品原型设计过程中输入、反馈、输出等类型控件的使用方法，产品原型的设计方法，通用的产品功能设计方法，通用的产品逻辑，基础系统产品的设计思路，通用的产品体系，通用的产品设计方法，
