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
Formalization of UML use case diagram-a Z notation based approach
2006 International Conference on Computing & Informatics
A Unified Modeling Language (UML) [1, 2] use case diagram is a visual tool that provides a way for developers to come to a common understanding with system's end users and domain experts. The behavior of a use case can be specified by describing a flow of events in text for an outsider to understand it easily. The flow of events of a use case is specified in an informal structured text. Therefore, it is not possible to automate the verification of tracking requirements captured in a use casedoi:10.1109/icoci.2006.5276507 fatcat:swi5t3bm5nghxnvhlichsoxj2q