退出
我的积分:
中文文献批量获取
外文文献批量获取
段盛;
湘南学院;
计算机系;
湖南;
郴州;
423000;
商业模型; 商业过程; 统一建模语言; 形式化; 模型验证;
机译:基于UML的UML的概念建模效果中的状态转换数字模型注意事项
机译:图转换在UML模型的动态行为建模和验证中的使用
机译:UMLS语义网络作为用于改善生物医学本体和应用程序建模的UML元模型
机译:UML在基于模型验证的工厂建模中的应用:将UML转换为TNCES
机译:基于UML和SysML的系统工程设计模型的验证和确认。
机译:使用基于UMLS的语义解析器验证临床问题。
机译:使用基于UmL的特征模型和UmL协作图来实现基于Web的应用程序的信息建模
机译:在基于模型的开发(mBD)中使用统一建模语言(UmL)用于安全关键应用。
机译:基于统一建模语言(UML)设计模型的嵌入式软件功耗预测方法
机译:将基于RSM的元模型的UML呈现转换为基于MOF的元模型的UML呈现的方法
机译:基于变更计划的UML模型变更验证
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。