Toggle Main Menu Toggle Search

Open Access padlockePrints

Thinking Tools for the Future of Computing Science

Lookup NU author(s): 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.

Publication metadata

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


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