|
已选(0)清除
条数/页： 排序方式：
|
| UML状态图到B形式化规范的转换实现 期刊论文
2017, 卷号: 0, 期号: 1, 页码: 6-10
作者: 滕飞; 杨静
  收藏 | 浏览/下载：4/0 | 提交时间：2020/01/02
|
| BDL模型到UML状态图的可视化方法研究 期刊论文
计算机科学, 2015, 卷号: 42, 期号: 7
作者: 马丽; 毋国庆; 黄勃; 程铭; 崔梦天
收藏 | 浏览/下载：3/0 | 提交时间：2019/12/05
|
| 基于B/S架构的银行人力资源管理系统设计与实现 学位论文
2014, 2013
贺蓉
收藏 | 浏览/下载：5/0 | 提交时间：2016/01/13
|
| 基于模型检测的UML形式化验证的研究 学位论文
: 西安理工大学, 2013
作者: 雷博
收藏 | 浏览/下载：2/0 | 提交时间：2019/12/20
|
| 基于UML的人机界面操作引导功能建模 期刊论文
福建电脑, 2012, 期号: 01, 页码: 110-111
汪龙祺; 阚珊珊
收藏 | 浏览/下载：17/0 | 提交时间：2013/03/11
|
| 基于形式化规格说明的UML状态图提取 UML state-chart extraction based on formal specification 期刊论文
2011, 卷号: 28, 页码: 1767-1769
作者: 曾一[1]; 周欣[1]; 周吉[1]
收藏 | 浏览/下载：4/0 | 提交时间：2019/11/28 |
| 基于时序描述逻辑的UML状态图语义 期刊论文
计算机工程, 2010, 期号: 2010年23期, 页码: 76-78
作者: 李明; 杨海波; 张其文; 王旭阳
收藏 | 浏览/下载：0/0 | 提交时间：2019/11/13
|
| UML模型检测方法的研究 期刊论文
2010, 2010
张频; 罗贵明; ZHANG Pin; LUO Gui-ming
收藏 | 浏览/下载：4/0 |
| 基于UML的销售系统业务流程分析与仿真 期刊论文
2010, 2010
周庆; 谢芳琳; ZHOU Qing; XIE Fang-lin
收藏 | 浏览/下载：4/0 |
| 基于UML的代理销售管理系统建模研究 期刊论文
2010, 2010
田慧君; 沈琦; TIAN Hui-jun; SHEN Qi
收藏 | 浏览/下载：4/0 |
