Toward a Formalization of UML2.0 Metamodel using Z Specifications.

Ahmed M. Mostafa, Manal Ahmed Ismail, Hatem El-Bolok, E. M. Saad

Browse the full SNPD paper archive.