Browse by author
Lookup NU author(s): Emeritus Professor Cliff JonesORCiD
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
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 understanding of the need for (levels of) ion is recognised. Formal methods provide notations to navigate the future of computing science.
Author(s): Jones CB
Editor(s): Wilhelm, R.
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: Informatics: 10 Years Back, 10 Years Ahead
Year of Conference: 2001
Pages: 112-130
Publisher: Springer-Verlag
URL: http://dx.doi.org/10.1007/3-540-44577-3_8
DOI: 10.1007/3-540-44577-3_8
Notes: Invited Paper. Dagstuhl 10th Anniversary Conference, Saarland University Campus, Saarbrücken, Germany, 27-31 August 2000.
Library holdings: Search Newcastle University Library for this item
Series Title: Lecture Notes in Computer Science
ISBN: 3540416358
