模型驱动的反应式系统软件开发方法与应用

• 作者: 毛宁 谭琪璘
• 来源期刊: 航空计算技术
• 关键词: 模型驱动 反应式系统软件 虚拟验证
• 年，卷（期）: 2018,（5）
• 所属期刊栏目: 计算机软件
• 页码范围: 76-79,84
• 页数: 5页
• 分类号: TP311.52
• 语种: 中文
• DOI: 10.3969/j.issn.1671-654X.2018.05.020

摘要

传统的软件开发方法已无法应对由复杂反应式系统的并发、混合与实时性特点所带来的挑战.以实际项目出发,从分析、设计及验证3方面介绍了模型驱动的反应式系统软件开发过程及建模方法.通过多目标平台的集成与应用,验证了模型驱动软件开发方法能够有效提高反应式系统软件的开发效率及准确性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	毛宁		5	3	1.0	1.0
2	谭琪璘		1	0	0.0	0.0