软件构建

软件工程之形式化说明技术深度解析按照形式化的程度，可以把软件工程使用的方法划分成非形式化、半形式化和形式化3种。用自然语言描述需求规格说明书，是典型的非形式化方法。用数据流图或实体-联系图建立模型，是典型的半形式化方法。

软件工程之面向对象分析深度解析前文基础：1.软件工程学概述：软件工程学概述-CSDN博客2.软件过程深度解析：软件过程深度解析-CSDN博客

开源AI开发工具：OpenAI Codex CLIOpenAI Codex CLI是一款开源命令行工具，可将我们最新推理模型的强大功能直接带到您的终端。它充当轻量级的编码代理，可以在您的本地计算机上读取、修改和运行代码，从而帮助您更快地构建功能、修复错误并理解不熟悉的代码。由于 CLI 在本地运行，因此除非您选择共享，否则您的源代码永远不会离开您的环境。

UML 活动图深度解析：以在线购物系统为例目录一、UML 活动图的基本构成要素二、题目原型三、在线购物系统用户购物活动图详细剖析（一）概述（二）节点分析

UML 状态图：以共享汽车系统状态图为例目录一、初识 UML 状态图二、共享汽车系统状态图详解（一）初始状态与车辆空闲状态（二）用户预定相关状态

holly_交易系统

如何开发一套TRS交易系统：架构设计、核心功能与风险控制TRS（总收益互换）作为场外衍生品的重要工具，近年来在跨境投资、杠杆交易和风险对冲领域备受关注。2021年Archegos资本因TRS交易爆仓导致百亿美元级市场震荡，凸显了TRS系统设计的关键性。本文将从技术实现角度，解析TRS交易系统的核心架构、功能模块及风控实践。

网上图书销售系统 UML 状态图解析：触发器事件、动作与监视条件目录一、系统概览二、状态图核心要素解析（一）登录认证模块（二）浏览状态模块（三）购物车管理模块（四）结算模块

贝塔实验室

基于XC7V690T的在轨抗单粒子翻转系统设计本文介绍一种基于XC7V690T 的在轨抗单粒子翻转系统架构;其硬件架构主要由XC7V690TSRAM 型FPGA芯片、AX500反熔丝型FPGA 芯片以及多片FLASH 组成;软件架构主要包括AX500反熔丝型FPGA对XC7V690T进行配置管理及监控管理,对XC7V690T进行在轨重构管理,XC7V690T通过调用内部SEMIP核实现对配置RAM 资源的自主监控和维护。

UML 状态图：陪伴机器人系统示例目录一、状态图的基本概念1.1 状态1.2 转换1.3 动作二、陪伴机器人系统状态图解析2.1 初始与待机状态

UML 状态图：解锁电子图书馆管理系统的高效设计目录一、UML 状态图的核心要素状态：系统行为的 “栖息地”转换：连接状态的 “桥梁”动作：赋予功能的 “实践者”

【嵌入式系统设计师（软考中级）】第一章：计算机系统基础知识(中)略，二进制的基本加减乘除和十进制没什么区别，没啥好说的。逻辑表达式化简化简方法代数法：应用逻辑定律逐步化简

设计模式之工厂模式(factory pattern)：在商品对象创建系统中的应用目录一、设计思路1. 简单工厂模式2. 工厂方法模式3. 抽象工厂模式二、UML类图（PlantUML格式）

电子科技圈

IAR推动嵌入式开发：云就绪、可扩展的CI/CD和可持续自动化全球领先的嵌入式系统开发软件解决方案供应商IAR正式发布全新云就绪平台，为嵌入式开发团队提供企业级的可扩展性、安全性和自动化能力。该平台于在德国纽伦堡举办的embedded world 2025展会上正式亮相，标志着将现代DevSecOps工作流集成到嵌入式软件开发中已迈出了重要一步。

Chapter 7: Compiling C++ Sources with CMake_《Modern CMake for C++》_NotesKey Points:Code Example - Basic Compilation Flow:a. Include Directories

不会编程的懒洋洋

软考笔记9——数据库技术基础也称存储模式，是数据物理结构和存储方式的描述，是数据在数据库内部的表示方式，定义所有的内部记录类型、索引和文件的组织方式以及数据控制方面的细节。一个数据库只有一个内模式。对应数据库中的物理存储文件。

江湖人称菠萝包

【CMake】《CMake构建实战：项目开发卷》笔记-Chapter8-生成器表达式生成器表达式（generator expression）是由CMake生成器进行解析的表达式，因此，这些表达式只有在CMake的生成阶段才被解析为具体的值。

江湖人称菠萝包

【CMake】《CMake构建实战：项目开发卷》笔记-Chapter3-基础语法使用CMake工具构建项目的第一步是编写CMake目录程序，目录程序主要用于描述项目的结构，包括对构建目标的定义及其相互依赖关系的定义等。同时，在CMake目录程序中还可以检测系统环境来配置项目的编译条件、生成源文件等。CMake目录程序需要使用CMake脚本语言来编写，因此熟练掌握CMake脚本语言的语法是学习CMake工具过程中基础而重要的一步。

探索MVC、MVP、MVVM和DDD架构在不同编程语言中的实现差异模型-视图-控制器（Model-View-Controller，简称 MVC）是一种经典软件架构设计，通过分层解耦，使得系统结构清晰和易于维护，具有良好的可扩展性。MVC 适用于需要清晰分离用户界面、业务逻辑和数据管理的应用场景。随着MVC的发展，还衍生出了MVP、MVVM以及领域驱动设计（DDD）等架构，这些都是为了让庞大的系统变得简单，易于人们理解。

AI代理到底怎么玩？AI Agent是能够执行任务或决策的软件程序，利用AI技术如大型语言模型（LLM）理解自然语言并与用户或系统交互。RAG是一种技术，通过从外部知识库检索信息增强语言模型的生成能力，确保响应更准确和最新。

实战设计模式之解释器模式作为一种行为设计模式，解释器模式提供了一种方法来定义语言的文法规则，并通过这些规则解析和处理特定类型的语言句子。简单来说，解释器模式允许我们定义一个代表某种语言中语法规则的对象结构，从而能够根据这些规则理解并处理语言中的表达式。