返回首页
支持即时构造与动态演化的两段式软件自动构造技术及应用
CCF科技成果奖
项目名称：支持即时构造与动态演化的两段式软件自动构造技术及应用
完成单位：浪潮通用软件有限公司、南京大学、上海交通大学
主要完成人：郑伟波、王林章、戴文斌、周祥国、卜磊
项目针对智能制造广义离散随机系统的不确定性、大规模交互式程序网络的自适应、形式化方法的状态空间爆炸等关键科学问题，提出了支持即时构建和动态演化的两段式软件自动构建技术，突破了代码自动生成、服务柔性组装与形式化验证等关键技术，研制了面向智能制造的软件自动构建平台，并在智能制造领域的多家大型企业得到了规模化应用，显著提升了软件开发效率，取得了良好的社会经济效益。
<<< 上一篇
数据重删关键技术及应用
<<< 下一篇 装备软件智能测试关键技术及其应用
读完这篇文章后，您心情如何？
推荐内容
More >>>- · 关于推荐2026年度“CCF重大成就奖“候选人的
- · 关于推荐2026年度“CCF夏培肃奖”候选人的通
- · 2026年度CCF会士提名将于11月1日截止
- · CCCF 2026年9月刊发布——“智能化软件开发”
- · 今晚8点，免费解锁7个AI Agent实战项目！仅开
- · 2026下半年CCF新晋高级会员、杰出会员名单公
- · 从芯片到机器人应用：RISC-V构建具身智能开源
- · BioAI无限未来 | TF技术前线186期报名
- · CCF人工智能素养提升行动｜人文智能普及行动
- · 2026 CCF CCSP竞赛将于10月21~22日举办，9月9
- · 活动通知｜CCF人工智能素养提升行动“星火计
所有评论仅代表网友意见