References
Bowen JP and Hinchey MG (1995). Seven more myths of formal methods. IEEE Software 12(4): 34–41
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
Dreyfus HL (1992). What computers still can’t do: a critique of artificial reason. MIT Press, Cambridge
Ganek AG and Corbi TA (2003). The dawning of the autonomic computing era. IBM Syst J 42(1): 5–18
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
Simon HA (1991). Models of my life. Basic Books, NY
Sterritt R (2005). Autonomic computing. Innovations Syst Softw Eng 1(1): 79–88
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–8 April, 2005, pp 335–341
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Sterritt, R., Hinchey, M.G. Editorial: Engineering autonomic systems. Artif Intell Rev 25, 281–284 (2006). https://doi.org/10.1007/s10462-007-9030-9
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10462-007-9030-9