Universidad Complutense de Madrid, Spain;
机译:有效验证UML / OCL类图的工具和切片技术的评估
机译:有效验证UML / OCL类图的工具和切片技术的评估
机译:基于需求的静态类图构造器(scdc)案例工具
机译:ITP / OCL:用于UML + OCL静态类图的基于重写的验证工具
机译:系统工程中的验证和确认:应用于UML 2.0活动和类图
机译:正式交换MIM图的正式MIM规范和工具:基于XML的格式API和验证方法
机译:从关系类表到UML + OCL