An Integration of UML Sequence Diagram with Formal Specification Methods

Journal of Software Engineering and Applications

ISSN Print: 1945-3116
ISSN Online: 1945-3124
www.scirp.org/journal/jsea
E-mail: jsea@scirp.org

Journals Menu

"An Integration of UML Sequence Diagram with Formal Specification Methods—A Formal Solution Based on Z"
written by Nasir Mehmood Minhas, Asad Masood Qazi, Sidra Shahzadi, Shumaila Ghafoor,
published by Journal of Software Engineering and Applications, Vol.8 No.8, 2015

has been cited by the following article(s):

Google Scholar
CrossRef

[1]	Integration of UML Class Diagrams Based on Semantics and Structure
	International Journal of Software …, 2024

[2]	Artificial Intelligence-Based Chatbot to Support Public Health Services in Indonesia.
	… of Interactive Mobile …, 2023

[3]	Inconsistency Checking of UML Sequence Diagrams and State Machines Using the Structure-Behavior Coalescence Method
	8th International Conference on Engineering and Emerging Technologies, 2022

[4]	Formal Methods for Enterprise Application Integration
	2021

[5]	Crime mapping model based on cloud and spatial data: A case study of Zambia police service
	2020

[6]	A blockchain-based prototype for car registration
	2020

[7]	An integration of uml use case diagram and activity diagram with Z language for formalization of library management system
	2019

[8]	An integration of uml use case diagram and activity diagram with Z language for formalization of library management system.
	2019

[9]	Model for translation of English language noun phrases to Luganda
	London Journal of Research in Computer Science and …, 2019

[10]	SISTEM PENUNJANG KEPUTUSAN PEMBELIAN PADI TERBAIK MENGGUNAKAN METODE SIMPLE MULTI ATTRIBUTE RATING TECHNIQUE (SMART …
	2017

[11]	SISTEM PENUNJANG KEPUTUSAN PEMBELIAN PADI TERBAIK MENGGUNAKAN METODE SIMPLE MULTI ATTRIBUTE RATING TECHNIQUE (SMART). (Studi Kasus UD. Kamal Lestari)
	Thesis, 2017

[12]	Integration of Use Case Formal Template Using Mapping Rules
	2016

[13]	Dynamic Visualization of Java Software System Using Sequence Diagram
	ProQuest Dissertations Publishing, 2016

[14]	THE ACCOUNTING INFORMATION SYSTEMS OF WATER SPORTS COMPANY
	2015

[1]	Integration of UML Class Diagrams Based on Semantics and Structure International Journal of Software Engineering and Knowledge Engineering, 2024 DOI:10.1142/S0218194024500207

[2]	Scalable Timed-Automata Models for Traffic Light Control Systems: Challenges and Solutions in Formal Verification IEEE Access, 2024 DOI:10.1109/ACCESS.2024.3455097

[3]	Inconsistency Checking of UML Sequence Diagrams and State Machines Using the Structure-Behavior Coalescence Method 2022 International Conference on Engineering and Emerging Technologies (ICEET), 2022 DOI:10.1109/ICEET56468.2022.10007160

[4]	Inconsistency Checking of UML Sequence Diagrams and State Machines Using the Structure-Behavior Coalescence Method 2022 International Conference on Engineering and Emerging Technologies (ICEET), 2022 DOI:10.1109/ICEET56468.2022.10007160

[5]	Integration of use case formal template using mapping rules 2016 Third International Conference on Information Retrieval and Knowledge Management (CAMP), 2016 DOI:10.1109/INFRKM.2016.7806329

	customer@scirp.org
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

	customer@scirp.org
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

Journal of Software Engineering and Applications

Journal of Software Engineering and Applications

Journals Menu

Home

About SCIRP

Service

Policies