Cliff Jones (computer scientist): Difference between revisions
Kj cheetham (talk | contribs) →External links: google scholar |
→Books: add new book, remove link to book which is not open access |
||
Line 41: | Line 41: | ||
==Books== |
==Books== |
||
Jones has authored and edited many books:<ref>[https://www.amazon.co.uk/Books/s?ie=UTF8&rh=n%3A266239%2Cp_27%3ACliff%20B.%20Jones&field-author=Cliff%20B.%20Jones&page=1 Books › "Cliff B. Jones"], [[Amazon.co.uk]].</ref> |
Jones has authored and edited many books, including:<ref>[https://www.amazon.co.uk/Books/s?ie=UTF8&rh=n%3A266239%2Cp_27%3ACliff%20B.%20Jones&field-author=Cliff%20B.%20Jones&page=1 Books › "Cliff B. Jones"], [[Amazon.co.uk]].</ref> |
||
* '' |
* ''Understanding Programming Languages,'' Jones, C.B. [[Springer Nature|Springer, Cham]]. Print {{ISBN|978-3-030-59256-1|}} / online {{ISBN|978-3-030-59257-8|}} (2020). |
||
*''Reflections on the Work of C.A.R. Hoare'', [[A.W. Roscoe|Roscoe, A.W.]], Jones, C.B. and Wood, K. (eds.). [[Springer Science+Business Media|Springer]]. {{ISBN|978-1-84882-911-4}} (2010). |
|||
* ''VDM: Une methode rigoureuse pour le development du logiciel'', Jones, C.B. Masson, [[Paris]]. {{ISBN|2-225-82812-1}} (1993). |
* ''VDM: Une methode rigoureuse pour le development 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 Science+Business Media|Springer-Verlag]]. {{ISBN|3-540-19651-X}} (1991). |
* ''MURAL: A Formal Development Support System'', Jones, C.B., Jones, K.D., Lindsay, P.A. and Moore, R. (eds.). [[Springer Science+Business Media|Springer-Verlag]]. {{ISBN|3-540-19651-X}} (1991). |
||
Line 50: | Line 51: | ||
* ''Essays in Computing Science'', [[C.A.R. Hoare|Hoare, C.A.R.]] and Jones, C.B. Prentice Hall International Series in Computer Science, [[Prentice Hall]]. {{ISBN|0-13-284027-8}} (1989). |
* ''Essays in Computing Science'', [[C.A.R. Hoare|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). |
* ''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 Science+Business Media|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). |
* ''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). |
* ''Software Development: A Rigorous Approach'', Jones, C.B. Prentice Hall International Series in Computer Science, [[Prentice Hall]]. {{ISBN|0-13-821884-6}} (1980). |
Revision as of 12:19, 18 December 2020
Cliff Jones | |
---|---|
Born | 1 June 1944 |
Nationality | British |
Alma mater | University of Oxford |
Known for | Vienna Development Method |
Scientific career | |
Institutions | Victoria University of Manchester Newcastle University |
Thesis | Development Methods for Computer Programs Including a Notion of Interference |
Doctoral advisor | C. A. R. Hoare[1] |
Doctoral students | John Fitzgerald Tobias Nipkow |
Clifford "Cliff" B. Jones FREng[2] (born 1 June 1944) is a British computer scientist, specializing in research into formal methods.[3] He undertook a late DPhil at the Oxford University Computing Laboratory (now the Oxford University Department of Computer Science) under Tony Hoare, awarded in 1981. Prior to that, Jones worked for IBM, between the Hursley and Vienna Laboratories. In Vienna, Jones worked with Peter Lucas, Dines Bjørner and others on the Vienna Development Method (VDM), originally as a method for specifying the formal semantics of programming languages, and subsequently for specifying and verifying programs.[4]
Cliff Jones was a professor at the Victoria University of Manchester in the 1980s and early 1990s, worked in industry at Harlequin for a period, and is now a Professor of Computing Science at Newcastle University. He has been Editor-in-Chief of the Formal Aspects of Computing journal.[5]
As well as formal methods, Jones also has interests in interdisciplinary aspects of computer science and the history of computer science.[6][7]
Books
Jones has authored and edited many books, including:[8]
- Understanding Programming Languages, Jones, C.B. Springer, Cham. Print ISBN 978-3-030-59256-1 / online ISBN 978-3-030-59257-8 (2020).
- Reflections on the Work of C.A.R. Hoare, Roscoe, A.W., Jones, C.B. and Wood, K. (eds.). Springer. ISBN 978-1-84882-911-4 (2010).
- VDM: Une methode rigoureuse pour le development 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, 1990
- 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).
References
- ^ Cliff Jones at the Mathematics Genealogy Project
- ^ "List of Fellows". Royal Academy of Engineering.
{{cite web}}
: CS1 maint: url-status (link) - ^ "Bio · Cliff B Jones". UK: Newcastle University. Retrieved 18 December 2020.
{{cite web}}
: CS1 maint: url-status (link) - ^ "Research · Cliff B Jones". UK: Newcastle University. Retrieved 18 December 2020.
{{cite web}}
: CS1 maint: url-status (link) - ^ Formal Aspects of Computing. Vol. 1. Association for Computing Machinery. 1989. Retrieved 19 August 2018.
- ^ Cliff B. Jones at DBLP Bibliography Server
- ^ Cliff B. Jones: Publication List, Scientific Commons.
- ^ Books › "Cliff B. Jones", Amazon.co.uk.
External links
- Home page
- Cliff Jones publications indexed by Google Scholar
- Use dmy dates from June 2012
- 1944 births
- Living people
- Alumni of Wolfson College, Oxford
- Members of the Department of Computer Science, University of Oxford
- IBM employees
- Academics of the Victoria University of Manchester
- Academics of Newcastle University
- Computer science writers
- Academic journal editors
- English computer scientists
- Formal methods people
- Fellows of the British Computer Society
- Fellows of the Association for Computing Machinery
- Fellows of the Institution of Engineering and Technology
- Fellows of the Royal Academy of Engineering