CORC

在结果中检索

CORC

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

限定条件                
已选(0)清除 条数/页：   排序方式：
An Approach to Checking Consistency between UML Class Model and Its Java Implementation 期刊论文
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2016, 卷号: 42, 期号: 4, 页码: 322-344
Chavez, HM; Shen, WW; France, RB; Mechling, BA; Li, GY
收藏  |  浏览/下载：14/0  |  提交时间：2016/12/09
基于MARTE模型的系统可靠性预测 期刊论文
计算机科学, 2015, 卷号: 42, 期号: 12, 页码: 82
柴叶生; 朱雪阳; 晏荣杰; 张广泉
收藏  |  浏览/下载：12/0  |  提交时间：2016/12/09
一种基于UML的网络安全体系建模分析方法 期刊论文
计算机研究与发展, 2014, 卷号: 51, 期号: 7, 页码: 1578-1593
布宁; 刘玉岭; 连一峰; 黄亮
收藏  |  浏览/下载：18/0  |  提交时间：2014/12/16
model checking security policy model using both uml static and dynamic diagrams 会议论文
4th International Conference on Security of Information and Networks, SIN 2011, Sydney, NSW, Australia, November 1
Cheng Liang; Zhang Yang
收藏  |  浏览/下载：14/0  |  提交时间：2013/10/08
基于UML和模型检测的安全模型验证方法 期刊论文
计算机学报, 2009, 卷号: 32, 期号: 4, 页码: 699-708
程亮; 张阳
收藏  |  浏览/下载：5/0  |  提交时间：2011/03/18
从面向对象的遗留系统到面向服务架构的迁移方法 期刊论文
计算机系统应用, 2009, 期号: 6, 页码: 33-39
伍晓泉; 白琳; 魏峻
收藏  |  浏览/下载：8/0  |  提交时间：2011/03/18
an aspect-oriented modeling approach to predict performance of jca-based systems 学位论文
2009
Zhang Wenbo; Huang Xiang; Zhang Bo; Wei Jun
收藏  |  浏览/下载：13/0  |  提交时间：2011/03/20
基于模型的分布式组件系统性能评价技术研究 学位论文
博士, 软件研究所: 中国科学院软件研究所, 2007
张勇
收藏  |  浏览/下载：13/0  |  提交时间：2011/03/17
基于时间模型的实时系统测试方法研究 学位论文
博士, 软件研究所: 中国科学院软件研究所, 2006
陈伟
收藏  |  浏览/下载：15/0  |  提交时间：2011/03/17
completing uml model of component-based system with middleware for performance evaluation 会议论文
EUC 2006 Workshops, Seoul, SOUTH KOREA, AUG 01-04,
Zhang Yong; Chen Ningjiang; Wei Jun; Huang Tao
收藏  |  浏览/下载：10/0  |  提交时间：2011/07/28

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