Editorial: Engineering autonomic systems

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