返回首页
支持即时构造与动态演化的两段式软件自动构造技术及应用
CCF科技成果奖
项目名称：支持即时构造与动态演化的两段式软件自动构造技术及应用
完成单位：浪潮通用软件有限公司、南京大学、上海交通大学
主要完成人：郑伟波、王林章、戴文斌、周祥国、卜磊
项目针对智能制造广义离散随机系统的不确定性、大规模交互式程序网络的自适应、形式化方法的状态空间爆炸等关键科学问题，提出了支持即时构建和动态演化的两段式软件自动构建技术，突破了代码自动生成、服务柔性组装与形式化验证等关键技术，研制了面向智能制造的软件自动构建平台，并在智能制造领域的多家大型企业得到了规模化应用，显著提升了软件开发效率，取得了良好的社会经济效益。
<<< 上一篇
数据重删关键技术及应用
<<< 下一篇 装备软件智能测试关键技术及其应用
读完这篇文章后，您心情如何？
所有评论仅代表网友意见