Questions tagged [z-notation]
The Z notation is a formal language for modelling computer systems.
2
questions
1
vote
2
answers
169
views
Z Notation: sequence of sequences - find sum
Let me just say that this is for a university project. I do not expect an answer but more of a "hint".
I have a schema of a Supermarket that holds a sequence of queues:
...
1
vote
0
answers
224
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 ...