CORC

在结果中检索

CORC

浏览/检索结果: 共20条，第1-10条 帮助

已选(0)清除 条数/页：   排序方式：
基于MARTE模型的系统可靠性预测 期刊论文
计算机科学, 2015, 卷号: 42, 期号: 12, 页码: 82
柴叶生; 朱雪阳; 晏荣杰; 张广泉
收藏  |  浏览/下载：12/0  |  提交时间：2016/12/09
A modeling methodology to facilitate safety-oriented architecture design of industrial avionics software 期刊论文
SOFTWARE-PRACTICE & EXPERIENCE, 2015, 卷号: 45, 页码: 893-924
作者:  Wu, Ji;  Yue, Tao;  Ali, Shaukat;  Zhang, Huihui
收藏  |  浏览/下载：4/0  |  提交时间：2020/01/06
面向软件密集型系统的体系结构可变性建模 期刊论文
计算机科学与探索, 2014, 页码: 823-835
作者:  聂坤明;  张莉
收藏  |  浏览/下载：3/0  |  提交时间：2020/01/06
面向软件密集型系统的体系结构可变性建模 期刊论文
计算机科学与探索, 2013, 页码: 823-835
作者:  聂坤明;  张莉
收藏  |  浏览/下载：1/0  |  提交时间：2020/01/06
Ensuring Safety of Avionics Software at the Architecture Design Level: An Industrial Case Study 会议论文
13th International Conference on Quality Software (QSIC), Nanjing, PEOPLES R CHINA, 2013-01-01
作者:  Wu, Ji;  Yue, Tao;  Ali, Shaukat;  Zhang, Huihui
收藏  |  浏览/下载：6/0  |  提交时间：2020/01/06
时序π演算及其对MARTE顺序图的建模 期刊论文
武汉大学学报理学版, 2011
金暐; 王捍贫; 曹永知; 朱梅霞
收藏  |  浏览/下载：2/0  |  提交时间：2015/10/23
Modeling MARTE sequence diagram with timing Pi-calculus 其他
2011-01-01
Jin, Wei; Wang, Hanpin; Zhu, Meixia
收藏  |  浏览/下载：5/0  |  提交时间：2015/11/13
基于UML Profile的软件建模工具的设计与实现 学位论文
2011
作者:  卫耀辉
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/10
AN APPROACH FOR DESIGNING, MODELING AND REALIZING ETL PROCESSES BASED ON UNIFIED VIEWS MODEL 期刊论文
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2011, 卷号: 21, 页码: 543-570
作者:  Song, Xudong;  Liu, Xiaobing
收藏  |  浏览/下载：10/0  |  提交时间：2019/12/18
A Modeling Language Based on UML for Modeling Simulation Testing System of Avionic Software 期刊论文
CHINESE JOURNAL OF AERONAUTICS, 2011, 卷号: 24, 页码: 181-194
作者:  Wang Lize;  Liu Bin;  Lu Minyan
收藏  |  浏览/下载：4/0  |  提交时间：2020/01/06

©版权所有 ©2017 CSpace - Powered by CSpace