Damian Dechev, Nicolas Rouquette, Peter Pirkelbauer, Bjarne Stroustrup. Programming and Validation Techniques for Reliable Goal-driven Autonomic Software. In Athanasios V. Vasilakos, Manish Parashar, Stamatis Karnouskos, Witold Pedrycz, editors, Autonomic Communication. pages 231-247, Springer, 2010. [doi]
Abstract is missing.