TY - GEN
T1 - General lessons from a rely/guarantee development
AU - Jones, Cliff B.
AU - Velykis, Andrius
AU - Yatapanage, Nisansala
N1 - Publisher Copyright:
© 2017, Springer International Publishing AG.
PY - 2017
Y1 - 2017
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=85032668555&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-69483-2_1
DO - 10.1007/978-3-319-69483-2_1
M3 - Conference contribution
SN - 9783319694825
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 3
EP - 22
BT - Dependable Software Engineering
A2 - Wang, Ji
A2 - Larsen, Kim Guldstrand
A2 - Sokolsky, Oleg
PB - Springer Verlag
T2 - 3rd International Symposium on Dependable Software Engineering: Theories, Tools and Applications, SETTA 2017
Y2 - 23 October 2017 through 25 October 2017
ER -