UML stands for Unified Modeling Language and is used to model the Object-Oriented Analysis of a software system. UML is a way of visualizing and documenting a software system by using a collection of ...

Abstract: The gap between informal models used in a UML environment and formal verifications and proofs in academic research prevents UML from valid and efficient application. In this paper, we ...

Abstract: To efficiently search for defects, system testing can be conducted when a single system function is developed. Finding defects at an early stage of work can reduce cost and time of the ...