2022 CCF中国软件大会（CCF Chinasoft）“软件智能合成理论与方法”论坛成功召开...

93 阅读 0 评论 62 点赞

我是靠谱客的博主玩命野狼，最近开发中收集的这篇文章主要介绍2022 CCF中国软件大会（CCF Chinasoft）“软件智能合成理论与方法”论坛成功召开...，觉得挺不错的，现在分享给大家，希望可以做个参考。

概述

2022年11月25日，2022 CCF中国软件大会（CCF Chinasoft）软件智能合成理论与方法论坛成功举办。本次论坛由中国科学院软件所詹乃军研究员、北京大学李戈教授、西北工业大学沈博副教授及北京科技大学何啸副教授联合组织举办，论坛围绕软件智能合成理论与方法，聚焦提高合成效率、改善自动生成软件质量等核心问题，在前期征稿中论坛收到21篇论文，每篇论文至少经过3名审稿人的严格评阅，共录用6篇论文。论坛采取腾讯会议与在线直播两种方式线上进行，邀请了来自国防科技大学、中国科学院软件研究所、西北工业大学、北京化工大学、北京控制工程研究所等学术界与企业界的软件领域优秀学者与专家，包含1个主题报告、6个论文报告和1个Panel环节。本次论坛腾讯会议观众近70人，B站直播突破300人。

本次论坛分三个阶段举行。论坛第一阶段由李戈主持，国防科技大学董威教授进行主题报告。结合自主协同系统的实际需要，董威从系统需求、控制程序合成、安全防护程序合成等方面进行了分析，并介绍了团队在软件智能合成领域的探索。

论文报告由何啸和沈博主持，北京控制工程研究所李晓锋研究员、华东师范大学陈小红副教授及西北工业大学苟倩文博士、国防科技大学刘加芯博士、中科院软件所赵怡婧博士、北京化工大学吴永豪博士分别就空间飞行器控制软件合成、嵌入式软件合成需求描述、深度学习程序合成、群体智能程序构造、数据库软件合成、源代码迁移模型等工作进行了阐释与讨论。

论坛最后举行思辨环节，由詹乃军主持，董威、李戈、李晓锋、陈小红及西北工业大学董云卫教授共同就“软件智能合成：形式化vs深度学习”进行讨论。各位专家介绍了自己在软件智能合成及形式化方法上的探索，共同分析了软件智能合成的发展趋势及当前的应用价值，并探讨了形式化方法和深度学习方法在软件智能合成任务中的作用和关系。与会嘉宾一致认为，形式化方法和深度学习各有优势，如何有机融合这两种方法从而更好地促进软件合成，是未来十分值得探索的研究问题。