典型文献
嵌入式软件智能合成框架及关键科学问题
文献摘要：
程序合成是提高软件开发效率和质量的有效途径,也是计算机科学重要的前沿方向之一.首先,概述了程序合成方法的国内外研究现状及其存在的问题.在此基础上,提出了软件知识产权(intellectual property,IP)的概念和一种基于软件IP的嵌入式软件智能合成开发模式(IP-based embedded software intelligent synthesis,IPESIS)及其框架.最后,阐述了IPESIS需要解决的关键科学问题和主要研究内容.IPESIS通过定义领域需求描述语言,在更高的抽象层次上对目标软件进行刻画,以软件IP为粒度缩小程序搜索空间,采用机器学习等人工智能技术自动合成程序,有望突破现有方法的局限,进而实现嵌入式软件开发从手工编程模式到软件IP研发和基于软件IP的智能合成模式的转变.
文献关键词：
嵌入式软件;程序合成;软件IP;软件需求;人工智能
中图分类号：
作者姓名：
杨孟飞;顾斌;段振华;金芝;詹乃军;董云卫;田聪;李戈;董晓刚;李晓锋
作者机构：
中国空间技术研究院,北京 100094;空间智能控制技术国家级重点实验室,北京 100094;北京控制工程研究所,北京 100190;西安电子科技大学 计算机科学与技术学院,西安 710071;北京大学 计算机学院,北京 100871;中国科学院 软件研究所 天基综合信息系统重点实验室,北京 100190;西北工业大学 计算机学院,西安 710072
文献出处：
引用格式：
[1]杨孟飞;顾斌;段振华;金芝;詹乃军;董云卫;田聪;李戈;董晓刚;李晓锋-.嵌入式软件智能合成框架及关键科学问题)[J].中国空间科学技术,2022(04):1-7
A类：
IPESIS
B类：
嵌入式软件,关键科学问题,程序合成,软件开发,开发效率,计算机科学,合成方法,国内外研究现状,intellectual,property,开发模式,embedded,software,intelligent,synthesis,需求描述,描述语言,抽象层次,目标软件,小程序,搜索空间,自动合成,手工编程,编程模式,成模,软件需求
AB值：
0.407114
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
