Toggle Main Menu Toggle Search

Open Access padlockePrints

Specification before satisfaction: The case for research into obtaining the right specification - Extended abstract

Lookup NU author(s): Professor Cliff Jones



The Interdisciplinary Research Collaboration on Dependability (DIRC) project which focuses on ways to design dependable computer-based systems is described. The DIRC project give an insight that the design of boundaries that limit the propagation of failures is better articulated for technical systems than for the human part of computer-based systems. DIRC has identified that to avoid having to build a model of the behaviour of the physical components, assumptions about their behaviour are recorded using rely conditions. One key experience from the first three quarters of the project is the in-valuable role of interdisciplinarity.

Publication metadata

Author(s): Jones CB

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: ZB 2005: Formal Specification and Development in Z and B. 4th International Conference of B and Z Users

Year of Conference: 2005

Pages: 1-5

Date deposited: 09/02/2011

ISSN: 0302-9743

Publisher: Springer


DOI: 10.1007/11415787_1

Notes: book doi: 10.1007/b135596

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783540255598