CCF软件大会2026|《软件学报》智能化需求工程专刊征文通知

论坛介绍

近年来，软件系统正经历从“人机交互”向“人机物融合”的根本性变革，智能组件（如大模型、多智能体系统、具身智能等）的广泛融入进一步加剧了这一变革的深度与广度，需求工程作为软件开发的首要环节，亟需实现自身的智能化转型。这一转型体现在三个层面：在方法层面，需要引入大语言模型等人工智能技术，实现需求获取、分析与建模的智能化（AI4RE），同时也需要需求工程方法反向指导AI智能体的可信行为（RE4AI）；在知识层面，需要将过去三十年积累的散落实证知识转化为结构化、可复用的知识资产，推动学科从经验驱动走向知识驱动；在范式层面，需要探索以可执行规约（Spec）为契约的规约驱动开发新模式，实现需求到代码的全流程可追溯与自动化。

本专刊立足于上述需求，聚焦智能化需求工程的前沿研究成果，特别是：（1）需求工程与人工智能的双向赋能（AI4RE与RE4AI）；（2）需求工程知识的结构化组织与智能化复用；（3）面向规约驱动开发的需求工程新范式等基础性问题。本专刊将重点关注具有创新性和突破性的高水平研究成果，探讨相关基础理论、关键技术，以及在工业实践中关于需求工程方法、工具与系统设计原理、范式、架构、经验等方面的实质性进展，关注其在航空航天、智能网联汽车、智能制造、智慧城市、金融科技等关键领域复杂软件系统开发中的应用前景。

经过第一轮评审的论文作者需要参加ChinaSoft2026会议并到会报告，之后特约编辑和编辑部根据复审情况和会议报告情况决定文章的最终结果，专刊将在2027年第8期出版。读者群体包括需求工程、软件工程、人工智能等多个领域的研究人员和工程人员。

• 专刊题目：智能化需求工程
• 特约编辑：陈小红（华东师范大学）张莉（北京航空航天大学）金芝（武汉大学）李佳（武汉大学）
• 出版时间：2027年第8期

一、征文范围

包括但不限于以下主题：

• 1. 智能化需求工程：AI4RE与RE4AI
• 基于AI的需求获取与分析
• 需求建模的智能化
• 需求质量的智能化评估
• AI4RE工具的可复用参考架构、标准化与生态系统构建
• 生成式AI在需求工程中的效能边界、提升策略与实证评估
• 利用需求工程方法指导AI智能体行为（如Prompt生成、优化与验证）
• 面向AI智能体的需求获取、规约与建模方法
• 需求驱动的AI智能体持续演化与自适应
• AI系统的需求验证、行为对齐与可信保障（如可解释性、公平性、安全性、隐私保护等非功能需求）
• 2. 需求工程的知识工程化
• 需求工程实证数据结构化组织、深度分析与知识复用
• 需求工程历史数据（如RE会议论文、工业案例）的可发现、可复用、可重演方法
• 生成式AI辅助实验发现与需求工程实证研究的自动化
• 需求知识的形式化表示、推理与演化规律挖掘
• 需求知识库的构建、演化与质量评估方法
• 需求工程知识的语义检索与智能推荐方法
• 3. 面向新兴范式的需求工程：规约驱动开发（Spec-Driven Development）
• 规约驱动开发中的需求获取与规约化
• 规约作为需求与开发契约的管理方法
• 规约层面的需求验证与确认
• 规约驱动下的需求演化与追溯
• 智能化方法赋能需求规约
• 规约与非形式化需求的一致性维护
• 规约驱动开发中的需求工程实践
• 规约驱动开发中的需求变更管理
• 面向规约的需求可追溯性建模
• 规约驱动开发中的需求质量评估
• 4. 其他智能化需求工程相关主题
• 人机物融合系统、自适应系统、机器人系统、多智能体系统等新型软件形态的需求工程
• 需求工程中的不确定性处理、动态演化与跨域协同（即不同物理空间、不同管理系统、不同智能体之间的协作与互操作）
• 需求工程与软件架构的智能化联动
• 需求工程与代码实现的智能化协同
• 需求工程与软件质量保障、软件测试的智能化联动
• 工业界大规模复杂软件系统的需求工程实践、痛点与解决方案
• 面向特定领域（如航空航天、汽车电子、智能制造、智慧城市）的智能化需求工程应用

二、投稿要求

• 1. 投稿方式：
  采用“软件学报在线投稿系统”（http://www.jos.org.cn）投稿。投稿时请选择投稿类型为“专刊投稿”，并在备注栏中注明“智能化需求工程”字样。
• 2. 稿件格式：
  参照《软件学报》论文格式（网站上提供了论文模版，可下载）。
• 3. 投稿要求：
  投稿文章未在正式出版物上发表过，也不在其他刊物或会议的审稿过程中，不存在一稿多投现象；保证投稿文章的合法性（无抄袭、剽窃、侵权等不良行为）。
• 4. 其他事项：
  请参阅投稿指南 http://www.jos.org.cn/ch/reader/view_fixed_content.aspx?id=instructions
• 5. 投稿声明及费用：
  投稿作者需提交投稿声明；专刊投稿文章不收审理费。录用刊发文章收取软件学报标准版面费。发表之后，将按软件学报标准支付稿酬，并赠送样刊。
• 6. 学术报告要求：
  通过第一轮评审的论文作者，需在ChinaSoft 2026上做学术报告，根据论文修改情况和会议报告情况终审确定是否录用。

三、重要时间

• 收稿截稿时间：
  2026年8月17日
• 第一轮结果通知日期：
  2026年10月6日
• 提交修改稿时间：
  2026年10月21日
• ChinaSoft 2026作报告日期：
  2026年11月6-8日
• 最终结果通知：
  2026年11月30日
• 出版时间：
  2027年第8期