University of Hertfordshire

Vertical Z

Research output: Book/ReportOther report


  • M. Loomes
  • C. Britton
View graph of relations
Original languageEnglish
PublisherUniversity of Hertfordshire
Publication statusPublished - 1991

Publication series

NameUH Computer Science Technical Report
PublisherUniversity of Hertfordshire


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.

ID: 99427