面向软件工程研究与实践,包括需求、设计、开发、测试、维护、质量、经验研究和软件工程教育。
CCF-C 会议 - 软件工程与系统软件
软件工程、系统软件、服务计算、形式化方法、维护测试与软件质量方向的 CCF 推荐会议。
面向软件工程评估与实证研究,包括实验、调查、案例研究、证据综合、度量、方法论和工业评估。
面向复杂计算机系统工程,包括需求、架构、建模、验证、测试、演化、安全和复杂系统实践。
面向软件测试、验证与确认,包括测试生成、自动化测试、形式验证、可靠性、安全测试、AI 测试和工具。
面向系统与软件性能分析,包括性能测量、建模、模拟、基准、体系结构/编译器/运行时性能和工具。
面向源代码分析与变换,包括程序分析、重构、克隆检测、漏洞检测、代码生成、软件维护和工具。
面向计算机软件与应用,包括软件工程、系统、AI 应用、网络服务、安全、数据技术和软件实践。
面向形式化工程方法,包括形式规约、验证、建模、测试、定理证明、模型检查和工程应用。
面向软件服务工程,包括服务软件、云服务、API、服务组合、微服务、DevOps、服务质量和服务应用。
面向软件与系统过程,包括过程建模、敏捷/DevOps、组织实践、过程改进、经验研究和社会技术过程。
面向软件工程与知识工程交叉,包括知识驱动开发、软件过程、AI 软件工程、知识管理和系统应用。
面向软件质量、可靠性与安全,包括测试、验证、容错、安全保障、可信软件、质量评估和工程实践。
面向软件复用,包括组件、产品线、架构复用、库/API、可复用资产、开源复用和生成式复用。
面向 Web 工程,包括 Web 应用开发、模型、服务、前端/后端架构、Web 数据、用户体验和可信 Web。
面向软件模型检查和形式验证,包括状态空间探索、静态/动态验证、并发系统、工具和案例研究。
面向自动化验证与分析技术,包括模型检查、定理证明、静态分析、测试、综合和工具。
面向软件工程理论基础,包括形式化方法、语义、建模、验证、测试、软件分析和理论驱动工具。
面向软件仓库挖掘,包括版本库、缺陷、代码审查、CI、依赖、开发者行为、数据集和 AI 软件分析。
面向需求工程与软件质量,包括需求获取、建模、分析、验证、演化、可追踪性和质量驱动需求。
面向软件架构,包括架构设计、评估、演化、技术债、微服务、架构知识、工具和工业实践。
面向互联网软件,包括 Web/移动/云原生软件、服务化、智能化软件、软件生态、可靠性和工程实践。
面向运行时验证和监控,包括规范、监控算法、在线分析、运行时执行保障、工具和安全关键应用。
投稿与录取统计采用主研究轨公开口径,数据来自 OpenAccept; 日程与地点参考 CCFDDL 并以会议官网为准;未公开、未收录或当年未举办的会议统一标为“未公开”。