CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
基于XYZ/ADL的Web服务组合描述与验证 期刊论文
2011, 卷号: 39, 期号: [db:dc_citation_issue], 页码: 86
作者:  张广泉[1,2];  戎玫[3];  朱雪阳[2];  何亚丽[1];  石慧娟[1]
收藏  |  浏览/下载：8/0  |  提交时间：2019/12/03
基于XYZ/ADL的异步Web服务组合描述与验证 期刊论文
计算机科学, 2011, 卷号: 38, 期号: 12, 页码: 139-143
石慧娟; 戎玫; 张广泉; 朱稷涵
收藏  |  浏览/下载：9/0  |  提交时间：2013/10/08
Specification and verification of web service composition based on XYZ/ADL 期刊论文
2011, 卷号: 39, 期号: 3 A, 页码: 86
作者:  Zhang, Guang-Quan[1,2];  Rong, Mei[3];  Zhu, Xue-Yang[2];  He, Ya-Li[1];  Shi, Hui-Juan[1]
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/17
基于XYZ／ADL的异步Web服务组合描述与验证 期刊论文
2011, 卷号: 38, 期号: 12, 页码: 139
作者:  石慧娟[1];  戎玫[2];  张广泉[1,3];  朱稷涵[1]
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/06
基于XYZ/ADL的Web服务体系结构形式描述 期刊论文
2010, 2010
饶元; 李尊朝; RAO Yuan; LI Zun chao
收藏  |  浏览/下载：4/0
一种基于UPPAAL的Web服务组合模型检测方法 期刊论文
计算机科学, 2010, 卷号: 37, 期号: 11, 页码: 122-125
何亚丽; 戎玫; 张广泉
收藏  |  浏览/下载：226/44  |  提交时间：2011/05/23
一种基于UPPAAL的Web服务组合模型检测方法 期刊论文
2010, 卷号: 37, 期号: 11, 页码: 122
作者:  何亚丽[1];  戎玫[2];  张广泉[1,3]
收藏  |  浏览/下载：9/0  |  提交时间：2019/12/06
面向方面的软件体系结构描述语言AO-ADL 期刊论文
2008, 卷号: 34, 期号: [db:dc_citation_issue], 页码: 80
作者:  杨敬中[1];  戎玫[2];  张广泉[1,3]
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/03
一种基于体系结构的Web服务组合描述方法 期刊论文
2008, 卷号: 30, 期号: 12, 页码: 5
作者:  魏慧[1];  戎玫[2];  张广泉[1]
收藏  |  浏览/下载：4/0  |  提交时间：2019/12/06
UML与软件体系结构描述语言之间的转换机制研究 期刊论文
2007, 卷号: 34, 期号: [db:dc_citation_issue], 页码: 262
作者:  张广泉[1];  戎玫[2];  陈琳琳[1]
收藏  |  浏览/下载：7/0  |  提交时间：2019/12/03

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