Sciweavers

Share
DAGSTUHL
2001

Thinking Tools for the Future of Computing Science

8 years 5 months ago
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
Cliff B. Jones
Added 31 Oct 2010
Updated 31 Oct 2010
Type Conference
Year 2001
Where DAGSTUHL
Authors Cliff B. Jones
Comments (0)
books