Toggle Main Menu Toggle Search

Open Access padlockePrints

General Lessons from a Rely/Guarantee Development

Lookup NU author(s): Professor Cliff JonesORCiD, Dr Andrius Velykis, Dr Nisansala Yatapanage



This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License (CC BY-NC 4.0).


© 2017, Springer International Publishing AG. Decomposing the design (or documentation) of large systems is a practical necessity; this prompts the need for a notion of compositional development methods; finding such methods for concurrent software is technically challenging because of the interference that characterises concurrency. This paper outlines the development of a difficult example in order to draw out lessons about such development methods. Although the “rely/guarantee” approach is employed in the example, the intuitions are more general.

Publication metadata

Author(s): Jones CB, Velykis A, Yatapanage N

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 3rd International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA)

Year of Conference: 2017

Pages: 3-22

Online publication date: 17/10/2017

Acceptance date: 02/04/2016

Date deposited: 22/11/2017

Publisher: Springer Verlag


DOI: 10.1007/978-3-319-69483-2_1

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ISBN: 9783319694825