Towards Verification of UML Class Models using Formal Specification Methods: A Review

Authors

  • Kruti P. Shah

  • Emanuel S. Grant

Keywords:

formal methods; model verification; MDE; UML models; UML class diagrams

Abstract

Abstract In today s world many elements of our lives are being affected by software and for that we are in greater need of high-quality software The Unified Modeling Language UML is considered the de facto standard for object-oriented software model development UML class diagram plays an important role in the design and specification of software systems A class diagram provides a static description of system components

Downloads

How to Cite

Kruti P. Shah, & Emanuel S. Grant. (2023). Towards Verification of UML Class Models using Formal Specification Methods: A Review. Global Journal of Computer Science and Technology, 23(H1), 1–7. Retrieved from https://computerresearch.org/index.php/computer/article/view/102296

 
Towards Verification of UML Class Models using Formal Specification Methods: A Review

Published

2023-04-25

Issue

Vol. 23 No. H1 (2023): GJCST-H Information & Technology: Volume 23 Issue H1

Section

Articles

License

Copyright (c) 2023 Authors and Global Journals Private Limited

Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.