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
Automatic property checking of robotic applications
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
A practical comparison of Alloy and Spin
  • 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
A timeband framework for modelling real-time systems
Complex real-time systems must integrate physical processes with digital control, human operation and organisational structures… Expand
  • figure 1
2010
2010
From control law diagrams to Ada via Circus
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
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
2009
2009
The Denotational Semantics of slotted-Circus
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
Guided Test Generation from CSP Models
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
Engineering emergence
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
Towards a Time Model for Circus
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
Security specifications
  • 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
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