QQ客服 官方微博 反馈留言

浏览/检索结果: 共6条，第1-6条 帮助 已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 UML2.0顺序图的时序描述逻辑语义 期刊论文 计算机工程, 2011, 期号: 2011年03期, 页码: 52-54 作者:  张其文;  童格明;  李明 收藏  |  浏览/下载：13/0  |  提交时间：2019/11/13 UML2.0顺序图  时序描述逻辑  形式化  描述逻辑   UML2．0顺序图的一种有穷自动机模型 期刊论文 2008, 卷号: 30, 期号: 12, 页码: 118 作者:  刘传会[1];  戎玫[2];  张广泉[1] 收藏  |  浏览/下载：1/0  |  提交时间：2019/12/06 UML2.0顺序图  UPPAAL  有穷自动机  时间自动机   UML顺序图的形式化 学位论文 : 兰州理工大学, 2008 作者:  童格明 收藏  |  浏览/下载：3/0  |  提交时间：2020/11/05 UML顺序图  形式化方法  描述逻辑  动态描述逻辑  时序描述逻辑   UML2．0的形式化语义研究 期刊论文 2007, 卷号: 27, 期号: [db:dc_citation_issue], 页码: 39 作者:  张广泉[1,2];  戎玫[3];  黄正宝[1] 收藏  |  浏览/下载：4/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顺序图  复合片段   UML2.0顺序图的一种有穷自动机模型 会议论文 西安, 2008年09月19日 作者:  刘传会 [1];  张广泉 [1];  戎玫 [2] 收藏  |  浏览/下载：0/0  |  提交时间：2019/12/17 顺序图  有穷自动机  时间自动机  软件开发  时间建模  建模机制