机译:根据经验评估OCL和Java以指定对UML模型的约束
Certus Software V&V Ctr, Simula Res Lab, POB 134, N-1325 Lysaker, Norway;
Certus Software V&V Ctr, Simula Res Lab, POB 134, N-1325 Lysaker, Norway;
OCL; Java; Controlled experiment; Empirical study; Constraints;
机译:UML40DP:计算元模型中的接口的OCL 2.0约束规范和UML建模
机译:从对象关系数据库中提取UML模型和OCL完整性约束
机译:从对象关系数据库中提取UML模型和OCL完整性约束
机译:SOCLe中UML模型上扩展OCL约束的模型检查
机译:使用对象约束语言的时间扩展进行模型检查UML设计。
机译:基于模型的经济评估中资源约束的经验估计:南非结核病服务的一个例子
机译:在pVs中形式化UmL模型和OCL约束1