Security system case study
Loomes, M. and Britton, C.
(1992)
Security system case study.
University of Hertfordshire.
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.
Item Type | Other |
---|---|
Date Deposited | 26 Jul 2024 13:40 |
Last Modified | 26 Jul 2024 13:40 |
Downloads
-
picture_as_pdf - CSTR 136.pdf
Share this file
Explore Further
Read more research from the creator(s):
Find work associated with the faculties and division(s):