Slide 1 October 5, 2004 Center for Software Dependability, Mohammad Ali Jinnah University, Islamabad Campus1 Formalization of UML Muhammad Zouhaib Zafar Slide 2 October 5,…
