Toggle Main Menu Toggle Search

Open Access padlockePrints

The Newcastle University research output collection, currently available on ePrints, will shortly be moving to a new open repository platform, Figshare. To prepare for the data migration we have paused adding new content to ePrints, and will resume once the new repository is launched. During this time you will continue to have access to ePrints (but no new content will appear). We will share updates here when available.

General Lessons from a Rely/Guarantee Development

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

Downloads

Licence

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

Abstract

© 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

URL: https://doi.org/10.1007/978-3-319-69483-2_1

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

Share