Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli. Towards an assume-guarantee theory for adaptable systems. In 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2009, Vancouver, BC, Canada, May 18-19, 2009. pages 106-115, IEEE, 2009. [doi]
Abstract is missing.