机译:使用转换模式对模型转换进行逐项构造正确综合
Department of Informatics, King's College, London, UK;
Department of Informatics, King's College, London, UK;
Department of Informatics, King's College, London, UK;
Department of Informatics, King's College, London, UK;
Department of Informatics, King's College, London, UK;
Model transformation; Patterns; Model-driven development; Verification;
机译:小鼠前肢的后轴构图需要转化抑制基因Reck小鼠前肢的后轴构图需要转化抑制基因Reck小鼠前肢的后轴构图需要转化抑制基因Reck
机译:MUPPIT:一种在模型变换中使用适当模式的方法
机译:用于自动开发和验证的MapReduce设计模式的模型转换
机译:从Coq中的部分排序规范进行的按构造校正模型转换
机译:飞机发动机高压涡轮机中运输和物理化学变换的3D建模与仿真=飞机发动机高压涡轮机湍流及物理化学变换的3D建模及仿真
机译:识别自然聚集酶促转化的反应组织模式
机译:基于模型的嵌入式软件开发的跨设计环境的正确构造转换
机译:自动代理系统综合的形式对象状态模型转换