Search
Now showing items 51-60 of 134
Nietzsche, Zarathustra and the status of laughter
(1992)
Laughter is not one of the phenomena most commonly associated with Friedrich Nietzsche. Indeed, numerous people to whom I have mentioned my interest in Nietzsche on laughter seem to have assumed that connecting the two was ...
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 ...
Towards a satisfaction relation between CCS specifications and their refinements
(University of Hertfordshire, 1992)
The thesis is concerned with the application and applicability of CCS and, in particular, the problem of establishing a satisfaction relation between specifications and their refinements in CCS. The problems encountered ...
Eiffel, the universe and everything. (somethings anyway)
(University of Hertfordshire, 1992)
This document is a brief introduction to the programming language, Eiffel version 2.2, as currently available on the Sparc Workstations. It assumes a basic knowledge of object oriented concepts, terminology and techniques. ...
CCS and object-oriented concepts
(University of Hertfordshire, 1992)
The visibility of using CCS as a formal specification language for classes of objects is investigated. The class based object-oriented paradigm is assumed throughout. It is concluded that CCS can be used to specify classes ...
An investigation of types leading to an examination of some aspects of F-bounded interfaces and the type classes of Haskell
(University of Hertfordshire, 1992)
The treatment of types in programming and in type checking is considered briefly and types are distinguished from classes. The subtyping relation is discussed with particular emphasis on the consequences of combining the ...
Fine grained object protection in UNIX
(University of Hertfordshire, 1992)
In this document we describe and discuss a solution, called UNIX Access Table Protection (UATP), to the problem of providing a secure environment for persistent object types with fine grained protection on a UNIX system. ...
Continuity and Discontinuity in Visual Experience
(1992)
The argument I wish to develop describes one of the threads of continuity throughout Wittgenstein's work. Evidence for it may be found in his memorable use of visual analogy, for example of "seeing an aspect" through the ...
Humour
(Blackwell, 1992)
A program for animating CCS specifications
(University of Hertfordshire, 1992)
This report describes the operation of a program which enables the behaviours admitted by a specification in the Calculus of Communicating Systems (CCS) to be investigated. Two specifications in the calculus are presented ...