Jim Woodcock

Jim Woodcock

Professor Jim C. P. Woodcock FRSA FBCS is a British computer scientist.

Woodcock gained his PhD from the University of Liverpool. Until 2001 he was Professor of Software Engineering at the Oxford University Computing Laboratory, where he was also a Fellow of Kellogg College. He then joined the University of Kent and is now based at the University of York.

His research interests include: strong software engineering, Grand Challenge in dependable systems evolution, unifying theories of programming, formal specification, refinement, concurrency, state-rich systems, mobile and reconfigurable processes, nanotechnology, Grand Challenge in the railway domain. He has a background in formal methods, especially the Z notation and CSP.

Woodcock worked on applying the Z notation to the IBM CICS project, helping to gain a Queen's Award for Technological Achievement, and Mondex, helping to gain the highest ITSEC classification level.

External links

* [http://www.cs.york.ac.uk/people/bio.php?person=jim Official home page]
* [http://www-users.cs.york.ac.uk/~jim/ Personal home page]
* [http://www-users.cs.york.ac.uk/~jim/publications/pubs-all.html Publications]
* [http://web.comlab.ox.ac.uk/oucl/work/jim.woodcock/ OUCL home page]
*


Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • Jim Edgar Panther Creek State Fish and Wildlife Area — Infobox protected area | name = Jim Edgar Panther Creek State Fish and Wildlife Area, Illinois, USA iucn category = IV caption = Map of the U.S. state of Illinois showing the location of Jim Edgar Panther Creek State Fish and Wildlife Area… …   Wikipedia

  • Bill Woodcock (footballer) — Infobox afl player NEW playername = Bill Woodcock fullname = Herbert Bill Woodcock image capt = birthdate = June 29, 1888 birthplace = originalteam = St Kilda Wednesday heightweight = 182 cm / 96 kg position = Ruck shepherd debutinformation =… …   Wikipedia

  • The Adventures of Jim Bowie — Infobox Television show name = The Adventures of Jim Bowie caption = genre = Western Adventure starring = Scott Forbes theme music composer = Ken Darby opentheme = Jim Bowie by The King s Men country = flagcountry|United States num seasons = 2… …   Wikipedia

  • Mondex — s logo. Mondex is a smart card electronic cash system which was originally developed by National Westminster Bank in the United Kingdom and subsequently sold to MasterCard International. Mondex launched in a number of markets during the 1990s,… …   Wikipedia

  • Formal Aspects of Computing — Infobox Magazine title = Formal Aspects of Computing | image size = 200px | image caption = editor = Jim Woodcock Cliff Jones frequency = Quarterly circulation = category = Formal methods company = Springer firstdate = 1989 country = Germany… …   Wikipedia

  • Z notation — The Z notation (formally pronEng|zɛd), named after Zermelo Fränkel set theory, is a formal specification language used for describing and modeling computing systems. It is targeted at the clear specification of computer programs and the… …   Wikipedia

  • Z-Notation — Z ist der Name einer Notation zur formalen Spezifikation von Software Systemen und Modulen. Z basiert auf der Zermelo Fraenkel Mengenlehre und der Prädikatenlogik erster Stufe. Spezifikationen für komplexe Software Systeme in Z werden durch die… …   Deutsch Wikipedia

  • Z-нотация — (англ. Z notation, произносится /zɛd/)  формальный язык спецификации, используемый для описания и моделирования программ и их формальной верификации. Z нотацию первоначально предложил Жан Реймон Абриаль (Jean Raymond Abrial) в 1977 году …   Википедия

  • Lenguaje Z — Lenguaje Z. El Lenguaje Z es un lenguaje formal utilizado en Ingeniería del software para la especificación formal de un sistema de cómputo, como una fase previa al desarrollo del código de programa para el mismo en un lenguaje de programación.… …   Wikipedia Español

  • Dines Bjørner — Professor Dines Bjørner (born 4 October 1937 in Odense) is a Danish computer scientist. He specializes in research into domain engineering, requirements engineering and formal methods.[1] He worked with Cliff Jones and others on the Vienna… …   Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”