Search
Now showing items 31-38 of 38
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 ...
Are there any parallels between object-oriented system development and other branches of engineering?
(University of Hertfordshire, 1992)
The task of a software developer is to produce systems which can adapt to changing requirements. Object-oriented methods attempt to manage the complexity of the system by using encapsulation, inheritance and polymorphism ...
Do we still need the system life cycle?
(University of Hertfordshire, 1992)
Since the dawn of software systems the development process has been dominated by the traditional system life cycle. This is a route map, onto which a software project fits more or less comfortably, and which prescribes the ...
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 ...
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 ...
The odd couple or formal notations and the development of information systems
(University of Hertfordshire, 1990)
The development of information systems and the introduction of Formal Notations have tended to be taught as separate subjects. In this paper we hope to show that it is both possible and desirable to place Formal Notations ...