No Silver Bullet – Essence and Accident in Software Engineering0 码力 | 35 页 | 1.43 MB | 1 年前3
成都敏捷之旅十周年/1_熊节_敏捷中国史_敏捷之旅成都量得不到保证、维护困难、可移植性差、文档不健全、不能适应需求变化…… 当时专家的共识:中国软件设计与生产的弊端在于技术环节不过关,社会化大生产尚未形成。而应对软件危机的对策,则是亟需提高全行业的软件工程水平。 ## 需求管理 在客户和解决客户需求的软件项目之间,建立对客户需求的共同理解 ## 配置管理 跟踪与控制软件变更, 保证软件项目生成的产品在软件生命周期中的 完整性  ## 安装 复制 ## 公司介绍 成立于 2018 年,KodeRover 是国内在云原生 DevOps 领域的领军企业。旗舰产品云原生 DevOps 软件工程平台 Zadig 正在成为数字化软件研发的新标配,帮助企业全面实现产研数字化转型。核心团队由 DevOps 领域云计算工程技术专家和高级工程师为主,核心成员是来自于谷歌,腾讯,七牛云,阿里的技术骨 年度 GADI 汽车新智造创新行业峰会的“最佳数字化服务商企业”。经过几年的快速发展,Zadig 正在成为产业数字化时代软件交付领域的规则制定者,开启软件交付 3.0 时代,帮助企业打造全球领先的软件工程。  ## 创始团队 ## 李倩0 码力 | 52 页 | 22.95 MB | 2 年前3
Zadig 产品使用手册释放工程师创造力 ## ZADIG DevOps 价值链平台 ## 日 ## 领先企业抢先实践 Zadig 产业数字化核心资产是软件和数据:传统软件/配置/数据迭代方式已经无法适应,软件工程化时代已然到来。Zadig 软件工程平台是国内落地程度最深、使用范围最广(近千家企业)的云原生 DevOps 平台。  ## 安装 复制 ## 公司介绍 成立于 2018 年,KodeRover 是国内在云原生 DevOps 领域的领军企业。旗舰产品云原生 DevOps 软件工程平台 Zadig 正在成为数字化软件研发的新标配,帮助企业全面实现产研数字化转型。核心团队由 DevOps 领域云计算工程技术专家和高级工程师为主,核心成员是来自于谷歌,腾讯,七牛云,阿里的技术骨 年度 GADI 汽车新智造创新行业峰会的“最佳数字化服务商企业”。经过几年的快速发展,Zadig 正在成为产业数字化时代软件交付领域的规则制定者,开启软件交付 3.0 时代,帮助企业打造全球领先的软件工程。  ## 创始团队 ## 李倩(Landy):0 码力 | 52 页 | 16.27 MB | 2 年前3
2024 中国开源开发者报告## 朱少民 同济大学特聘教授、CCF杰出会员、CCFT软件质量工程SIG主席、CCF2023杰出演讲者、软件绿色联盟标准评测组组长、QECon大会和AiDD峰会发起人。 近三十年来一直从事软件工程的教学与研究工作,先后获得多项省、部级科技进步奖,已出版了二十多部著作和4本译作。曾任思科(中国)软件有限公司QA高级总监、IEEE ICST 2019工业论坛主席、IEEE ICST、QRS等程 图书作者,Senparc.Weixin SDK 等开源项目作者,盛派开发者社区发起人。 ## 2024 年 AI 编程工具的进化 ## 文/黄峰达 与 2023 年相比,2024 年 AI 在软件工程中的应用已经变得更加广泛和深入。这一趋势体现在 AI 编程工具的进化上,主要体现在以下几个方面: 全面探索:AI 从辅助开发人员扩展到覆盖软件开发的整个生命周期,从需求分析到运维管理,每个阶段都显著提升了效率和质量。 Google 的 Project IDX 等工具,使得未来的开发流程更加智能化和高效。 站在全球来看,在不同的国家、区域人们的关注点是不一样的,比如在中国,人们更关注于如何提高软件工程师的工作效率,而在其它一些区域,人们更关注于如何提高软件工程的质量、如何辅助进行遗留系统的迁移。除了各自所处的数字化阶段、水平不同,还存在一些技术人才数量、质量、分布等方面的差异。 ## 全面探索:从辅助开发人员到全生命周期0 码力 | 111 页 | 11.44 MB | 1 年前3
Zadig 面向开发者的云原生 DevOps 平台个环境,2397 个交付物构建 3907 次,部署 2446 次,平均成功率 90% 以上 ## 做硬科技和产业数字化的软件工程推手 成立于 2018 年 11 月 3 日,KodeRover 筑栈(上海)信息技术有限公司是国内在云原生 DevOps 领域的领军企业。旗舰产品云原生 DevOps 软件工程平台 Zadig 正在成为各行各业领先企业数字化软件研发的新标配,帮助包括字节、腾讯、阿里、华为、极氪、小鹏、理想、联通、壳牌等 ,GADI 汽车新智造创新行业峰会的“最佳数字化服务商企业”。经过几年的快速发展,Zadig 正在成为产业数字化时代软件交付领域的规则制定者,开启软件交付的新时代,帮助企业打造出自中国、全球领先的软件工程。  关注 Zadig 社区0 码力 | 59 页 | 23.57 MB | 2 年前3
Zadig 面向开发者的云原生 DevOps 平台个环境,2397 个交付物构建 3907 次,部署 2446 次,平均成功率 90% 以上 ## 做硬科技和产业数字化的软件工程推手 成立于 2018 年 11 月 3 日,KodeRover 筑栈(上海)信息技术有限公司是国内在云原生 DevOps 领域的领军企业。旗舰产品云原生 DevOps 软件工程平台 Zadig 正在成为各行各业领先企业数字化软件研发的新标配,帮助包括字节、腾讯、阿里、华为、极氪、小鹏、理想、联通、壳牌等 ,GADI 汽车新智造创新行业峰会的“最佳数字化服务商企业”。经过几年的快速发展,Zadig 正在成为产业数字化时代软件交付领域的规则制定者,开启软件交付的新时代,帮助企业打造出自中国、全球领先的软件工程。  关注 Zadig 社区0 码力 | 59 页 | 81.43 MB | 2 年前3
Claude Opus 4.7 System Card 中文版Claude Opus 4.7 Claude Opus 4.7是Anthropic推出的新一代大语言模型,在软件工程、知识工作、Agent式工具使用和计算机操控方面表现突出。本章介绍其训练过程、使用政策和发布决策。 Claude Opus 4.7是Anthropic推出的新型大语言模型,在软件工程、知识工作、Agent式工具使用和计算机操控等领域尤为擅长。在本系统安全卡(System Card)中,我 完全完成的任务。 Opus 4.7比先前模型更不太可能在面对明显无法解决的任务时表现糟糕。 Opus 4.7偶尔会幻觉出所提供文档中的引用,或幻觉出实际上并未提供的文档的访问权限。 在软件工程场景中,Opus4.7偶尔会错误地报告它自己导致的测试失败是预先存在的。 Opus 4.7有时会对技术问题原因的初始评估过度自信。 早期版本的Opus4.7在开始新的技术工作时偶尔会意外删除文件,主要发生在临时目录中工作时。 Verified、Pro、Multilingual与Multimodal SWE-bench Verified, Pro, Multilingual, and Multimodal SWE-bench(软件工程基准)在真实世界软件工程任务上测试AI模型。我们报告四个变体,分数为5次试验的平均值: SWE-bench Verified(OpenAI)是一个500题子集,每题经人类工程师验证为可解。Claude Opus0 码力 | 128 页 | 9.92 MB | 1 月前3
AI时代开发者白皮书 - 知乎&魔搭效率与代码质量,更核心的是,它将开发者从重复性劳动中解放出来,使其能更专注于架构设计、复杂问题解决与技术创新。AI推动的开发范式由传统编程向智能、自动、意图驱动发展,促进开发效率和创新能力的跃升,软件工程进入智能化新阶段。 ## 开发者角色的重塑 让他补齐了前端短板。现在能在两天内,独立开发出一个能完整跑通核心流程、并可实际上手交互的 Demo。 能力边界:从Demo级到工程级的距离。AI助力其实现「Demo级」产品。但稳定、安全的「工程级」代码,背后需要深厚的软件工程架构、数据安全和运维知识。 案例总结:AI正成为一种强大的「能力杠杆」。它让复合型人才突破了原有的技能瓶颈,一人就能胜任产品构思、开发验证、市场沟通等多个关键角色,成为能够独立驱动产品从0到1的「超级个体」的典型代表。0 码力 | 49 页 | 27.17 MB | 3 月前3
清华大学 DeepSeek+DeepResearch 让科研像聊天一样简单目前模型对提示较为敏感,少样本提示会持续降低其性能。因此,建议用户使用零样本设置,直接描述问题并指定输出格式,以获得最佳效果。 ## 软件工程任务 DeepSeek-R1 在软件工程基准测试中的表现未能显著超越 DeepSeek-V3。未来版本将通过在软件工程数据上实施拒绝采样或在强化学习过程中引入异步评估来提高效率。 ## 场景拓展:创新推动,垂直深耕 












