Search
Now showing items 1731-1740 of 1881
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 ...
Complications of pregnancy and delivery in relation to psychosis in adult life: data from the British perinatal mortality survey sample
(1991)
To evaluate whether events occurring at or around the time of birth contribute to the onset of psychotic illness in adult life.
HARP: a VLIW RISC processor
(Institute of Electrical and Electronics Engineers (IEEE), 1991)
HARP (The Hatfield Risc Processor) is a reduced instruction set processor being developed at Hatfield Polytechnic, UK. The major aim of the HARP project is to develop a VLIW (Very Long Instruction Word) RISC (Reduced ...
A system for reducing imprecision in speech interfaces to generalised text input devices
(University of Hertfordshire, 1991)
This paper reports on ongoing research at Hatfield, where the Speech and Language Technology Group are developing a series of demonstrator systems in order to investigate human-computer interface design for systems where ...
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 ...
An Evaluation of the Community Care Group Scheme of Norwich Health Authority
(University of East Anglia, Health Policy Research Unit, 1991)