Towards Verification of UML Class Models using Formal Specification Methods: A Review
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
- Article PDF
- TEI XML Kaleidoscope (download in zip)* (Beta by AI)
- Lens* NISO JATS XML (Beta by AI)
- HTML Kaleidoscope* (Beta by AI)
- DBK XML Kaleidoscope (download in zip)* (Beta by AI)
- LaTeX pdf Kaleidoscope* (Beta by AI)
- EPUB Kaleidoscope* (Beta by AI)
- MD Kaleidoscope* (Beta by AI)
- FO Kaleidoscope* (Beta by AI)
- BIB Kaleidoscope* (Beta by AI)
- LaTeX Kaleidoscope* (Beta by AI)
How to Cite
Towards Verification of UML Class Models using Formal Specification Methods: A Review. (2023). Global Journal of Computer Science and Technology, 23(H1), 1-7. https://testing.computerresearch.org/index.php/computer/article/view/102296
References
Published
2023-04-25
Issue
Section
Articles
How to Cite
Towards Verification of UML Class Models using Formal Specification Methods: A Review. (2023). Global Journal of Computer Science and Technology, 23(H1), 1-7. https://testing.computerresearch.org/index.php/computer/article/view/102296