软件工程方法论

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

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

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

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

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

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

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

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