Security system case study

dc.contributor.author	Loomes, M.
dc.contributor.author	Britton, C.
dc.date.accessioned	2010-07-16T11:04:36Z
dc.date.available	2010-07-16T11:04:36Z
dc.date.issued	1992
dc.identifier.citation	Loomes , M & Britton , C 1992 , Security system case study . UH Computer Science Technical Report , vol. 136 , University of Hertfordshire .
dc.identifier.other	dspace: 2299/4661
dc.identifier.uri	http://hdl.handle.net/2299/4661
dc.description.abstract	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.	en
dc.format.extent	2619064
dc.language.iso	eng
dc.publisher	University of Hertfordshire
dc.relation.ispartofseries	UH Computer Science Technical Report
dc.title	Security system case study	en
dc.contributor.institution	School of Computer Science
rioxxterms.type	Other
herts.preservation.rarelyaccessed	true