pengxin_ce-优快云博客

原创提示词软件危机——Agentic AI系统的工程化挑战

目标导向的需求工程是一种要求人类分析师在项目开始前，就必须把系统所有目标以及子目标全部定义清楚的方法论，其著名的实现有KAOS——它提供了一套高度形式化的语言，用来构建和分析这个目标模型，确保其在设计时就完备、无冲突。然而，传统MAPE-K 的核心是自适应而非自演化的，其K库是静态的，由人来维护。这还不是最致命的，当行业为不断出现的能力更强、参数量更大的新版本大模型欢呼时，Agentic AI的开发者们却陷入了一个噩梦：由于AI智能体过于依赖自然语言提示，模型的改变有时会给Agent带来负优化。

2025-12-02 10:48:28 257

转载活动预告｜CodeWisdom软件供应链系列学术报告第10期:Web3中的软件供应链安全

2025年12月8号10:00～11:00。江湾校区交叉学科楼A3009。会议号：163219804。会议密码：955115。

2025-12-01 16:39:43 1

原创智能化软件开发微访谈·第四十期从FDE看AI应用落地实践模式

CodeWisdom从FDE看AI应用落地实践模式微访谈背景介绍 Palantir的FDE（Foward Deployed Engineer，前线部署工程师）模式近期成为AI领域热议焦点，其核心是通过技术专家深度驻场客户，将复杂的数据整合与业务需求转化为可落地的AI解决方案。这一模式爆红的背后，正是AI应用面临的“非标诅咒”——从实验室到生产环境的“最后一公里”难题。FDE通过“产品化咨询”平衡个性化与规模化成为Palantir区别于传统AI公司的关键。FDE模式为AI落地提供了新范式：它不仅是Pal

2025-11-19 10:38:51 1114

转载活动预告｜智能化软件开发微访谈·第四十期从FDE看AI应用落地实践模式

以通义千问大模型为基础，赋能软件开发，角色对话，办公效率，智能司法等行业合作伙伴。腾讯Tech Lead，腾讯研究院特约研究员，腾讯集团技术委员会委员，中国计算机学会（CCF）TF研发效能SIG主席，“软件研发效能度量规范”团体标准核心编写专家，中国商业联合会互联网应用技术委员会智库专家，中国通信标准化协会TC608云计算标准和开源推进委员会云上软件工程工作组副组长，国内外各大技术峰会的联席主席，出品人和Keynote演讲嘉宾，公众号“茹炳晟聊软件研发”主理人，二十余本技术畅销书的作者和译者。

2025-11-13 10:44:04 91

转载【EASE’26】CORE A· CCF C 级国际软件工程盛会，将于英国·苏格兰·格拉斯哥隆重召开！

EASE 2026 将于历史悠久的格拉斯哥大学（University of Glasgow）举行 —— 这所建于 1451 年的学府，是世界上第四古老的英文大学，以哥特式建筑与开创性的科研闻名于世。从宏伟的凯尔文格罗夫艺术博物馆（Kelvingrove Art Gallery and Museum）到现代的克莱德弧桥（Clyde Arc Bridge），EASE 长期以来汇聚了来自全球的学者与业界专家，是展示软件工程领域最新成果的重要学术平台。在这座融合传统与创新的城市，学术与思想的火花将再次闪耀。

2025-11-06 10:36:16 38

原创追赶天门山的云——复旦大学CodeWisdom 战队世界 AI 竞速锦标赛纪实

点击蓝字关注我们复旦大学软件工程实验室 CodeWisdom智能汽车战队🏁 HITCH OPEN00前言在复旦的秋天，风不会轻易说话，但它会把某些消息送得很远——我们要带着一套在电脑里跑得完美的自动驾驶系统，驶向张家界天门山的真实赛道。这是 HitchOpen 世界 AI 竞速锦标赛的决赛：10.77 公里、99 道弯、三条隧道，从仿真到实车，一切都重新开始。湖南省张家界市天门山99道弯赛道我们是软件工程的实践者，却要在山里解决信号漂移、雷达反射、雨雾干扰、电路受潮这些“物理世界的 Bug”。当 GNS

2025-11-05 08:01:18 1035

转载从“贫嘴张大民的小屋”说起：再论软件开发的系统复杂性

熟悉我的朋友知道，我一直在强调大模型在复杂软件开发中的局限性，特别是系统复杂性的挑战和软件设计的难题。去年10月份我所写的《大模型时代的软件智能化开发：我们在哪里？该往何处走？》这篇文章比较全面地论述了我在这些方面的思考，特别是软件形态的多样性、软件的系统复杂性、软件开发的探索性所带来的问题和挑战。今年6月份我专门针对系统复杂性这一问题写了一篇文章《代码数字孪生：回归软件的复杂系统属性》，其中特别论述了为什么“大模型一锅炖”的思路（即将复杂软件开发问题的解决寄希望于大模型自身能力的提升和输入窗口

2025-11-03 08:01:36 30

原创 VLA遇见Ctrl+Z：让具身智能更“皮实”的工程学思路

实验证明，这一巧妙的工程学方法，在零训练成本增加的情况下，能将机器人的长程任务成功率提升数倍，为构建更“皮实”、更可靠的智能机器人系统提供了一条新路径。在Libero虚拟环境中，我们为机器人设计了数十种不同难度的“考题”——从简单的“抓起瓶子”，到复杂的“把指定颜色的杯子放进微波炉并关上门”。我们的研究，正是尝试将软件工程这种“管理错误”的智慧，应用到前沿的机器人AI系统中。我们认为，与其无休止地教AI模型去“认识”每一个可能的错误，不如为它建立一个“安全网”，在它犯错时，能及时地“拉它一把”。

2025-10-23 08:03:17 377

转载 CCF中国软件大会智能化IDE研究与实践

腾讯Tech Lead，腾讯研究院特约研究员，腾讯集团技术委员会委员，中国计算机学会TF研发效能SIG主席，腾讯云架构师技术同盟入会成长主席，中国通信标准化协会TC608 云计算标准和开源推进委员会云上软件工程工作组副组长，中国商业联合会互联网应用技术委员会智库专家，复旦大学CodeWisdom团队博士生，“软件研发效能度量规范”团体标准核心编写专家，国内外各大技术峰会的联席主席、出品人和 Keynote演讲嘉宾，公众号“茹炳晟聊软件研发”主理人，二十余本计算机专业图书的作者和译者。

2025-10-22 08:00:36 96

转载 CCF中国软件大会云原生与智能化运维论坛

本论坛将邀请学术界与工业界专家分享最新研究与大规模实践，通过主题报告与圆桌讨论，系统探讨方法与系统、工程与治理、评测与实践的协同演进，推动云原生底座上的智能化运维迈向可持续、可度量、可复用的新范式。在此背景下，一套全面、系统的智能体系统运维方案已成为行业迫切需求，本报告讲重点涵盖AgentOps（Agent System Operations），并对其四大核心阶段（监控、异常检测、根因分析、故障消除）进行定义与可用方法介绍，系统的综述现有多智能体系统可能存在的异常和故障类型，并探讨可落地的技术方向。

2025-10-21 16:36:11 658