退出
我的积分:
中文文献批量获取
外文文献批量获取
王学龙; 陈平;
西安电子科技大学软件研究所;
UML; 序列图; 状态图; 层次性状态图;
机译:一种基于多层转换从UML 2序列图中验证自动生成Buechi自动机的技术
机译:确定UML序列图结构大小的一种测量方法
机译:一种使用UML序列图动态切片的新颖测试用例设计技术
机译:从UML序列图和状态图到可分析的Petri网模型
机译:使用超级状态分析在多个UML状态图中进行一致性检查。
机译:审核层次结构周期以查找UMLS中的其他不一致之处
机译:一种开发UmL序列图的多层次方法
机译:自动编码飞行软件的UmL状态图
机译:将状态图从第一种状态图格式转换为第二种状态图格式
机译:通过合并和巡视基于层次的唯一输入/输出序列(UIO)的测试子序列图来构造验证测试序列的方法和设备
机译:UML序列图和活动图生成工具的开发方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。