Thinking Tools for the Future of Computing Science

This paper argues that "formal methods" can (continue to) provide the thinking tools for the future of computing science. Every significant engineering or scientific discipline has advanced only with systematic and formally based notations. To see just how ubiquitous the need for notation is, one can look beyond the sciences and observe the importance of written notation in the development of music. Map making is another area where the importance of notation and the understandhe need for (levels of) abstraction is recognised. Formal methods provide notations to navigate the future of computing science. Please cite the original publication: Thinking tools for the future of computing science, Cliff B Jones, pp112

• Type: Conference
• Year: 2001
• Where: DAGSTUHL
• Authors: Cliff B. Jones
• Keywords: Computing Science, DAGSTUHL 2001, DAGSTUHL 2007, Formal Methods, Thinking Tools