机译:CoqTL:Coq DSL,用于基于规则的模型转换
ICAM LS2N UMR CNRS 6004 Nantes France;
IMT Atlantique LS2N UMR CNRS 6004 Nantes France;
Model-driven engineering; Model transformation; Domain-specific language; Interactive theorem proving; Coq;
机译:基于模型转换的基于规则的专家系统原型
机译:基于模型转换的基于规则的专家系统原型
机译:基于规则的更新转换及其在模型重构中的应用
机译:CoqTL:Coq中用于模型转换的内部DSL
机译:从UML + MARTE到核心方案模型的基于规则的模型转换。
机译:校正 Dsl1pTip20p和新型Dsl3(Sec39)蛋白对于Q / t-SNARE复合物在酵母内质网中的稳定性是必需的
机译:通过基于规则的模型转换完善模型