Vertical Z

M. Loomes, C. Britton

    Research output: Book/ReportOther report

    17 Downloads (Pure)


    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 company. The part of the specification shown here illustrates the use of cards to permit access to secure rooms in the company building. We will refer to this part of the specification as the Door Control System.
    Original languageEnglish
    PublisherUniversity of Hertfordshire
    Publication statusPublished - 1991

    Publication series

    NameUH Computer Science Technical Report
    PublisherUniversity of Hertfordshire


    Dive into the research topics of 'Vertical Z'. Together they form a unique fingerprint.

    Cite this