Search
Now showing items 1-3 of 3
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 ...
Formal specification and object-oriented design
(University of Hertfordshire, 1991)
In recent years, object-oriented design and formal specification languages have become increasingly important in the development of software systems. In this paper we use the formal specification languages OBJ1 and OBJ3 ...
Modelling techniques for object-oriented design
(University of Hertfordshire, 1991)
It is increasingly recognised that an object-oriented approach offers the most promising way forward for the design and production of software systems. In this paper we adopt this point of view, and discuss a problem which ...