Lookup NU author(s): Professor Brian Randell
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
The paper presents a method of modelling a computer system design as it evolves, so that evaluation can be made an integral part of the design process. The paper introduces the concept of concurrent existence, within a single model, of several representations of the system being modelled, at differing levels of abstraction. Thus important design decisions are expressed directly in terms of appropriately abstract quantities, facilitating understanding, validation, and modification of the system design. The paper includes brief details of an experimental implementation of the modelling technique and of the use of the technique to model both hardware and software components of a multi-processing system.
Author(s): Zurcher FW, Randell B
Editor(s): Morrell, A.J.H.
Publication type: Conference Proceedings (inc. Abstract)
Conference Name: IFIP Congress 1968: Information Processing
Year of Conference: 1968
Publisher: North-Holland Publishing
Series Title: Proceedings of IFIP Congress 68