Publications

Sortér efter: Dato | Forfatter | Titel

Stepney, S., Cooper, D. & Woodcock, J. (1998). More Powerful Z Data Refinement: Pushing the State of the Art in Industrial Refinement. I J. P. Bowen, A. Fett & M. G. Hinchey (red.), ZUM ’98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings (Bind 1, s. 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. I J. P. Bowen & J. A. Hall (red.), Z User Workshop (s. 9-28). Springer/BCS. https://doi.org/10.1007/978-1-4471-3452-7

Larsen, P. G. & Woodcock, J. (red.) (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 Bind 670

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

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

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

Gardiner , P. H. B., Lupton, P. J. & Woodcock, J. (1990). A Simpler Semantics for Z. I J. E. Nicholls (red.), Proceedings of the Fifth Annual Z User Meeting on Z User Workshop (s. 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 ,

Viser resultater 151 til 161 ud af 161

Forrige

Revideret 13.11.2025

James Woodcock