Lookup NU author(s): Professor Cliff Jones
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
This paper sets out a programme of work in the area of de pendability. The research is to be pursued under the aegis of a six-year Inter-Disciplinary Research Collaboration funded by the UK Engineering and Physical Sciences Research Council. The aim is to to consider computer-based systems which comprise humans as well as hardware and software. The aim here is to indicate how formal methods ideas, coupled with structuring proposals, can help address a problem which clearly also requires social science input.
Author(s): Jones CB
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: Mathematics of Program Construction 2000
Year of Conference: 2000
Library holdings: Search Newcastle University Library for this item