{"indexed":{"date-parts":[[2017,10,26]],"date-time":"2017-10-26T18:20:59Z","timestamp":1509042059917},"publisher-location":"Boston, MA","reference-count":0,"publisher":"Springer US","content-domain":{"domain":[],"crossmark-restriction":false},"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-0-387-09753-4_9","type":"chapter","created":{"date-parts":[[2009,9,22]],"date-time":"2009-09-22T16:57:48Z","timestamp":1253638668000},"page":"231-247","source":"Crossref","is-referenced-by-count":0,"title":"Programming and Validation Techniques for Reliable Goal-driven Autonomic Software","prefix":"10.1007","author":[{"given":"Damian","family":"Dechev","affiliation":[]},{"given":"Nicolas","family":"Rouquette","affiliation":[]},{"given":"Peter","family":"Pirkelbauer","affiliation":[]},{"given":"Bjarne","family":"Stroustrup","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2009,8,3]]},"container-title":"Autonomic Communication","original-title":[],"link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/978-0-387-09753-4_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2014,1,7]],"date-time":"2014-01-07T15:41:57Z","timestamp":1389109317000},"score":1.0,"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9780387097527","9780387097534"],"references-count":0,"URL":"http:\/\/dx.doi.org\/10.1007\/978-0-387-09753-4_9","relation":{}}