Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Jim_Woodcock> ?p ?o }
Showing triples 1 to 82 of
82
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 viafId "145747617".
- Jim_Woodcock wikiPageExternalLink citations?user=bO-FeTIAAAAJ&hl=en.
- Jim_Woodcock wikiPageExternalLink ~jim.
- Jim_Woodcock wikiPageExternalLink B000UYWKYA.
- Jim_Woodcock wikiPageID "2820814".
- Jim_Woodcock wikiPageRevisionID "577295713".
- Jim_Woodcock hasPhotoCollection Jim_Woodcock.
- Jim_Woodcock name "Woodcock, Jim".
- Jim_Woodcock shortDescription "British computer scientist".
- Jim_Woodcock description "British computer scientist".
- Jim_Woodcock description "British computer scientist".
- 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_Oxford_University_Department_of_Computer_Science.
- Jim_Woodcock subject Category:Year_of_birth_missing_(living_people).
- Jim_Woodcock type Academician109759069.
- Jim_Woodcock type AcademicsOfTheUniversityOfKent.
- Jim_Woodcock type AcademicsOfTheUniversityOfYork.
- Jim_Woodcock type Adult109605289.
- Jim_Woodcock type AlumniOfTheUniversityOfLiverpool.
- Jim_Woodcock type Alumnus109786338.
- Jim_Woodcock type Associate109816771.
- Jim_Woodcock type BritishComputerScientists.
- Jim_Woodcock type BritishTextbookWriters.
- Jim_Woodcock type CausalAgent100007347.
- Jim_Woodcock type Colleague109935990.
- Jim_Woodcock type Communicator109610660.
- Jim_Woodcock type ComputerScienceWriters.
- Jim_Woodcock type ComputerScientist109951070.
- Jim_Woodcock type ComputerUser109951274.
- Jim_Woodcock type Educator110045713.
- Jim_Woodcock type FellowsOfKelloggCollege,Oxford.
- Jim_Woodcock type FellowsOfTheBritishComputerSociety.
- Jim_Woodcock type FellowsOfTheRoyalAcademyOfEngineering.
- Jim_Woodcock type FormalMethodsPeople.
- Jim_Woodcock type Intellectual109621545.
- Jim_Woodcock type LivingPeople.
- Jim_Woodcock type LivingThing100004258.
- Jim_Woodcock type Object100002684.
- Jim_Woodcock type Organism100004475.
- Jim_Woodcock type Peer109626238.
- Jim_Woodcock type Person100007846.
- Jim_Woodcock type PhysicalEntity100001930.
- Jim_Woodcock type Professional110480253.
- Jim_Woodcock type Scholar110557854.
- Jim_Woodcock type Scientist110560637.
- Jim_Woodcock type Whole100003553.
- Jim_Woodcock type Writer110794014.
- Jim_Woodcock type YagoLegalActor.
- Jim_Woodcock type YagoLegalActorGeo.
- Jim_Woodcock type Agent.
- Jim_Woodcock type Person.
- Jim_Woodcock type Person.
- Jim_Woodcock type Q215627.
- Jim_Woodcock type Q5.
- Jim_Woodcock type Agent.
- Jim_Woodcock type NaturalPerson.
- Jim_Woodcock type Thing.
- Jim_Woodcock type Person.
- 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 m.084tdh.
- Jim_Woodcock sameAs Q6199027.
- Jim_Woodcock sameAs Q6199027.
- Jim_Woodcock sameAs 106422.
- Jim_Woodcock sameAs Jim_Woodcock.
- Jim_Woodcock wasDerivedFrom Jim_Woodcock?oldid=577295713.
- Jim_Woodcock givenName "Jim".
- Jim_Woodcock isPrimaryTopicOf Jim_Woodcock.
- Jim_Woodcock name "Jim Woodcock".
- Jim_Woodcock name "Woodcock, Jim".
- Jim_Woodcock surname "Woodcock".