Desert Island Column

Boyer, R.S., Moore, JS. (eds.): The Correctness Problem in Computer Science. Academic Press, London (1981) Bowen, J.P., Hinchey, M.G.: Ten commandments of formal methods. Technical Report 350, University of Cambridge Computer Laboratory, 18 September 1994 Bowen, J.P., Hinchey, M.G.: Seven more myths of formal methods. Software 12(4), 34–41 (1995a) Bowen, J.P., Hinchey, M.G. (eds.) ZUM’95: The Z Formal Specification Notation. Proceedings of the 9th International Conference of Z Users. LNCS, vol. 967, pp. 7–9. University of Limerick, Ireland (1995b) Bowen, J.P., Hinchey, M.G.: Ten commandments of formal methods. Computer 28(4), 56–63 (1995c) Bowen, J.P., Hinchey, M.G.: High-Integrity System Specification and Design, Formal Approaches to Computing and Information Technology. Springer, London (1998) Bowen, J.P., Hinchey, M.G.: Ten commandments of formal methods… ten years later. Computer 39(1), 40–48 (2006) Brooks, F.P. Jr.: No silver bullet: essence and accidents of software engineering. Computer 20(4), 10–19 (1987) Dean, C.N., Hinchey, M.G. (eds.): Teaching and Learning Formal Methods. Series in Formal Methods, Academic Press, London (1996) Dijkstra, E.W.: Introduction: why correctness must be a mathematical concern. In: The Correctness Problem in Computer Science, pp. 1–8. Academic Press, London (1981) Gerhart, S., Craigen, D., Ralston, T.: Experience with formal methods in critical systems. IEEE Softw. 11(1), 21–28 (1994a) Gerhart, S., Craigen, D., Ralston, T.: Regulatory case studies. IEEE Softw. 11(1), 30–39 (1994b) Hall, J.A.: Seven myths of formal methods. Software 7(5), 11–19 (1990) Harel, D.: Biting the silver bullet: toward a brighter future for system development. Computer 25(1), 8–20 (1992) Hinchey, M.G., Bowen, J.P. (eds.): Industrial-strength formal methods in practice. Formal Approaches to Computing and Information Technology. Springer, London (1999) Hinchey, M.G.: Confessions of a formal methodist. In: Proc. of the 7th Australian Workshop on Safety Critical Systems and Software. Adelaide, Australia (2002) Hoare, C.A.R.: Communicating Sequential Processes. Commun. ACM 21(8), 666–677 (1978) Jones, C.B.: Systematic Software Development using VDM. Series in Computer Science, Prentice-Hall, Englewood Cliffs (1986) Laplante, P. (ed.): Great Papers in Computer Science. IEEE Press (1996) Leveson, N.G.: Medical devices: The therac-25 story. In: Safeware: System Safety and Computers, pp. 515–553. Addison-Wesley, Reading (1995) Orr, K., Gane, C., Yourdon, E., Chen, P.P., Constantine, L.L.: Methodology: the experts speak. BYTE 14(4), 221–233 (1989) Wing, J.M.: A specifier’s introduction to formal methods. Computer 23(9), 8–24 (1990) Woodcock, J.C.P., Loomes, M.: Software Engineering Mathematics. Routledge, London (1988)