Cliff Jones
From Wikipedia, the free encyclopedia
- This page refers to the British computer scientist. For other persons named Cliff Jones, see Cliff Jones (disambiguation).
Professor Clifford "Cliff" Jones FACM FBCS FIET FREng is a British computer scientist, specializing in research into formal methods. He undertook a late DPhil at the Oxford University Computing Laboratory under Tony Hoare, awarded in 1981. He also worked with Dines Bjørner and others on the Vienna Development Method (VDM) at IBM in Vienna.
He was a professor at the University of Manchester, worked in industry at Harlequin for a period, and is now a Professor of Computing Science at Newcastle University. He is Editor-in-Chief of the Formal Aspects of Computing journal.
As well as formal methods, he also has interests in interdisciplinary aspects of computer science and the history of computing.
[edit] Books
VDM: Une methode rigoureuse pour le developpment du logiciel, Jones, C.B. Masson, Paris. ISBN 2-225-82812-1 (1993).
MURAL: A Formal Development Support System, Jones, C.B., Jones, K.D., Lindsay, P.A. and Moore, R. (eds.). Springer-Verlag. ISBN 3-540-19651-X (1991).
Systematic Software Development using VDM (2nd Edition), Jones, C.B. Prentice Hall International Series in Computer Science, Prentice Hall. ISBN 0-13-880733-7, 19 90
Case Studies in Systematic Software Development, Jones, C.B. and Shaw, R.C.F. (eds.). Prentice Hall International Series in Computer Science, Prentice Hall. ISBN 0-13-116088-5 (1989).
Essays in Computing Science, Hoare, C.A.R. and Jones, C.B. Prentice Hall International Series in Computer Science, Prentice Hall. ISBN 0-13-284027-8 (1989).
Systematic Software Development using VDM, Jones, C.B. Prentice Hall International Series in Computer Science, Prentice Hall. ISBN 0-13-880717-5 (1986).
Programming Languages and their Definition: Selected Papers of Hans Bekic (1936–1982), Jones, C.B. (editor). Lecture Notes in Computer Science, Volume 177, Springer-Verlag. ISBN 3-540-13378-X (1984).
Formal Specification and Software Development, Bjørner, D. and Jones, C.B. Prentice Hall International Series in Computer Science, Prentice Hall. ISBN 0-13-329003-4 (1982).
Software Development: A Rigorous Approach, Jones, C.B. Prentice Hall International Series in Computer Science, Prentice Hall. ISBN 0-13-821884-6 (1980).
The Vienna Development Method: The Meta-Language, Bjørner, D. and Jones, C.B. (editors). Lecture Notes in Computer Science, Volume 61, Springer-Verlag. ISBN 3-540-08766-4 (1978).
[edit] External links
Categories: Year of birth missing | Living people | British computer scientists | Fellows of the British Computer Society | Fellows of the ACM | Fellows of the Institution of Engineering and Technology | Fellows of the Royal Academy of Engineering | Formal methods people | Journal editors | IBM employees | Members of Oxford University Computing Laboratory | People associated with the University of Manchester | Academics of Newcastle University
