FAQ

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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1987-2014
0119872014

Related topics

Related topics

18 relations
Chartered IT ProfessionalComputer scientistConcurrencyCustomer Information Control System
(More)

Related mentions per year

Related mentions per year

1936-2018
19401960198020002020
Jim Woodcock
Formal specification
Concurrency
Software engineering
Refinement
Formal methods

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Formal semantics for the PACEMAKER system specification
This paper formally expresses the timing behavior of a cardiac pacemaker as defined in the PACEMAKER System Specification as… (More)
  • figure 1
  • table 1
Is this relevant?
2001
2001
Abstract data types and processes
data types and processes Jim Woodcock, Jim Davies, and Christie Bolton Software engineering is about the judicious application of… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
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… (More)
Is this relevant?
Review
1993
Review
1993
[12] Sam Owre, John Rushby, Natarajan Shankar, and Friedrich von Henke. Formal verification for fault-tolerant architectures: Some lessons learned. In J. C. P. Woodcock and P. G. Larsen, editors,
12 that the automated reasoning required to solve these examples is really quite elementary. For example, the truth of many of… (More)
Is this relevant?
1987
1987
Implementation of a model lift control system from a formal specification
This paper presents one example of the realisation of a real-time implementation from a formal specification. The specification… (More)
  • figure 1
Is this relevant?