软件工程方法论

在新型工业化的大背景下，软件是信息技术之魂、数字社会之基，是经济社会高质量发展的关键支撑。无处不在的软件正以跨界融合、全面渗透的新面貌席卷世界，发挥"赋能”、"赋值”、"赋智”作用，打破旧秩序，重建新秩序，孕育出一个"软件定义的世界”。本书以 "软件定义”为主题，从产生背景、深刻内涵、重大意义、广泛影响、融合应用等方面对"软件定义”进行了系统阐述，聚焦软件赋能新型工业化论述"软件定义”的产生背景，

本书是面向数字芯片设计与验证的入门书籍，是微电子相关专业的基础课程。 本书以理论基础为核心，以参考实例为主线，帮助读者迅速建立数字芯片设计和验证的概念和设计基础，包括两篇：数字电路及Verilog篇讲解数字逻辑电路基础，硬件描述语言Verilog的基础语法，对应的实例分析，以及组合逻辑电路和时序逻辑电路的设计和验证的参考实例；SystemVerilog篇讲解包括兼顾设计和验证的语言SystemVe

本书全面阐述了湖仓架构相关知识。首先介绍数据架构及其在构建数据平台中的作用，剖析湖仓架构的概念、特征和优势。接着对比传统架构（数据湖与数据仓库）和现代数据平台，明确湖仓架构在未来数据平台的重要地位。然后讲解行存储与列存储等概念，以及云对象存储、文件格式和表格式等组件，还给出设计存储时的考量因素。接着阐述数据目录、计算引擎在湖仓架构中的功能、类型选择和设计要点。在数据治理与安全方面，强调在湖仓架构中

本书系统梳理开源软件发展历程、深入剖析其治理机制、提炼国内外最佳实践案例，提供一套全面、深入、实用的开源软件治理方法论体系。全书分为上、中、下3篇，共15章，理论结合实践，层层递进。上篇为理念与方法，包括6章：首先介绍开源软件和开源软件治理的定义、现状、发展和必要性，然后详细介绍开源软件治理的总体框架，包括组织架构、流程管理、工具平台和社区运营，并从开源软件治理的全生命周期和软件供应链两方面介绍开

本书共8章，第1章概述AI（Artificial Intelligence，人工智能）系统，介绍机器学习的模型和分类，以及AI系统对测试工程师“提出”的新问题等；第2章介绍数据的处理过程，以及数据的分组方法，详细介绍依托测试数据的测试评价方法；第3章讲解模型中超参数相关的概念，以及关于模型性能的评估指标，并介绍了较为主流的模型的基准测试；第4章重点介绍AI系统的测试用例设计方法，以及传统软件测试方

随着信息技术和互联网的发展，人们逐渐从信息匮乏的时代走入了信息过载（information overload）的时代 。在这个时代，无论是信息消费者还是信息生产者都遇到了很大的挑战：对于信息消费者，从大量信息中找到自己感兴趣的信息是一件非常困难的事情；对于信息生产者，让自己生产的信息脱颖而出，受到广大用户的关注，也是一件非常困难的事情。推荐系统是解决这一矛盾的重要工具。推荐系统的任务是联系用户和信

在软件工程3.0时代，传统的软件测试正面临着根本性的转型——从流程驱动的自动化测试向智能化、认知型的大模型驱动测试演进。本书旨在系统阐述大模型如何重塑软件测试的方法论与实践，帮助测试从业者把握时代机遇，提升专业价值。内容涵盖大模型在软件测试全生命周期中的应用，从理论层面探讨了理论框架与技术基础，从实践层面详细介绍了大模型如何赋能测试需求分析、测试用例设计、自动化脚本生成、非功能测试以及测试管理等核

本书自第1版出版至今，近40年来在软件工程界产生了巨大而深远的影响。第9版继承了之前版本的风格与优势，全面系统地讲解软件过程、建模、质量与安全、软件项目管理等知识，涵盖相关的概念、原则、方法和工具，并且提供了丰富的扩展阅读资源和网络资源。同时，本书调整了篇章结构，使内容更加简洁，更适于教学。本书是面向本科生的版本，保留了完整版中的基础内容，压缩或删除了一些高级内容，更加适合作为高等院校计算机、软件

本书以步骤图解和视频微课等方式展现了用Blender软件进行三维造型设计的相关知识和技能，主要内容包括：Blender与3D打印的基础入门，Blender与3D打印的进阶内容，Blender与3D打印的高阶内容。每个案例均配有相应的教学视频，方便读者自学和培训。通过对本书的学习，读者不仅可以精准掌握Blender的核心造物功能，包括三维设计、渲染、骨骼绑定、动画等，还可以了解3D打印的操作流程。

短短几年时间，Scrum跃升为敏捷*方法，在全球各地得以普遍应用。针对如何用好、用巧这个看似简单的框架，本书以通俗易懂的语言、条理清晰的脉络阐述和提炼出Scrum的精髓。全书共4部分23章，阐述了七大核心概念：Scrum框架，敏捷原则，冲刺，需求和用户故事，产品订单，估算与速率，技术债；五大角色：产品负责人，ScrumMaster，开发团队，Scrum团队结构，经理：Scrum规划原则及四大规划活

《Stata计量经济学与实证研究应用》专为零基础读者编写，旨在帮助普通高校经管专业类学生轻松学习计量经济学与Stata操作。内容涵盖线性回归、离散选择模型、时间序列、面板数据、PSM、DID等主流计量经济学方法，打造出从“零基础入门”到“撰写学术论文”的一站式学习路径。《Stata计量经济学与实证研究应用》分为四大部分，共10章。第一部分（第1章和第2章）介绍计量经济学概述和Stata基本操作。第

ANSYS Fluent软件是目前国际上主流的商业CFD软件，只要涉及流体、热传递及化学反应等工程问题，都可以用该软件进行求解。本书通过大量实例系统地介绍了Fluent 2024的使用方法。 全书共12章，首先讲解了计算流体力学的基础理论与Fluent的基本情况，随后针对Fluent可以解决的流体仿真问题，包括稳态模拟、瞬态模拟、内部流动、外部流动、离散相模拟、传热流动、多孔介质和气动噪声、动网格