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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
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
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
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
1987
1987
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?