QQ客服 官方微博 反馈留言

浏览/检索结果: 共13条，第1-10条 帮助 已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择发表日期升序发表日期降序作者升序作者降序提交时间升序提交时间降序题名升序题名降序 Approach to Check the Consistency between the UML2.0 Dynamic Diagrams 会议论文 Fifth International Conference on Instrumentation & Measurement, Computer, Communication, and Control (IMCCC), Qinhuangdao, PEOPLES R CHINA, 2015-09-18 作者:  Yao, Quanzhu;  Cui, Xiaodan 收藏  |  浏览/下载：3/0  |  提交时间：2019/12/20 UML2.0  StateDiagram  SequenceDiagram  Consistency  Formal Verification  Model Checking   基于UML2.0序列图的Web服务运行时验证方法 期刊论文 计算机科学, 2013, 卷号: 40, 期号: 7 作者:  张亚红;  张琳琳;  赵楷;  陈佳丽;  冯在文 收藏  |  浏览/下载：1/0  |  提交时间：2019/12/05 UML2.0序列图  确定有限自动机  Web服务  运行时验证   UML2.0顺序图的时序描述逻辑语义 期刊论文 计算机工程, 2011, 期号: 2011年03期, 页码: 52-54 作者:  张其文;  童格明;  李明 收藏  |  浏览/下载：14/0  |  提交时间：2019/11/13 UML2.0顺序图  时序描述逻辑  形式化  描述逻辑   基于时序逻辑的UML2．0通信图语义研究 期刊论文 2008, 卷号: 29, 期号: 21, 页码: 5601 作者:  张姝[1,2];  戎玫[3];  张广泉[1] 收藏  |  浏览/下载：1/0  |  提交时间：2019/12/10 UML2.0  通信图  时序逻辑  形式化语法  形式化语义  XYZ/E   UML2．0顺序图的一种有穷自动机模型 期刊论文 2008, 卷号: 30, 期号: 12, 页码: 118 作者:  刘传会[1];  戎玫[2];  张广泉[1] 收藏  |  浏览/下载：1/0  |  提交时间：2019/12/06 UML2.0顺序图  UPPAAL  有穷自动机  时间自动机   面向服务体系结构的图形化建模研究 期刊论文 计算机工程与设计, 2008 作者:  沈美娥;  王铁峰;  刘京志;  张韬;  应时 收藏  |  浏览/下载：1/0  |  提交时间：2019/12/05 面向服务体系结构  图形化建模  服务结构  服务行为  UML2.0   UML2．0的形式化语义研究 期刊论文 2007, 卷号: 27, 期号: [db:dc_citation_issue], 页码: 39 作者:  张广泉[1,2];  戎玫[3];  黄正宝[1] 收藏  |  浏览/下载：4/0  |  提交时间：2019/12/03 线性时序逻辑  形式化语义  UML2.0  顺序图  状态图  XYZ/E   UML2．0类图的一种形式化描述方法 期刊论文 2007, 卷号: 34, 期号: [db:dc_citation_issue], 页码: 277 作者:  杨敬中[1];  张广泉[1,2];  戎玫[3] 收藏  |  浏览/下载：3/0  |  提交时间：2019/12/03 UML2.0类图  形式化描述  XYZ/E   面向方面的软件系统动态交互行为建模 期刊论文 2007, 卷号: 29, 期号: [db:dc_citation_issue], 页码: 137 作者:  杨敬中[1];  戎玫[2];  张广泉[1,3] 收藏  |  浏览/下载：1/0  |  提交时间：2019/12/03 面向方面建模  UML2.0顺序图  复合片段   UML 2．0的新特性以及在选课系统中的应用 期刊论文 2007, 卷号: 23, 期号: 4, 页码: 50 作者:  文烨斌[1];  姚国祥[2];  许龙飞[3] 收藏  |  浏览/下载：1/0  |  提交时间：2019/12/17 UML2.0  选课系统