QQ客服 官方微博 反馈留言

浏览/检索结果: 共5条，第1-5条 帮助 限定条件 内容类型：其他     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 时序π演算及其对MARTE顺序图的建模 其他 2011-01-01 金暐; 王捍贫; 曹永知 收藏  |  浏览/下载：3/0  |  提交时间：2015/10/23 元模型可度量性及度量方法研究 其他 2010-01-01 马浩海; 麻志毅; 吉哲; 杨国东; 张乐 收藏  |  浏览/下载：3/0  |  提交时间：2015/11/12 元模型 可度量性 度量方法 UML   UML状态机视图的RSL形式描述 其他 2005-01-01 孙猛; 张乃孝; Bernhard K Aichernig 收藏  |  浏览/下载：5/0  |  提交时间：2015/10/23 UML  RAISE  UML  statechart  RAISE  formalization  状态机  形式化   UML中衍型的精确定义与分析 其他 2003-01-01 蒋严冰; 邵维忠; 张路; 麻志毅 收藏  |  浏览/下载：1/0  |  提交时间：2015/11/11 UML  衍型  形式化  语法  语义  建模语言  软件工程   基于UML的JBOO的研制 其他 2002-01-01 麻志毅; 蒋严冰; 李劲宇; 戴耀飞 收藏  |  浏览/下载：1/0  |  提交时间：2015/11/10 面向对象  建模工具  建模语言  JOBB