...
机译:基于SMT的生成面向覆盖的元模型实例的方法
Computer Science Department, National University of Ireland, Maynooth, Ireland;
Coverage Criteria; Graph; Instance Generation; Metamodel; Satisfiability Modulo Theories (SMT);
机译:实例生成器和问题表示法可提高面向对象的代码覆盖率
机译:面向关联元模型中面向本体设计的超图方法
机译:基于元模型集成和面向对象的顺序采样的主动学习变保真元建模方法
机译:通过SMT求解生成满足覆盖标准的元模型实例
机译:生成机械装配序列的面向对象方法
机译:细菌代谢的基因组规模模型的一致性分析:一种元模型方法
机译:利用属性类型图生成\ ud 使用SMT求解器的元模型实例
机译:面向问题的自动医疗信息系统(pROmIs)。 pROmIs实例系统的功能规范