Æȷοì
Jim Woodcock
Jim Woodcock
Professor of Software Engineering, University of York
york.ac.ukÀÇ À̸ÞÀÏ È®ÀÎµÊ - ȨÆäÀÌÁö
Á¦¸ñ
Àοë
Àοë
¿¬µµ
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
22801996
Using Z: Specification ‚Refinement ‚and Proof
J Woodcock, J Davies
Prentice Hall International, 1996
20241996
Formal methods: Practice and experience
J Woodcock, PG Larsen, J Bicarregui, J Fitzgerald
ACM computing surveys (CSUR) 41 (4), 1-36, 2009
10352009
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
5342015
The Semantics of Circus
J Woodcock, A Cavalcanti
International Conference of B and Z Users, 184-203, 2002
3082002
Software engineering mathematics
J Woodcock
CRC Press, 1988
2341988
An electronic purse: Specification, refinement and proof
S Stepney, D Cooper, J Woodcock
Oxford University, 2000
1952000
A Refinement Strategy for Circus
A Cavalcanti, A Sampaio, J Woodcock
Formal Aspects of Computing 15, 146-181, 2003
1892003
Non-interference through determinism
AW Roscoe, JCP Woodcock, L Wulf
Computer Security—ESORICS 94: Third European Symposium on Research in ¡¦, 1994
1711994
A UTP semantics for Circus
M Oliveira, A Cavalcanti, J Woodcock
Formal Aspects of Computing 21 (1), 3-32, 2009
1702009
A concurrent language for refinement
J Woodcock, A Cavalcanti
5th Irish workshop on formal methods, 2001
1592001
Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project
PG Larsen, J Fitzgerald, J Woodcock, P Fritzson, J Brauer, C Kleijn, ...
2016 2nd International Workshop on Modelling, Analysis, and Control of ¡¦, 2016
1582016
Refinement of state-based concurrent systems
JCP Woodcock, C Morgan
International Symposium of VDM Europe, 340-351, 1990
1451990
Verified software: A grand challenge
C Jones, P O'Hearn, J Woodcock
Computer 39 (4), 93-95, 2006
1432006
RoboChart: modelling and verification of the functional behaviour of robotic applications
A Miyazawa, P Ribeiro, W Li, A Cavalcanti, J Timmis, J Woodcock
Software & Systems Modeling 18, 3097-3149, 2019
1312019
Using z
J Woodcock, J Davies
Prentice-Hall, 1996
1301996
A Tutorial Introduction to CSP in Unifying Theories of Programming
A Cavalcanti, J Woodcock
Pernambuco Summer School on Software Engineering, 220-268, 2004
1212004
ZRC–a refinement calculus for Z
A Cavalcanti, J Woodcock
Formal Aspects of Computing 10, 267-289, 1998
1201998
First steps in the verified software grand challenge
J Woodcock
Computer 39 (10), 57-64, 2006
1192006
W: A Logic for Z
JCP Woodcock, SM Brien
Z User Workshop, York 1991: Proceedings of the Sixth Annual Z User Meeting ¡¦, 1992
1041992
ÇöÀç ½Ã½ºÅÛÀÌ ÀÛµ¿µÇÁö ¾Ê½À´Ï´Ù. ³ªÁß¿¡ ´Ù½Ã ½ÃµµÇØ ÁÖ¼¼¿ä.
ÇмúÀÚ·á 1–20