CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
基于XYZ/SE的软件部分正确性验证 期刊论文
计算机工程与应用, 2015, 卷号: 第51卷 第14期, 页码: 46-50
作者:  张锦;  刘曼霞;  赵二群;  柳军飞
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/31
基于时序逻辑的UML2．0通信图语义研究 期刊论文
2008, 卷号: 29, 期号: 21, 页码: 5601
作者:  张姝[1,2];  戎玫[3];  张广泉[1]
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/10
面向服务业务过程建模方法的研究 学位论文
博士, 软件研究所: 中国科学院软件研究所, 2007
董广智
收藏  |  浏览/下载：14/0  |  提交时间：2011/03/17
UML2．0的形式化语义研究 期刊论文
2007, 卷号: 27, 期号: [db:dc_citation_issue], 页码: 39
作者:  张广泉[1,2];  戎玫[3];  黄正宝[1]
收藏  |  浏览/下载：4/0  |  提交时间：2019/12/03
UML2．0类图的一种形式化描述方法 期刊论文
2007, 卷号: 34, 期号: [db:dc_citation_issue], 页码: 277
作者:  杨敬中[1];  张广泉[1,2];  戎玫[3]
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/03
双重软件体系结构描述框架XYZ/ADL 期刊论文
计算机研究与发展, 2007, 卷号: 44, 期号: 9, 页码: 1485-1494
朱雪阳
收藏  |  浏览/下载：20/0  |  提交时间：2011/07/01
XYZ／AE描述程序性质的探讨 期刊论文
2007, 卷号: 34, 期号: 3, 页码: 268
作者:  左春华[1];  张广泉[1,2];  戎玫[3]
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/10
Statecharts的组合语义与求精 期刊论文
软件学报, 2006, 期号: 4, 页码: 670-681
朱雪阳; 唐稚松
收藏  |  浏览/下载：14/0  |  提交时间：2011/07/13
基于XYZ／E的CA认证系统描述与求精 期刊论文
2006, 卷号: 33, 期号: 8, 页码: 267
作者:  刘俭云[1,2];  张广泉[2,4];  戎玫[3]
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/06
XYZ/E  CA  RA  描述  求精  
UML活动图的时序逻辑语义 期刊论文
计算机研究与发展, 2005, 卷号: 42, 期号: 9, 页码: 1478-1484
朱雪阳; 唐稚松
收藏  |  浏览/下载：9/0  |  提交时间：2011/07/28

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