期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
模型驱动的反应式系统软件开发方法与应用
被引量:
1
1
作者
谭琪璘
毛宁
《航空计算技术》
2018年第5期76-79,84,共5页
传统的软件开发方法已无法应对由复杂反应式系统的并发、混合与实时性特点所带来的挑战。以实际项目出发,从分析、设计及验证3方面介绍了模型驱动的反应式系统软件开发过程及建模方法。通过多目标平台的集成与应用,验证了模型驱动软件...
传统的软件开发方法已无法应对由复杂反应式系统的并发、混合与实时性特点所带来的挑战。以实际项目出发,从分析、设计及验证3方面介绍了模型驱动的反应式系统软件开发过程及建模方法。通过多目标平台的集成与应用,验证了模型驱动软件开发方法能够有效提高反应式系统软件的开发效率及准确性。
展开更多
关键词
模型驱动
反应式系统软件
虚拟验证
下载PDF
职称材料
题名
模型驱动的反应式系统软件开发方法与应用
被引量:
1
1
作者
谭琪璘
毛宁
机构
航空工业西安航空计算技术研究所
出处
《航空计算技术》
2018年第5期76-79,84,共5页
基金
工信部民用飞机专项科研项目资助(MJ-2017-D-28)
文摘
传统的软件开发方法已无法应对由复杂反应式系统的并发、混合与实时性特点所带来的挑战。以实际项目出发,从分析、设计及验证3方面介绍了模型驱动的反应式系统软件开发过程及建模方法。通过多目标平台的集成与应用,验证了模型驱动软件开发方法能够有效提高反应式系统软件的开发效率及准确性。
关键词
模型驱动
反应式系统软件
虚拟验证
Keywords
MBD
reactive system software application
virtual validation
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
模型驱动的反应式系统软件开发方法与应用
谭琪璘
毛宁
《航空计算技术》
2018
1
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部