Security system case study

Loomes, M. and Britton, C. (1992) Security system case study. UH Computer Science Technical Report . University of Hertfordshire.
Copy

This paper is an early draft of the specification of a security system. We begin by giving a full description in English of the client company and their requirements for card issuing system and a door control system. The formal notation, Z, is then used to specify the door control system, in terms of both it's basic functionality and it's interaction with the people who use it. The specification of the card issuing system is left as an exercise for the reader. Suggestions as to how to proceed with this can be found at the end of the paper.


picture_as_pdf
CSTR+136.pdf

View Download

Atom BibTeX OpenURL ContextObject in Span OpenURL ContextObject Dublin Core MPEG-21 DIDL Data Cite XML EndNote HTML Citation METS MODS RIOXX2 XML Reference Manager Refer ASCII Citation
Export

Downloads