Skip to search formSkip to main contentSkip to account menu

Jim Woodcock

Known as: J. C. P. Woodcock 
Professor James Charles Paul Woodcock FREng FBCS CEng CITP is a British computer scientist. Woodcock gained his PhD from the University of Liverpool… 
Wikipedia (opens in a new tab)

Related topics

Related topics

18 relations
Chartered IT ProfessionalComputer scientistConcurrency (computer science)Customer Information Control System (CICS)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Towards Verification of Cyber-Physical Systems with UTP and Isabelle/HOL
In this paper, we outline our vision for building verification tools for Cyber-Physical Systems based on Hoare and He’s Unifying… 
2015
2015
Forty Years of Silica Simulations. Which Way Now
Ten years after Aneesur Rahman’s seminal 1964 paper on simulating liquid argon using computer simulations of atoms interacting… 
2009
2009
The Denotational Semantics of slotted-Circus
This paper describes a complete denotational semantics, in the UTP framework, of slotted-Circus , a generic framework for… 
2008
2008
General Refinement, Part Two: Flexible Refinement
2008
2008
Converting Specifications in a Subset of Object-Z to Skeletal Spec# Code for both Static and Dynamic Analysis
Construction of correctness is an essential issue for the implementation of a reliable software system. Formal methods based… 
2008
2008
Unifying Theories of Locations
We present a Unifying Theories of Programming (UTP) model of locations, where a location is either shareable or containable… 
2006
2006
Verification of control systems using Circus
The design of control systems is usually based on diagrammatic definitions of control laws. The independent use of Z and CSP to… 
1998
1998
New foundations for Z
We provide a constructive and intensional interpretation for the speciication language Z in a theory of operations and kinds T… 
Review
1997
Review
1997
Book review: Using Z by Jim Woodcock and Jim Davies (Prentice Hall, 1996)
without going into too much detail. The ease study provides a framework for using the work products described earlier without… 
Highly Cited
1988
Highly Cited
1988
Security specifications
  • J. Jacob
  • Proceedings. IEEE Symposium on Security and…
  • 1988
  • Corpus ID: 12796913
A security and specification-oriented semantics for systems is given. The semantic model is derived from that for the trace model… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)