Journal of Software Engineering and Applications

Vol.5 No.7(2012), Paper ID 19732, 10 pages

DOI:10.4236/jsea.2012.57056

 

State Based Static and Dynamic Formal Analysis of UML State Diagrams

 

Fahad Alhumaidan

 

Department of Computer Science, College of Computer Sciences and Information Technology, King Faisal University, Hofuf, KSA

 

Copyright © 2012 Fahad Alhumaidan 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

F. Alhumaidan, "State Based Static and Dynamic Formal Analysis of UML State Diagrams," Journal of Software Engineering and Applications, Vol. 5 No. 7, 2012, pp. 483-491. doi: 10.4236/jsea.2012.57056.
Journals Menu
Follow SCIRP
Contact us
+1 323-425-8868
customer@scirp.org
WhatsApp +86 18163351462(WhatsApp)
Click here to send a message to me 1655362766
Paper Publishing WeChat

Copyright © 2024 by authors and Scientific Research Publishing Inc.

Creative Commons License

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.