Search
Now showing items 1-3 of 3
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 ...
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 ...
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 ...