A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
TESTING AND VERIFICATION OF SOFTWARE MODEL THROUGH FORMAL SEMANTICS: A SYSTEMATIC REVIEW
2014
International Journal of Research in Engineering and Technology
UML is a standard language used in business modeling for specifying, visualizing and constructing artifact for software and non software systems. It provides the capability to explore the static structure as well as dynamic behaviour of any large and complex software system. It consists of different software design patterns, templates and frameworks with unique diagrams to represent different aspect of software design during its development phase. Model based verification has been a key area to
doi:10.15623/ijret.2014.0322016
fatcat:tbmpeep2g5gofhylq5d6dyxmta