2023年CCF中国软件大会(CCF ChinaSoft 2023)邀请蒋铭作大会特邀报告。
特邀嘉宾
蒋铭
华为Fellow、2012可信实验室总裁
华为公司Fellow,2012可信理论、技术与工程实验室总裁。
报告主题
严格工程化的可信和理想主义的智能化
报告摘要
保障系统可信一直是软件工程面临的重大挑战。华为公司通过近五年的软件工程变革,构建了一整套严格工程化的可信理论、技术与工程体系,包括但不限于全量设计、Clean Code、软件资产管理、开源管理等,极大提升了软件系统的可信。而大模型的兴起带来软件工程新机遇和挑战,一方面大模型在多个软件工程数据集上达到惊人效果,另一方面大模型如何融入软件工程实践并提升系统可信缺少理论和技术支持。这导致了严格工程化的可信和理想主义的智能化之间产生了矛盾。本次报告针对该矛盾展开探讨,主要分享华为软件工程变革的实践、人类对技术创造物的认知规律和大模型在软件工程的应用,系统化反思大模型如何保障软件可信,并在此基础上展望未来大模型与可信软件工程融合的新方向。
2023年CCF中国软件大会(CCF ChinaSoft 2023)由CCF主办,CCF系统软件专委会、形式化方法专委会、软件工程专委会以及复旦大学联合承办,将于2023年12月1-3日在上海国际会议中心举行。
本次大会主题是“智能化软件创新推动数字经济与社会发展”,学术、工业、教育、竞赛等分论坛活动40余场,期待您的参与!
目前大会火热报名中!早鸟注册(early-bird registration)10月22日截止,提前注册付费锁定注册费优惠权益。
CCF ChinaSoft 2023官方首页:http://chinasoft.ccf.org.cn/
点击文末“阅读原文”或扫描下方二维码进入官方注册通道:
https://conf.ccf.org.cn/chinasoft2023
主办单位
中国计算机学会
承办单位
CCF系统软件专业委员会
CCF形式化方法专业委员会
CCF软件工程专业委员会
复旦大学
协办单位
上海交通大学
华东师范大学
东华大学
上海计算机软件技术开发中心
上海市软件行业协会
上海市计算机学会
江苏省计算机学会
钻石赞助
白金赞助
金牌赞助
普通赞助