Formalization of UML diagrams and their consistency verification: A Z notation based approach

Sabnam Sengupta, Swapan Bhattacharya. Formalization of UML diagrams and their consistency verification: A Z notation based approach. In Gautam Shroff, Pankaj Jalote, Sriram K. Rajamani, editors, Proceeding of the 1st Annual India Software Engineering Conference, ISEC 2008, Hyderabad, India, February 19-22, 2008. pages 151-152, ACM, 2008. [doi]

Abstract

Abstract is missing.