Media type: E-Article Title: An Integration of UML Sequence Diagram with Formal Specification Methods—A Formal Solution Based on Z Contributor: Minhas, Nasir Mehmood; Qazi, Asad Masood; Shahzadi, Sidra; Ghafoor, Shumaila imprint: Scientific Research Publishing, Inc., 2015 Published in: Journal of Software Engineering and Applications Language: Not determined DOI: 10.4236/jsea.2015.88037 ISSN: 1945-3116; 1945-3124 Keywords: General Medicine Origination: Footnote: Access State: Open Access