Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Related topics

Related topics

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

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… Expand
Is this relevant?
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… Expand
  • figure 1
  • figure 2
  • table 2
  • figure 3
Is this relevant?
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… Expand
  • figure 1
  • figure 2
  • figure 4
  • figure 3
  • figure 5
Is this relevant?
2015
2015
Twice Challenged: Differentiating Between English Language Acquisition and Learning Disabilities
An action research study of practices used to nominate English Learners (ELs) for special education services was conducted to… Expand
  • table 2
  • figure 2
  • table 3
  • table 4
  • table 5
Is this relevant?
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… Expand
Is this relevant?
2010
2010
On Modelling User Observations in the UTP
This paper presents an approach for modelling interactions between users and systems in the Unifying Theories of Programming… Expand
Is this relevant?
2010
2010
Prioritized slotted-Circus
This paper describes an extension adding priority to slotted-Circus, a generic framework for reasoning about discretely timed and… Expand
  • figure 2
Is this relevant?
Review
2009
Review
2009
The relationship of language proficiency, general intelligence, and reading achievement with a sample of low performing, limited English proficient students
The Relationship of Language Proficiency, General Intelligence, and Reading Achievement with a Sample of Low Performing, Limited… Expand
  • table 3
  • table 4
  • table 5
  • table 6
  • table 7
Is this relevant?
2000
2000
Abstract data types and Processes
data types and processes Jim Woodcock, Jim Davies, and Christie Bolton Software engineering is about the judicious application of… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
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… Expand
Is this relevant?
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE