State Based Static and Dynamic Formal Analysis of UML State Diagrams

ISSN Print: 1945-3116
ISSN Online: 1945-3124
www.scirp.net/journal/jsea
E-mail: [email protected]

Citations

"State Based Static and Dynamic Formal Analysis of UML State Diagrams"
written by Fahad Alhumaidan,
published by Journal of Software Engineering and Applications, Vol.5 No.7, 2012

has been cited by the following article(s):

[1]	Complexity Metrics for Statechart Diagrams
	2022

[2]	Methodology for Integrating Computational Tree Logic Model Checking in Unified Modelling Language Artefacts A Case Study of an Embedded Controller
	2019

[3]	A Literature Survey of Cognitive Complexity Metrics for Statechart Diagrams
	2019

[4]	Methodology for Integrating Computational Tree Logic Model Checking in Unified Modelling Language Artefacts: A Case Study of an Embedded Controller.
	2019

[5]	Research on the Development and Application of the Teaching Management System about Geodesy Basis
	2017

[6]	Formalizing structural semantics of UML 2.5 activity diagram in Z Notation
	2016

[7]	Addressing the Construction of Z and Object-Z with Use Case Maps (UCMs)
	International Journal of Software Engineering and Knowledge Engineering, 2014

[8]	Model Analysis of Equivalence Classes in UML Events Relations
	Journal of Software Engineering and Applications, 2013

[1]	Using Flowcharts and State Diagrams as Tools For Industrial Design of Smart Products Sanat ve Tasarım Dergisi, 2025 DOI:10.18603/sanatvetasarim.1699442

[2]	Formalizing structural semantics of UML 2.5 activity diagram in Z Notation 2016 International Conference on Open Source Systems & Technologies (ICOSST), 2016 DOI:10.1109/ICOSST.2016.7838579

[3]	Addressing the Construction of Z and Object-Z with Use Case Maps (UCMs) International Journal of Software Engineering and Knowledge Engineering, 2014 DOI:10.1142/S0218194014500120

Top