机译:简化UML / OCL模式以进行有效推理
Universitat Politécnica de Catalunya - Barcelona, Spain;
Universitat Politécnica de Catalunya - Barcelona, Spain;
uml; ocl; reasoning; simplification;
机译:OCL-Lite:基于UML / OCL概念模式的有限推理
机译:AuRUS:解释UML / OCL概念模式的验证
机译:计算UML / OCL概念架构中违反约束的修复
机译:OCL_(UNIV):有效推理的表现力UML / OCL概念模式
机译:基于架构的基于模式的效果对初学生数学词问题解决性能的影响
机译:使用元模式来审核UMLS分类错误。
机译:计算UmL / OCL概念模式中约束违规的修复