公开/公告号CN109117206B
专利类型发明专利
公开/公告日2021-04-13
原文格式PDF
申请/专利权人 中国空间技术研究院;
申请/专利号CN201810828092.0
申请日2018-07-25
分类号G06F9/445(20180101);G06F30/20(20200101);
代理机构11009 中国航天科技专利中心;
代理人武莹
地址 100194 北京市海淀区友谊路104号
入库时间 2022-08-23 11:39:08
机译: 在从下层软件产品生成上层软件产品并更改上层软件产品中检测下层软件可重用产品的方法和设备
机译: 用于软件控制设备的软件生成方法使用在计算机中被实现为数据的软件模型来从该模型自动导出软件程序代码。
机译: 用于软件规范的证明重用支持设备,用于软件规范的证明重用支持方法以及用于软件规范的证明重用支持程序