Lookup NU author(s): Professor Cliff Jones,
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.
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
Online publication date: 17/10/2017
Acceptance date: 02/04/2016
Publisher: Springer Verlag
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)