QQ客服 官方微博 反馈留言

浏览/检索结果: 共8条，第1-8条 帮助 限定条件 内容类型：会议论文    专题：暨南大学    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 A MAPPING FROM SOFTWARE ARCHITECTURAL DESCRIPTION LANGUAGE XYZ/ADL TO UML2.0 会议论文 开封, 2008年1月1日 作者:  RONG MEI[1] 收藏  |  浏览/下载：0/0  |  提交时间：2019/12/10 SOFTWARE ARCHITECTURE  FORMAL DESCRIPTION  VISUAL DESCRIPTION  XYZ/ADL  UML2.0   UML与XYZ/ADL在电梯控制系统体系结构建模中的应用 会议论文 昆明, 2006年08月01日 作者:  张玲红 [1];  张广泉 [2];  朱雪阳 [3];  戎玫 [4];  何玉乾 [5] 收藏  |  浏览/下载：0/0  |  提交时间：2019/12/10 软件体系结构  UML  XYZ/ADL  建模  电梯控制系统   A Mapping from Software Architectural Description Language XYZ/ADL to UML2.0 会议论文 Kaifeng, PEOPLES R CHINA, JUL 25-27, 2008 作者:  Rong Mei 收藏  |  浏览/下载：0/0  |  提交时间：2019/12/13 基于XYZ/ADL的WEB服务组合描述与验证框架 会议论文 苏州, 2010年11月4日 作者:  张广泉 [1];  戎玫 [2];  朱雪阳 [3];  何亚丽 [4] 收藏  |  浏览/下载：1/0  |  提交时间：2019/12/17 WEB服务组合  XYZ/ADL  XYZ/RE  时间自动机  精化检验  模型检测   Description and Analysis for Web Service Composition Based on XYZ/ADL 会议论文 Xiamen, PEOPLES R CHINA, MAY 19-21, 2009 作者:  Zhang Guang-quan[1];  Rong Mei[2];  Wei Hui[1] 收藏  |  浏览/下载：0/0  |  提交时间：2019/12/17 C4S2-235:一种异步Web服务组合的分析验证方法? 会议论文 杭州, 2011-8-7 作者:  石慧娟;  张广泉;  戎玫;  朱稷涵 收藏  |  浏览/下载：0/0  |  提交时间：2019/12/17 异步Web服务  XYZ/ADL  时间约束  数据约束   Model checking for asynchronous Web service composition based on XYZ/ADL 会议论文 Taiyuan, China, September 24, 2011 - September 25, 2011 作者:  Zhang, Guangquan[1,2];  Shi, Huijuan[1];  Rong, Mei[3];  Di, Haojun[1] 收藏  |  浏览/下载：0/0  |  提交时间：2019/12/23 Model Checking for Asynchronous Web Service Composition Based on XYZ/ADL 会议论文 Taiyuan, PEOPLES R CHINA, SEP 24-25, 2011 作者:  Zhang, Guangquan[1,2];  Shi, Huijuan[1];  Rong, Mei[3];  Di, Haojun[1] 收藏  |  浏览/下载：0/0  |  提交时间：2019/12/06