退出
我的积分:
中文文献批量获取
外文文献批量获取
王振宇;
西安邮电大学计算机学院 西安710121;
xUML; 一致性问题; 校验规则;
机译:将概念模型XUML转换为XML SCHEMA
机译:相关物种分布模型与基于过程的生态生理增长模型之间的一致性和不一致性的地理模式。
机译:基于MISOHRM模型的非一致性洪水频率计算方法及应用III:模型构建与非一致性洪水频率计算
机译:基于xUML的MDA模型转换的映射方法
机译:评估教师增值评估的状态模型:政策,手段和基于文学的概念的一致性
机译:基于IAFSA和Kriging模型的有限元模型更新多替代性问题研究
机译:利用模型转换生成xUmL模型形式化分析的图形反例
机译:使用符号模型验证器(smV)进行基于模型验证的实践问题研究
机译:基于概率模型和模糊逻辑构建的基于理论和经验过程模型的业务过程行为一致性检查和诊断方法及系统
机译:系统和软件开发过程模型的形成和验证方法,包括控制元模型的一致性和模型相对于元模型的一致性,以及控制对模型特定规则的遵循
机译:基于共享内存资源的内存一致性模型中无序负载的基于锁和基于同步的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。