...
机译:计算UML / OCL概念架构中违反约束的修复
Univ Politecn Cataluna, BarcelonaTech, Dept Serv & Informat Syst Engn, E-08034 Barcelona, Spain;
Univ Politecn Cataluna, BarcelonaTech, Dept Serv & Informat Syst Engn, E-08034 Barcelona, Spain;
Sogeti Espana, Barcelona, Spain;
Conceptual schema; UML/OCL; Integrity constraint; Repair;
机译:具有OCL约束的UML概念图的验证和确认
机译:OCL-Lite:基于UML / OCL概念模式的有限推理
机译:AuRUS:解释UML / OCL概念模式的验证
机译:OCL_(UNIV):有效推理的表现力UML / OCL概念模式
机译:关于面向对象的概念模式的功能大小度量:设计和评估问题。
机译:使用元模式来审核UMLS分类错误。
机译:计算UmL / OCL概念模式中约束违规的修复