Ahmed M. Mostafa, Manal A. Ismai, Hatem El-Bolok, E. M. Saad. Toward a Formalization of UML2.0 Metamodel using Z Specifications. In Wenying Feng, Feng Gao, editors, Proceedings of the 8th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2007, July 30 - August 1, 2007, Qingdao, China. pages 694-701, IEEE Computer Society, 2007. [doi]
Abstract is missing.