@inproceedings{16dab22637d04d338381cd85d8c4591c,
title = "General lessons from a rely/guarantee development",
abstract = "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 = "Jones, \{Cliff B.\} and Andrius Velykis and Nisansala Yatapanage",
note = "Publisher Copyright: {\textcopyright} 2017, Springer International Publishing AG.; 3rd International Symposium on Dependable Software Engineering: Theories, Tools and Applications, SETTA 2017 ; Conference date: 23-10-2017 Through 25-10-2017",
year = "2017",
doi = "10.1007/978-3-319-69483-2\_1",
language = "English",
isbn = "9783319694825",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "3--22",
editor = "Ji Wang and Larsen, \{Kim Guldstrand\} and Oleg Sokolsky",
booktitle = "Dependable Software Engineering",
address = "Germany",
}