Search
Now showing items 1-1 of 1
Vertical Z
(University of Hertfordshire, 1991)
In this paper, lessons learned about decomposition in programming are used as the basis for the organisation of a Z specification. The example used is drawn from an information system which manages security for a large ...