退出
我的积分:
中文文献批量获取
外文文献批量获取
麻志毅; 蒋严冰; 李劲宇; 戴耀飞;
北京大学;
面向对象; 建模工具; 模型; UML;
机译:解决UML建模工具之间的互操作性问题:Movelio和Argouml
机译:SAwUML-基于UML的合同软件架构及其使用SPIN的形式分析
机译:M-UML:对UML的扩展,用于基于移动代理的软件系统建模
机译:UML2z:基于UML的建模工具,用于互联网集成正式化进程
机译:基于UML的软件设计的软件故障传播和故障分析。
机译:UMLS-Interface和UMLS-Similarity:用于测量路径和语义相似度的开源软件
机译:Live-UMLRT:UML-RT模型的实时建模工具
机译:将基于UmL的形式化规范,验证和验证应用于太空飞行软件和防御软件
机译:基于约定的UML建模工具
机译:基于统一建模语言(UML)设计模型的嵌入式软件功耗预测方法
机译:在系统设计工具和行为建模工具和/或模拟器之间交换文件和元信息以创建ECU软件
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。