Podcast #128: We chat with Kent C Dodds about why he loves React and discuss what life was like in the dark days before Git. Listen now.

Questions tagged [z-notation]

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

1 question with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
1
vote
0answers
49 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 ...