Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 205,508,824 papers from all fields of science
Search
Sign In
Create Free Account
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
Create Alert
Alert
Related topics
Related topics
18 relations
Chartered IT Professional
Computer scientist
Concurrency (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
Alvaro Miyazawa
,
P. Ribeiro
,
Wei Li
,
A. Cavalcanti
,
J. Timmis
IEEE/RSJ International Conference on Intelligent…
2017
Corpus ID: 29612142
Robot software controllers are often concurrent and time critical, and requires modern engineering approaches for validation and…
Expand
2015
2015
Forty Years of Silica Simulations. Which Way Now
C. Angell
2015
Corpus ID: 73683627
Ten years after Aneesur Rahman’s seminal 1964 paper on simulating liquid argon using computer simulations of atoms interacting…
Expand
2010
2010
A timeband framework for modelling real-time systems
A. Burns
,
I. Hayes
Real-Time Systems
2010
Corpus ID: 5506048
Complex real-time systems must integrate physical processes with digital control, human operation and organisational structures…
Expand
2010
2010
On Modelling User Observations in the UTP
M. Banks
,
J. Jacob
UTP
2010
Corpus ID: 18239650
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
P. Gancarski
,
A. Butterfield
FM
2009
Corpus ID: 13815060
This paper describes a complete denotational semantics, in the UTP framework, of slotted-Circus , a generic framework for…
Expand
Review
2009
Review
2009
The relationship of language proficiency, general intelligence, and reading achievement with a sample of low performing, limited English proficient students
Charlotte Jones
2009
Corpus ID: 62363694
The Relationship of Language Proficiency, General Intelligence, and Reading Achievement with a Sample of Low Performing, Limited…
Expand
Highly Cited
2006
Highly Cited
2006
Engineering emergence
S. Stepney
,
F. Polack
,
Heather R. Turner
11th IEEE International Conference on Engineering…
2006
Corpus ID: 7148388
We explore various definitions and characteristics of emergence, how we might recognise and measure emergence, and how we might…
Expand
Highly Cited
2002
Highly Cited
2002
Towards a Time Model for Circus
A. Sherif
,
Jifeng He
ICFEM
2002
Corpus ID: 340010
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
Review
1997
Review
1997
Book review: Using Z by Jim Woodcock and Jim Davies (Prentice Hall, 1996)
Barry L. Ires
SOEN
1997
Corpus ID: 22491183
without going into too much detail. The ease study provides a framework for using the work products described earlier without…
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