检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]北京轩宇信息技术有限公司
出 处:《中国质量》2021年第5期53-56,共4页China Quality
摘 要:在航天器嵌入式软件系统的SAT+研制模式体系架构中,工具是核心要素之一,用以支持高效益的软件开发验证。但SAT+模式的工具化落地仍面临一些具体的挑战,主要体现在:在基于模型的系统工程模式下,软件研制如何充分利用系统分析和论证的成果?如何实现软件研制全过程精细颗粒度的数据管控?如何实现软件产品以及部件重用?
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.33