Web Quotableonline.com Frasescelebres.org Greatbookscollection.org

Cliff Jones FACM FBCS FIEE FREng is a United
Kingdom|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 the University of Newcastle upon Tyne.
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.

==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  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).

==External links==

*
http://www.cs.ncl.ac.uk/people/home.php?name=cliff
.jones Official home page
*
http://www.cs.ncl.ac.uk/research/pubs/authors/byTy
pe.php?id=59 Publications
* http://homepages.cs.ncl.ac.uk/cliff.jones/
Personal home page
*
http://homepages.cs.ncl.ac.uk/cliff.jones/home.for
mal/ Formal methods information

academic-bio-stub
compu-bio-stub
UK-bio-stub