Model Driven Development; Natural languages; OCL; SBVR;
机译:UML40DP:计算元模型中的接口的OCL 2.0约束规范和UML建模
机译:使用对象UML模型和域本体审查自然语言中的要求规范
机译:通过SBVR从软件需求规范生成的UML类模型的自然语言处理方法
机译:OCL约束自然语言规范的生成
机译:从通信协议的自然语言规范到可执行的代数规范的转换方法
机译:从LEMS(NeuroML2的基础通用模型规范语言)自动生成代码
机译:将自然语言约束转换为OCL