Domain Specific Language (DSL); Semantics; Code Generation; Model-based Testing; Conformance Testing;
机译:正式化并测试DSL转换的一致性
机译:语义DMN:存在背景知识的情况下决策的形式化和推理
机译:语义DMN:在背景知识存在下的决策正式和推理
机译:正式化DSL语义进行推理和一致性测试
机译:一种形式化本体驱动的语义集成的方法:概念,维度和框架。
机译:利用基于标准的语义互操作性和Groovy DSL的同类群组选择和管理应用程序
机译:正式化并测试DSL转换的一致性