Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Jim_Woodcock> ?p ?o }
Showing triples 1 to 91 of
91
with 100 triples per page.
- Jim_Woodcock abstract "Professor Jim C. P. Woodcock FREng FBCS CEng CITP 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, where, since October 2012, he has been head of the Department of Computer Science.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.".
- Jim_Woodcock wikiPageExternalLink citations?user=bO-FeTIAAAAJ&hl=en.
- Jim_Woodcock wikiPageExternalLink ~jim.
- Jim_Woodcock wikiPageExternalLink B000UYWKYA.
- Jim_Woodcock wikiPageID "2820814".
- Jim_Woodcock wikiPageLength "3715".
- Jim_Woodcock wikiPageOutDegree "45".
- Jim_Woodcock wikiPageRevisionID "705934607".
- Jim_Woodcock wikiPageWikiLink CICS.
- Jim_Woodcock wikiPageWikiLink Category:Academics_of_the_University_of_Kent.
- Jim_Woodcock wikiPageWikiLink Category:Academics_of_the_University_of_York.
- Jim_Woodcock wikiPageWikiLink Category:Alumni_of_the_University_of_Liverpool.
- Jim_Woodcock wikiPageWikiLink Category:British_computer_scientists.
- Jim_Woodcock wikiPageWikiLink Category:British_textbook_writers.
- Jim_Woodcock wikiPageWikiLink Category:Computer_science_writers.
- Jim_Woodcock wikiPageWikiLink Category:Fellows_of_Kellogg_College,_Oxford.
- Jim_Woodcock wikiPageWikiLink Category:Fellows_of_the_British_Computer_Society.
- Jim_Woodcock wikiPageWikiLink Category:Fellows_of_the_Royal_Academy_of_Engineering.
- Jim_Woodcock wikiPageWikiLink Category:Formal_methods_people.
- Jim_Woodcock wikiPageWikiLink Category:Living_people.
- Jim_Woodcock wikiPageWikiLink Category:Members_of_the_Department_of_Computer_Science,_University_of_Oxford.
- Jim_Woodcock wikiPageWikiLink Category:Year_of_birth_missing_(living_people).
- Jim_Woodcock wikiPageWikiLink Chartered_IT_Professional.
- Jim_Woodcock wikiPageWikiLink Communicating_sequential_processes.
- Jim_Woodcock wikiPageWikiLink Computer_scientist.
- Jim_Woodcock wikiPageWikiLink Concurrency_(computer_science).
- Jim_Woodcock wikiPageWikiLink Department_of_Computer_Science,_University_of_Oxford.
- Jim_Woodcock wikiPageWikiLink Dependability.
- Jim_Woodcock wikiPageWikiLink Doctor_of_Philosophy.
- Jim_Woodcock wikiPageWikiLink FBCS.
- Jim_Woodcock wikiPageWikiLink Formal_methods.
- Jim_Woodcock wikiPageWikiLink Formal_specification.
- Jim_Woodcock wikiPageWikiLink IBM.
- Jim_Woodcock wikiPageWikiLink ITSEC.
- Jim_Woodcock wikiPageWikiLink Jim_Davies_(computer_scientist).
- Jim_Woodcock wikiPageWikiLink Kellogg_College,_Oxford.
- Jim_Woodcock wikiPageWikiLink Mobile_computing.
- Jim_Woodcock wikiPageWikiLink Mondex.
- Jim_Woodcock wikiPageWikiLink Nanotechnology.
- Jim_Woodcock wikiPageWikiLink Prentice_Hall.
- Jim_Woodcock wikiPageWikiLink Queens_Awards_for_Enterprise.
- Jim_Woodcock wikiPageWikiLink Reconfigurable_computing.
- Jim_Woodcock wikiPageWikiLink Refinement_(computing).
- Jim_Woodcock wikiPageWikiLink Regulation_and_licensure_in_engineering.
- Jim_Woodcock wikiPageWikiLink Royal_Academy_of_Engineering.
- Jim_Woodcock wikiPageWikiLink Software_engineering.
- Jim_Woodcock wikiPageWikiLink Taylor_&_Francis.
- Jim_Woodcock wikiPageWikiLink Unifying_Theories_of_Programming.
- Jim_Woodcock wikiPageWikiLink University_of_Kent.
- Jim_Woodcock wikiPageWikiLink University_of_Liverpool.
- Jim_Woodcock wikiPageWikiLink University_of_York.
- Jim_Woodcock wikiPageWikiLink Z_notation.
- Jim_Woodcock wikiPageWikiLinkText "Jim Woodcock".
- Jim_Woodcock wikiPageWikiLinkText "Woodcock".
- Jim_Woodcock wikiPageUsesTemplate Template:Authority_control.
- Jim_Woodcock wikiPageUsesTemplate Template:Compu-scientist-stub.
- Jim_Woodcock wikiPageUsesTemplate Template:DBLP.
- Jim_Woodcock wikiPageUsesTemplate Template:Reflist.
- Jim_Woodcock wikiPageUsesTemplate Template:UK-compu-bio-stub.
- Jim_Woodcock subject Category:Academics_of_the_University_of_Kent.
- Jim_Woodcock subject Category:Academics_of_the_University_of_York.
- Jim_Woodcock subject Category:Alumni_of_the_University_of_Liverpool.
- Jim_Woodcock subject Category:British_computer_scientists.
- Jim_Woodcock subject Category:British_textbook_writers.
- Jim_Woodcock subject Category:Computer_science_writers.
- Jim_Woodcock subject Category:Fellows_of_Kellogg_College,_Oxford.
- Jim_Woodcock subject Category:Fellows_of_the_British_Computer_Society.
- Jim_Woodcock subject Category:Fellows_of_the_Royal_Academy_of_Engineering.
- Jim_Woodcock subject Category:Formal_methods_people.
- Jim_Woodcock subject Category:Living_people.
- Jim_Woodcock subject Category:Members_of_the_Department_of_Computer_Science,_University_of_Oxford.
- Jim_Woodcock subject Category:Year_of_birth_missing_(living_people).
- Jim_Woodcock hypernym Woodcock.
- Jim_Woodcock type GridironFootballPlayer.
- Jim_Woodcock type List.
- Jim_Woodcock type Person.
- Jim_Woodcock type Scientist.
- Jim_Woodcock type Writer.
- Jim_Woodcock type List.
- Jim_Woodcock type Member.
- Jim_Woodcock type Method.
- Jim_Woodcock type Scientist.
- Jim_Woodcock type Writer.
- Jim_Woodcock type Thing.
- Jim_Woodcock comment "Professor Jim C. P. Woodcock FREng FBCS CEng CITP 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.".
- Jim_Woodcock label "Jim Woodcock".
- Jim_Woodcock sameAs Q6199027.
- Jim_Woodcock sameAs m.084tdh.
- Jim_Woodcock sameAs Q6199027.
- Jim_Woodcock wasDerivedFrom Jim_Woodcock?oldid=705934607.
- Jim_Woodcock isPrimaryTopicOf Jim_Woodcock.