当代码变得丰富时:围绕编排与验证重新定义软件工程
When Code Becomes Abundant: Redefining Software Engineering Around Orchestration and Verification
AI总结:
本文提出软件工程应从代码构建转向以意图表达、架构控制和验证为核心,重新定义软件工程的学科方向。
摘要:
软件工程(SE)同时面临人工智能自动化(降低代码生产成本)和硬件能源约束(加剧失败成本)的压力。我们主张SE必须围绕人类判断力、意图表达、架构控制和验证重新定义,而不是代码构建。这种转变将问责崩溃作为核心风险,并要求对研究重点、教育课程和工业实践进行根本性改变。我们主张,传统上围绕代码构建和过程管理定义的软件工程已不再足够。相反,学科必须围绕意图表达、架构控制和系统验证重新定义。这种重新定义将软件工程从以生产为导向的领域转变为以自动化下的人类判断为中心的领域,对研究、实践和教育都有深远影响。
英文摘要:
Software Engineering (SE) faces simultaneous pressure from AI automation (reducing code production costs) and hardware-energy constraints (amplifying failure costs). We position that SE must redefine itself around human discernment-intent articulation, architectural control, and verification-rather than code construction. This shift introduces accountability collapse as a central risk and requires fundamental changes to research priorities, educational curricula, and industrial practices. We argue that Software Engineering, as traditionally defined around code construction and process management, is no longer sufficient. Instead, the discipline must be redefined around intent articulation, architectural control, and systematic verification. This redefinition shifts Software Engineering from a production-oriented field to one centered on human judgment under automation, with profound implications for research, practice, and education.
机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。