University Institute of Information Technology, PMAS-University Institute of Information Technology,
Rawalpindi, Pakistan
University Institute of Information Technology, PMAS-University Institute of Information Technology,
Rawalpindi, Pakistan
University Institute of Information Technology, PMAS-University Institute of Information Technology,
Rawalpindi, Pakistan
University Institute of Information Technology, PMAS-University Institute of Information Technology,
Rawalpindi, Pakistan
Copyright © 2015 Nasir Mehmood Minhas, Asad Masood Qazi, Sidra Shahzadi, Shumaila Ghafoor 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
Minhas, N. , Qazi, A. , Shahzadi, S. and Ghafoor, S. (2015) An Integration of UML Sequence Diagram with Formal Specification Methods—A Formal Solution Based on Z.
Journal of Software Engineering and Applications,
8, 372-383. doi:
10.4236/jsea.2015.88037.