The Maersk Mc-Kinney Moller Institute University of Southern Denmark;
The Maersk Mc-Kinney Moller Institute University of Southern Denmark;
The Maersk Mc-Kinney Moller Institute University of Southern Denmark;
non disjoint uml/ocl slicing; model slicing; verification of uml/ocl models; non disjoint slicing of uml/ocl class diagrams;
机译:有效验证UML / OCL类图的工具和切片技术的评估
机译:有效验证UML / OCL类图的工具和切片技术的评估
机译:UML / OCL模型的增量验证
机译:UOST:UML / OCL积极切片技术,用于高效验证模型
机译:用于自动验证UML设计模型的框架:应用于UML 2.0交互。
机译:开发复杂动态生物系统的领域模型时,统计技术补充UML
机译:UML / OCL类图的高效验证驱动切片