Formalization of UML use case diagram-a Z notation based approach

by Sabnam Sengupta, Swapan Bhattacharya

Released as a paper-conference by IEEE.

2006

Type paper-conference
Stage

unknown

Year 2006

DOI 10.1109/icoci.2006.5276507

Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)

Lookup Links

Revision

This is a specific, static metadata record, not necessarily linked to any current entity in the catalog.

Catalog Record
Revision: dbb69991-0055-4cd3-a745-0dcaa743af97
API URL: JSON

Formalization of UML use case diagram-a Z notation based approach release_rev_dbb69991-0055-4cd3-a745-0dcaa743af97