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.
2015
2015
CSP and Kripke Structures
A runtime verification technique has been developed for CSP via translation of CSP models to Kripke structures. With this… 
2012
2012
the Treatment of Seasonal Allergic Rhinitis The impact of TRPV 1 Antagonism on P 153
P152 Figure 1 THE IMPACT OF TRPV1 ANTAGONISM ON THE TREATMENT OF SEASONAL ALLERGIC RHINITIS doi:10.1136/thoraxjnl-2012-202678.214… 
2008
2008
General Refinement, Part Two: Flexible Refinement
Review
2007
Review
2007
The B Formal Method Bibliography
In this paper we give an overview of some tools that we have developed to support the application of the B Method. ProB is an… 
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… 
1996
1996
Liaisons : Rebecca Belmore, Wyn Geleynse, Roberto Pellegrinuzzi, Laurel Woodcock
Dompierre examines how the four artists' installations "re-act with one another" and express their personal relationship to the… 
Review
1996
Review
1996
Protection from the Underspeciied
Underspeci cation is a good way to deal with partial functions in speci cation and reasoning. However, when underspeci cation is… 
1987
1987
Implementation of a model lift control system from a formal specification
This paper describes the implementation of a model lift control system, based on a formal specification of lift behaviour. The… 
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)