中国开放科研知识云: 检索

基于MARTE模型的系统可靠性预测 期刊论文
计算机科学, 2015, 卷号: 42, 期号: 12, 页码: 82
柴叶生; 朱雪阳; 晏荣杰; 张广泉

收藏 | 浏览/下载：13/0 | 提交时间：2016/12/09

一种基于UML的网络安全体系建模分析方法 期刊论文
计算机研究与发展, 2014, 卷号: 51, 期号: 7, 页码: 1578-1593
布宁; 刘玉岭; 连一峰; 黄亮

收藏 | 浏览/下载：19/0 | 提交时间：2014/12/16

基于UML和模型检测的安全模型验证方法 期刊论文
计算机学报, 2009, 卷号: 32, 期号: 4, 页码: 699-708
程亮; 张阳

收藏 | 浏览/下载：6/0 | 提交时间：2011/03/18

程序设计语言中的继续：理论与实践 学位论文
博士, 中国科学院软件研究所: 中国科学院研究生院, 2008
喻钢

收藏 | 浏览/下载：11/0 | 提交时间：2011/03/17

基于FSM和TA的测试用例自动生成与执行 学位论文
博士, 软件研究所: 中国科学院软件研究所, 2007
冯东伟

收藏 | 浏览/下载：9/0 | 提交时间：2011/03/17

一种基于用例的功能点计算方法 学位论文
博士, 软件研究所: 中国科学院软件研究所, 2007
余方

收藏 | 浏览/下载：12/0 | 提交时间：2011/03/17

双重软件体系结构描述框架XYZ/ADL 期刊论文
计算机研究与发展, 2007, 卷号: 44, 期号: 9, 页码: 1485-1494
朱雪阳

收藏 | 浏览/下载：19/0 | 提交时间：2011/07/01

基于时间模型的实时系统测试方法研究 学位论文
博士, 软件研究所: 中国科学院软件研究所, 2006
陈伟

收藏 | 浏览/下载：16/0 | 提交时间：2011/03/17

模型驱动软件开发过程的若干问题研究 学位论文
博士, 软件研究所: 中国科学院软件研究所, 2006
段玉聪

收藏 | 浏览/下载：18/0 | 提交时间：2011/03/17

体系结构描述语言XYZ/ADL到UML的映射 期刊论文
计算机应用, 2006, 期号: 2, 页码: 468-471
陈琳琳; 戎玫; 张广泉

收藏 | 浏览/下载：11/0 | 提交时间：2011/07/13

在结果中检索