机译:在Maude规范中嵌入特定于领域的建模语言
Inria Lille Nord-Europe and Laboratoire d'Informatique Fondamentale de Lille, Lille, France;
Domain-specific languages; Algebraic specifications; Formal verification; Maude;
机译:使用领域特定语言的排队网络模型的规范和仿真
机译:一种领域特定的建模方法,用于支持视觉教学设计语言的规范和专用编辑器的构建
机译:领域特定建模语言的行为语义的组合规范
机译:实时Maude中嵌入式系统建模语言的语义,仿真和形式分析
机译:电子物理系统领域特定建模语言的形式语义规范。
机译:故障:用于元编程的Python嵌入式域特定语言用于Metogrogramming便携式硬件验证组件
机译:在Maude规范中嵌入域特定的建模语言
机译:选择性,嵌入式,即时专业化(sEJITs):来自顺序,高效,嵌入式领域特定语言的可移植并行性能。