Publications

Sort by: Date | Author | Title

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 159 out of 159

Revised 10.08.2023

James Woodcock