Table of Contents
Advances in Software Engineering
Volume 2011 (2011), Article ID 370198, 18 pages
http://dx.doi.org/10.1155/2011/370198
Research Article

Evaluation of Tools and Slicing Techniques for Efficient Verification of UML/OCL Class Diagrams

1The Maersk Mc-Kinney Moller Institute, University of Southern Denmark, 5230 Odense, Denmark
2Universitat Oberta de Catalunya, Barcelona 08018, Spain
3Mehran University of Engineering & Technology, Jamshoro 76062, Pakistan

Received 31 December 2010; Revised 9 May 2011; Accepted 28 June 2011

Academic Editor: Andrea De Lucia

Copyright © 2011 Asadullah Shaikh et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

How to Cite this Article

Asadullah Shaikh, Uffe Kock Wiil, and Nasrullah Memon, “Evaluation of Tools and Slicing Techniques for Efficient Verification of UML/OCL Class Diagrams,” Advances in Software Engineering, vol. 2011, Article ID 370198, 18 pages, 2011. doi:10.1155/2011/370198