MDE; DSL; Formal methods; Visual animation;
机译:一种评估多主体系统特定领域建模语言环境的系统方法
机译:在铁路域中的嵌入式系统建模可维护软件测试
机译:定义域特定模型语言的域约束的方法
机译:面向铁路系统建模和验证的基于工具的领域特定方法
机译:用于验证和确认软件需求的特定领域方法。
机译:两种对人Rh-血型系统的D抗原具有特异性的人单克隆抗体的VH和VL结构域的核苷酸序列和三维建模。
机译:设计领域特定的语言-工匠使用CASL的铁路领域方法