退出
我的积分:
中文文献批量获取
外文文献批量获取
吴海; 孙永雄; 付庆兴; 徐佳琪;
长春电信工程设计院股份有限公司;
吉林大学计算机科学与技术学院;
统一建模语言; Petri网; 形式化验证;
机译:基于测试用例的理解的行为UML图对行为UML图的实证评价
机译:用新的功能-结构-行为-UML图对用例实现图进行一致建模的充分准则
机译:UML图生成器:一种新的CASE工具,用于从事件表构造用例图和类图
机译:使用图文法将业务模式转换为有色Petri网
机译:从UML图生成基于网络的模型,以支持设计仿真和分析。
机译:组织学图和文法:简介
机译:图大小与布局缺陷:了解UmL图的质量因素:了解UmL图的质量因素
机译:利用影响图和有色petri网进行军事信息作战分析
机译:生成用于需求分析的uml图的自动化设计
机译:浏览UML图
机译:基于定制的UML图管理测试过程的方法,系统和计算机程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。