机译:用于自动开发和验证的MapReduce设计模式的模型转换
DIETI, Univ. of Naples Federico Ⅱ, Italy;
DiSciPol, Second Univ. of Naples, Italy;
Cloud computing; Cloud patterns; Formal verification; MapReduce; Model driven engineering;
机译:基于程序几何建模的循环和数据重用转换自动验证技术
机译:面向设计模式的模型转换开发
机译:在关系模型转换的转换级别自动验证行为保留
机译:模型驱动开发中用于模型转换的模型模式
机译:设计模式驱动的模型转换开发。
机译:自动选择验证工具以有效分析生化模型
机译:基于自动验证和转换的闭环模型设计方法