Jim Woodcock
Jim Woodcock
Professor of Software Engineering, University of York
Verified email at york.ac.uk - Homepage
Title
Cited by
Cited by
Year
Using Z: Specification ‚Refinement ‚and Proof
J Woodcock, J Davies
Prentice Hall International, 1996
19171996
Formal Methods: State of the Art and Future Directions
E Clarke, J Wing, R Alur, R Cleaveland, D Dill, A Emerson, S Garland, ...
ACM Computing Surveys 28 (4), 626-643, 1996
19051996
Formal methods: Practice and experience
J Woodcock, PG Larsen, J Bicarregui, J Fitzgerald
ACM computing surveys (CSUR) 41 (4), 1-36, 2009
7562009
The semantics of Circus
J Woodcock, A Cavalcanti
International Conference of B and Z Users, 184-203, 2002
2812002
Software engineering mathematics
J Woodcock, M Loomes
Addison-Wesley Longman Publishing Co., Inc., 1990
2101990
Systems of systems engineering: basic concepts, model-based techniques, and research directions
CB Nielsen, PG Larsen, J Fitzgerald, J Woodcock, J Peleska
ACM Computing Surveys (CSUR) 48 (2), 1-41, 2015
2092015
A Refinement Strategy for Circus
A Cavalcanti, A Sampaio, J Woodcock
Formal Aspects of Computing 15 (2-3), 146-181, 2003
1782003
An electronic purse: Specification, refinement and proof
S Stepney, D Cooper, J Woodcock
Oxford University, 2000
1742000
Non-interference through determinism
AW Roscoe, JCP Woodcock, L Wulf
European Symposium on Research in Computer Security, 31-53, 1994
1581994
A UTP semantics for Circus
M Oliveira, A Cavalcanti, J Woodcock
Formal Aspects of Computing 21 (1-2), 3-32, 2009
1492009
A concurrent language for refinement
J Woodcock, A Cavalcanti
5th Irish Workshop on Formal Methods 5, 1-16, 2001
1432001
Verified software: A grand challenge
C Jones, P O'Hearn, J Woodcock
Computer 39 (4), 93-95, 2006
1302006
Refinement of state-based concurrent systems
JCP Woodcock, C Morgan
International Symposium of VDM Europe, 340-351, 1990
1281990
First steps in the verified software grand challenge
J Woodcock
Computer 39 (10), 57-64, 2006
1072006
A tutorial introduction to CSP in Unifying Theories of Programming
A Cavalcanti, J Woodcock
Pernambuco Summer School on Software Engineering, 220-268, 2004
1012004
W: a logic for Z
JCP Woodcock, SM Brien
Z User Workshop, York 1991, 77-96, 1992
1011992
Refinement in circus
A Sampaio, J Woodcock, A Cavalcanti
International Symposium of Formal Methods Europe, 451-470, 2002
952002
ZRC–a refinement calculus for Z
A Cavalcanti, J Woodcock
Formal Aspects of Computing 10 (3), 267-289, 1998
891998
Features of CML: A formal modelling language for systems of systems
J Woodcock, A Cavalcanti, J Fitzgerald, P Larsen, A Miyazawa, S Perry
2012 7th International conference on system of systems engineering (SoSE), 1-6, 2012
872012
More powerful Z data refinement: pushing the state of the art in industrial refinement
S Stepney, D Cooper, J Woodcock
International Conference of Z Users, 284-307, 1998
821998
The system can't perform the operation now. Try again later.
Articles 1–20