ePrints

Formal methods and dependability

Lookup NU author(s): Professor Cliff JonesORCiD

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.

Abstract

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.

Publication metadata

Author(s): Jones CB

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: Mathematics of Program Construction 2000

Year of Conference: 2000

Pages: 140-143

Publisher: Springer

URL: http://dx.doi.org/10.1007/10722010_10

DOI: 10.1007/10722010_10

Library holdings: Search Newcastle University Library for this item

ISBN:

Share