Search
Now showing items 1-3 of 3
Coding or comprehension? The essence of software system design
(University of Hertfordshire, 1993)
Throughout the disciplines of engineering, modelling and simulation are generally considered as important components of any modern designer's tool kit. They allow the powerful mechanisms of abstraction, decomposition and ...
Security system case study
(University of Hertfordshire, 1992)
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 ...
Vertical Z
(University of Hertfordshire, 1991)
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 ...