Questions tagged [z-notation]

The Z notation is a formal language for modelling computer systems.

Filter by
Sorted by
Tagged with
1
vote
0answers
46 views

How to prevent the change of other objects in Z specification?

I have Z specification of Banking system, whose fragments are: and I think that the specification is OK, but my professor says that this specifiction is completely wrong, because AddAccount ...