Publications

Sort by: Date | Author | Title

Bolton, C., Davies, J. & Woodcock, J. (1999). On the Refinement and Simulation of Data Types and Processes. In K. Araki, A. Galloway & K. Taguchi (Eds.), IFM’99: Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999 (pp. 273-292). Springer. https://doi.org/10.1007/978-1-4471-0851-1

Cavalcanti, A. L. C. & Woodcock, J. (1998). A Weakest Precondition Semantics for Z. The Computer Journal, 41(1), 1-15. https://doi.org/10.1093/comjnl/41.1.1

Stepney, S., Cooper, D. & Woodcock, J. (1998). More Powerful Z Data Refinement: Pushing the State of the Art in Industrial Refinement. In J. P. Bowen, A. Fett & M. G. Hinchey (Eds.), ZUM ’98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings (Vol. 1, pp. 284-307). Springer Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-49676-2_20

Cavalcanti, A. L. C., Sampaio, A. & Woodcock, J. (1998). Procedures and Recursion in the Refinement Calculus. Journal of the Brazilian Computer Society , 5(1). https://doi.org/10.1590/S0104-65001998000200002

Roscoe, A. W., Woodcock, J. & Wulf, L. (1996). Non-interference through Determinism. Journal of Computer Security, 4(1), 27-53. https://doi.org/10.3233/JCS-1996-4103

Woodcock, J., Gardiner , P. H. B. & Hulance, J. R. (1994). The Formal Specification in Z of Defence Standard 00-56. In J. P. Bowen & J. A. Hall (Eds.), Z User Workshop (pp. 9-28). Springer/BCS. https://doi.org/10.1007/978-1-4471-3452-7

Larsen, P. G. & Woodcock, J. (Eds.) (1993). FME'93: Industrial-Strength Formal Methods : First International Symposium of Formal Methods Europe Proceedings, 19-23 April 1993, Odense, Denmark. Springer. Lecture Notes in Computer Science Vol. 670

Woodcock, J. (1991). An Introduction to Refinement in Z: A tutorial on the refinement calculus. In S. Prehn & W. J. Toetenel (Eds.), VDM´91 Formal Software Development Methods (Vol. 2, pp. 96-117). Springer Verlag. https://doi.org/10.1007/BFb0019996

Woodcock, J. (1991). The Refinement Calculus. In S. Prehn & H. Toetenel (Eds.), VDM '91 Formal Software Development Methods: 4th International Symposium of VDM Europe Noordwijkerhout, The Netherlands, October 21–25, 1991 Proceedings (pp. 80-95). Springer. https://doi.org/10.1007/BFb0019996

Woodcock, J. (1991). Two Refinement Case Studies. In S. Prehn & H. Toetenel (Eds.), VDM '91 Formal Software Development Methods: 4th International Symposium of VDM Europe Noordwijkerhout, The Netherlands, October 21–25, 1991 Proceedings (pp. 118-140). Springer. https://doi.org/10.1007/BFb0019996

Gardiner , P. H. B., Lupton, P. J. & Woodcock, J. (1990). A Simpler Semantics for Z. In J. E. Nicholls (Ed.), Proceedings of the Fifth Annual Z User Meeting on Z User Workshop (pp. 3-11). Springer. https://doi.org/10.1007/978-1-4471-3540-1_1

Woodcock, J. (1989). Structuring specifications in Z. Software Engineering Journal, 4(1), 51-66. https://doi.org/10.1049/sej.1989.0007

Sufrin , B. & Woodcock, J. (1987). Towards the formal specification of a simple programming support environment. Software Engineering Journal, 2(4), 86 – 94. https://doi.org/10.1049/sej.1987.0012 ,

Displaying results 151 to 163 out of 163

Revised 07.07.2026

James Woodcock