evaluation of tools and slicing techniques for efficient verification of umlocl class diagrams评估工具和切片技术umlocl类图的有效验证.pdfVIP

Hindawi Publishing Corporation Advances in Software Engineering Volume 2011, Article ID 370198, 18 pages doi:10.1155/2011/370198 Research Article Evaluation of Tools and Slicing Techniques for Efficient Verification of UML/OCL Class Diagrams Asadullah Shaikh,1, 2 Uffe Kock Wiil,1 and Nasrullah Memon1, 3 1 The Maersk Mc-Kinney Moller Institute, University of Southern Denmark, 5230 Odense, Denmark 2 Universitat Oberta de Catalunya, Barcelona 08018, Spain 3 Mehran University of Engineering Technology, Jamshoro 76062, Pakistan Corre