Cliff Jones (datavetare)

Den här artikeln handlar om den brittiske datavetaren. För andra personer som heter Cliff Jones, se Cliff Jones (disambiguation) .

Cliff Jones
Född	( 1944-06-01 ) 1 juni 1944
Nationalitet	brittisk
Alma mater	Oxfords universitet
Känd för	Wien utvecklingsmetod
Vetenskaplig karriär
institutioner	IBM Laboratory Wien Victoria University of Manchester Newcastle University
Avhandling	Utvecklingsmetoder för datorprogram inklusive en föreställning om störning
Doktorand rådgivare	BIL Hoare
Doktorander	John Fitzgerald Tobias Nipkow

Clifford "Cliff" B. Jones FREng (född 1 juni 1944) är en brittisk datavetare , specialiserad på forskning om formella metoder . Han genomförde en sen DPhil vid Oxford University Computing Laboratory (numera Oxford University Department of Computer Science ) under Tony Hoare , tilldelad 1981. Jones avhandling föreslog en förlängning av Hoare-logik för att hantera samtidiga program, lita/garanti.

Före sin DPhil arbetade Jones för IBM , mellan Hursley och Vienna Laboratories. I Wien arbetade Jones med Peter Lucas , Dines Bjørner och andra på Vienna Development Method (VDM), ursprungligen som en metod för att specificera den formella semantiken för programmeringsspråk, och därefter för att specificera och verifiera program.

Cliff Jones var professor vid Victoria University of Manchester på 1980-talet och början av 1990-talet, arbetade i industrin på Harlequin under en period och är nu professor i datavetenskap vid Newcastle University . Han har varit chefredaktör för tidskriften Formal Aspects of Computing .

Förutom formella metoder har Jones också intressen för tvärvetenskapliga aspekter av datavetenskap och datavetenskapens historia .

Böcker

Jones har skrivit och redigerat många böcker, inklusive:

•     Understanding Programming Languages, Jones, CB Springer, Cham . Skriv ut ISBN 978-3-030-59256-1 / online ISBN 978-3-030-59257-8 (2020).
•   Reflections on the Work of CAR Hoare , Roscoe, AW , Jones, CB och Wood, K. (red.). Springer . ISBN 978-1-84882-911-4 (2010).
•   VDM: Une methode rigoureuse pour le development du logiciel , Jones, CB Masson, Paris . ISBN 2-225-82812-1 (1993).
•   MURAL: A Formal Development Support System , Jones, CB, Jones, KD, Lindsay, PA och Moore, R. (red.). Springer-Verlag . ISBN 3-540-19651-X (1991).
•   Systematisk mjukvaruutveckling med VDM (2nd Edition), Jones, CB Prentice Hall International Series in Computer Science, Prentice Hall . ISBN 0-13-880733-7 , 1990
•   Fallstudier i systematisk mjukvaruutveckling , Jones, CB och Shaw, RCF (red.). Prentice Hall International Series in Computer Science, Prentice Hall . ISBN 0-13-116088-5 (1989).
•   Essays in Computing Science , Hoare, CAR och Jones, CB Prentice Hall International Series in Computer Science, Prentice Hall . ISBN 0-13-284027-8 (1989).
•   Systematisk mjukvaruutveckling med VDM , Jones, CB Prentice Hall International Series in Computer Science, Prentice Hall . ISBN 0-13-880717-5 (1986).
•   Programmeringsspråk och deras definition: Selected Papers of Hans Bekic (1936–1982), Jones, CB (redaktör). Lecture Notes in Computer Science , Volym 177, Springer-Verlag . ISBN 3-540-13378-X (1984).
•   Formell specifikation och mjukvaruutveckling , Bjørner, D. och Jones, CB Prentice Hall International Series in Computer Science, Prentice Hall . ISBN 0-13-329003-4 (1982).
•   Software Development: A Rigorous Approach , Jones, CB 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. och Jones, CB (redaktörer). Lecture Notes in Computer Science , Volym 61, Springer-Verlag . ISBN 3-540-08766-4 (1978).

externa länkar

• Hemsida
• Cliff Jones publikationer indexerade av Google Scholar