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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Robot software controllers are often concurrent and time critical, and requires modern engineering approaches for validation and… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
2014
2014
  • P. Zave
  • Formal Aspects of Computing
  • 2014
  • Corpus ID: 491403
Because potential users have to choose a formal method before they can start using one, research on assessing the applicability… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
2010
2010
Complex real-time systems must integrate physical processes with digital control, human operation and organisational structures… Expand
  • figure 1
2010
2010
Control engineers make extensive use of diagrammatic notations; control law diagrams are used in industry every day. Techniques… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 7
2010
2010
This paper presents an approach for modelling interactions between users and systems in the Unifying Theories of Programming… Expand
2009
2009
This paper describes a complete denotational semantics, in the UTP framework, of slotted-Circus , a generic framework for… Expand
  • figure 2
  • figure 4
2008
2008
We introduce an approach for the construction of feature test models expressed in the CSP process algebra, from use cases… Expand
  • figure 1
  • figure 2
  • figure 5
  • table 1
  • figure 6
Highly Cited
2006
Highly Cited
2006
We explore various definitions and characteristics of emergence, how we might recognise and measure emergence, and how we might… Expand
  • figure 1
Highly Cited
2002
Highly Cited
2002
In this work we propose a time model for Circus. The model is an extension to the model proposed by the unifying theories of… Expand
Highly Cited
1988
Highly Cited
1988
  • 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… Expand