...
机译:AuRUS:解释UML / OCL概念模式的验证
Univ Politecn Cataluna, BarcelonaTech, Dept Serv & Informat Syst Engn ESSI, Barcelona, Spain;
Univ Politecn Cataluna, BarcelonaTech, Dept Serv & Informat Syst Engn ESSI, Barcelona, Spain;
Barcelona Supercomp Ctr, Storage Syst Grp, Barcelona, Spain;
Univ Politecn Cataluna, BarcelonaTech, Dept Serv & Informat Syst Engn, Barcelona, Spain;
Univ Politecn Cataluna, BarcelonaTech, Dept Serv & Informat Syst Engn ESSI, Barcelona, Spain;
Validation; Conceptual modeling; UML; OCL; Automated reasoning; Explanation;
机译:具有OCL约束的UML概念图的验证和确认
机译:OCL-Lite:基于UML / OCL概念模式的有限推理
机译:计算UML / OCL概念架构中违反约束的修复
机译:AuRUS:UML / OCL架构上的自动推理
机译:关于面向对象的概念模式的功能大小度量:设计和评估问题。
机译:使用元模式来审核UMLS分类错误。
机译:auRUs:解释UmL / OCL概念模式的验证