软件开发与编程技术涵盖智能化软件开发、程序分析、软件架构、DevOps、编程语言与安全等核心研究方向 2026年1月15日 Software Engineering, Programming AI4SE, 程序分析与验证, 软件架构