{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T04:54:41Z","timestamp":1648529681021},"reference-count":8,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2006,6,1]],"date-time":"2006-06-01T00:00:00Z","timestamp":1149120000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artif Intell Rev"],"published-print":{"date-parts":[[2006,6]]},"DOI":"10.1007\/s10462-007-9030-9","type":"journal-article","created":{"date-parts":[[2007,9,20]],"date-time":"2007-09-20T09:26:08Z","timestamp":1190280368000},"page":"281-284","source":"Crossref","is-referenced-by-count":0,"title":["Editorial: Engineering autonomic systems"],"prefix":"10.1007","volume":"25","author":[{"given":"Roy","family":"Sterritt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael G.","family":"Hinchey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2007,9,21]]},"reference":[{"issue":"4","key":"9030_CR1","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1109\/52.391826","volume":"12","author":"JP Bowen","year":"1995","unstructured":"Bowen JP and Hinchey MG (1995). Seven more myths of formal methods. IEEE Software 12(4): 34\u201341","journal-title":"IEEE Software"},{"key":"9030_CR2","volume-title":"Industrial strength formal methods in practice","author":"JP Bowen","year":"1999","unstructured":"Bowen JP and Hinchey MG (1999). Tis Greek to me: method in the madness. In: Hinchey, MG and Bowen, JP (eds) Industrial strength formal methods in practice, pp. Springer Verlag FACIT series, London"},{"key":"9030_CR3","volume-title":"What computers still can\u2019t do: a critique of artificial reason","author":"HL Dreyfus","year":"1992","unstructured":"Dreyfus HL (1992). What computers still can\u2019t do: a critique of artificial reason. MIT Press, Cambridge"},{"issue":"1","key":"9030_CR4","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1147\/sj.421.0005","volume":"42","author":"AG Ganek","year":"2003","unstructured":"Ganek AG and Corbi TA (2003). The dawning of the autonomic computing era. IBM Syst J 42(1): 5\u201318","journal-title":"IBM Syst J"},{"key":"9030_CR5","volume-title":"Applications of formal methods","author":"MG Hinchey","year":"1995","unstructured":"Hinchey MG and Bowen JP (1995). Applications of formal methods FAQ. In: Hinchey, MG and Bowen, JP (eds) Applications of formal methods, pp. Prentice Hall, Hemel Hempstead and Englewood Cliffs"},{"key":"9030_CR6","volume-title":"Models of my life","author":"HA Simon","year":"1991","unstructured":"Simon HA (1991). Models of my life. Basic Books, NY"},{"issue":"1","key":"9030_CR7","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1007\/s11334-005-0001-5","volume":"1","author":"R Sterritt","year":"2005","unstructured":"Sterritt R (2005). Autonomic computing. Innovations Syst Softw Eng 1(1): 79\u201388","journal-title":"Innovations Syst Softw Eng"},{"key":"9030_CR8","unstructured":"Sterritt R, Hinchey MG (2005) Birds of a feather session: autonomic computing: panacea or poppycock?. In Proceedings of IEEE workshop on the engineering of autonomic systems (EASe 2005) at 12th annual IEEE international conference and workshop on the engineering of computer based systems (ECBS 2005), Greenbelt, MD, USA, 3\u20138 April, 2005, pp 335\u2013341"}],"container-title":["Artificial Intelligence Review"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10462-007-9030-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10462-007-9030-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10462-007-9030-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T17:45:05Z","timestamp":1559151905000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10462-007-9030-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,6]]},"references-count":8,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2006,6]]}},"alternative-id":["9030"],"URL":"https:\/\/doi.org\/10.1007\/s10462-007-9030-9","relation":{},"ISSN":["0269-2821","1573-7462"],"issn-type":[{"value":"0269-2821","type":"print"},{"value":"1573-7462","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,6]]}}}