机译:可重用的规范模板,用于定义DSL的动态语义
Tech Univ Eindhoven, POB 513, NL-5600 MB Eindhoven, Netherlands;
Domain-specific language; Dynamic semantics; Specification template; Generic programming; Aspect-oriented programming;
机译:DynSem:用于动态语义规范的DSL
机译:使用TTCN-3 1 sup>定义用于实时测试规范的形式语义
机译:为Rosetta规范语言定义形式化的代数语义
机译:可重复使用的规范模板,用于定义DSL的动态语义
机译:模板语义:基于语义的模型编译的参数化方法。
机译:利用基于标准的语义互操作性和Groovy DSL的同类群组选择和管理应用程序
机译:可重用的规范模板,用于定义DSL的动态语义
机译:具有有限等式最终语义规范的自然数据类型但没有有效的等式初始语义规范