has been cited by the following article(s):
[1]
|
Formalizing structural semantics of UML 2.5 activity diagram in Z Notation
2016 International Conference on Open Source Systems & Technologies (ICOSST),
2016
DOI:10.1109/ICOSST.2016.7838579
|
|
|
[2]
|
Addressing the Construction of Z and Object-Z with Use Case Maps (UCMs)
International Journal of Software Engineering and Knowledge Engineering,
2014
DOI:10.1142/S0218194014500120
|
|
|