Publications by Jonathan Bowen

See below for books and current work.
See also publications sorted by type (last updated 1999).

Papers, articles, etc.

    2000

  1. (New) Museum communities online. New Heritage, 01.00:55, January 2000.

  2. (New) Museums and the Internet (2), Museum International, no. 205, 52(1):3-41, January-March 2000. Guest editor. See: The Virtual Museum, pages 4-7.
    Published in English, French, Spanish, Russian and Arabic.

    1999

  3. Beijing takes the Software Pearl in Macau's Crown. The Times Higher Education Supplement, 1409:13, 5 November 1999.

  4. Harvard Pioneer of Digital Frontiers. The Times Higher Education Supplement, 1409:30-31, 5 November 1999. Review of Howard Aiken: Portrait of a Computer Pioneer, I. Bernard Cohen / Makin' Numbers: Howard Aiken and the Computer, I. Bernard Cohen and Gregory W. Welch (eds.), The MIT Press, 1999.

  5. Networked Multi-user and Multimedia Environments for Learning and Collaboration, Jonathan Bowen and Michael Houghton (Entranet), RUCS Technical Report, RUCS/1999/TR/013/A, Department of Computer Science, The University of Reading, November 1999.

  6. Hardware Compilation: Verification and Rapid-prototyping, Jonathan Bowen and He Jifeng (UNU/IIST, Macau). RUCS Technical Report, RUCS/1999/TR/012/A, Department of Computer Science, The University of Reading, October 1999.

  7. Museums and the Internet (1), Museum International, no. 204, 51(4):3-41, October-December 1999.
    Guest editor. See: Only Connect!, pages 4-7.
    Published in English, French, Spanish, Russian and Arabic.

  8. Animating the Semantics of VERILOG using Prolog, UNU/IIST Technical Report no. 176, International Institute for Software Technology, United Nations University, Macau, September 1999.
    See also extended abstract in A. Burns, D. Nelson, E. Avdis and M. Pegg (eds.), Proc. Annual Research Conference, School of Computer Science, Cybernetics and Electronic Engineering, The University of Reading, UK, pages 19-22, November 1999.

  9. VLmp: The Virtual Library museums pages. ICOM News: Newsletter of the International Council of Museums, 52(1&2):9, 1999.

  10. Time for Renovations: A Survey of Museum Web Sites. In David Bearman and Jennifer Trant (eds.), Museums and the Web 1999: Selected papers from an international conference, New Orleans, USA, 11-14 March 1999, pages 163-172, Archives & Museum Informatics, Pittsburgh, Pennsylvania, USA, 1999.

  11. How to Get a Grip on those Troublesome Constraints. The Times Higher Education Supplement, page 24, 5 February 1999. Review of Programming with Constraints: An Introduction, Kim Marriott and Peter J. Stuckey. The MIT Press, 1998.

    1998

  12. Modern Compiler Implementation in C: Basic Techniques, Modern Compiler Implementation in Java: Basic Techniques, Modern Compiler Implementation in ML: Basic Techniques. Computers & Chemistry, 22(2-3):265-266, 1998. Review of Modern Compiler Implementation in C / Java / ML (set of three books), A. W. Appel, Cambridge University Press, 1997.

  13. Generating Decompilers, Peter Breuer (Universidad Carlos III de Madrid) and Jonathan Bowen. RUCS Technical Report, (New) RUCS/1998/TR/010/A, Department of Computer Science, The University of Reading, October 1998.

  14. Z and the Web using Java, Jonathan Bowen and David Chippington. In J.P. Bowen, A. Fett and M.G. Hinchey (eds.), ZUM'98: The Z Formal Specification Notation, pages 66-80, Springer-Verlag, LNCS 1493, 1998.

  15. Speed Addicts. The Times Higher Education Supplement, 1338:27, 26 June 1998. Review of The Supermen: The Story of Seymour Cray and the Technical Wizards behind the Supercomputer, Charles J. Murray, Wiley, 1997.

  16. Virtual Visits to Virtual Museums, Jonathan Bowen, Jim Bennett (Oxford University) and James Johnson (Natural History Museum). In Jennifer Trant and David Bearman (eds.), Proc. Museums and the Web 1998, Toronto, Canada, 22-25 April 1998. CD-ROM, Archives & Museum Informatics, 5501 Walnut Street, Suite 203, Pittsburgh, Pennsylvania 15232-2311, USA, 1998. Conference version of Publics et Musées article.

  17. (New) An Invoicing Case Study in Z. In M. Allemand, C. Attiogbé and H. Habrias (ed.), International Workshop on: Comparing Systems Specification Techniques, "What questions are prompted by ones particular method of specification?", pages 461-471, Nantes, France, 26-27 March 1998. IRIN, 2 Rue de la Houssinière - 44322, Nantes Cedex 3, France.

  18. A ProCoS-WG Working Group Final Report: ESPRIT Working Group 8694, Jonathan Bowen, C.A.R. Hoare (Oxford University), Hans Langmaack (Christian-Albrechts-Universität zu Kiel, Germany), Ernst-Rüdiger Olderog (Universität Oldenburg, Germany) and Anders P. Ravn (Technical University of Denmark), Bulletin of the European Association for Theoretical Computer Science (EATCS), Volume 64:63-72, February 1998.

  19. (New) Des enquêtes sur les musées en ligne: Le Virtual Library museums pages, Jonathan Bowen, Jim Bennett (Oxford University) and James Johnson. Publics et Musées, 13:115-127, January-June 1998. Public, nouvelles technologies, musées, Presses universitaires de Lyon, 1999. (In French, translated by Roxane Bernier.)

    1997

  20. Book review. The Computer Journal, 40(5):296-297, 1997. Review of The Way of Z: Practical Programming with Formal Methods, Jonathan Jacky. Cambridge University Press, 1997.

  21. Lessons to learn from Net gains in the US. Museums Journal, 97(12):29, December 1997. Review of The Wired Museum, Katherine Jones-Garmil (ed.), American Museums Association, 1997.

  22. Working the Web, Jonathan Bowen, Jim Bennett (Museum of History of Science, Oxford University), and Ian Morrison (National Museums of Scotland, Edinburgh). Museums Journal, 97(11):28-29, November 1997. Based on a presentation at the 102nd Museums Association conference, Harrogate, UK, October 1996.

  23. The Ethics of Safety-Critical Systems. In Dimitris Gritzalis and Tom Anderson (eds.), Reliability, Quality and Safety of Software-Intensive Systems: Application experiences, trends and perspectives, and key theoretical issues, pages 253-267, European Commission ESPRIT/ESSI Programme ENCRESS (21542) Project, 1997.

  24. Ten Commandments of Formal Methods, Jonathan Bowen and Mike Hinchey (NJIT). PC World Russia, September/October 1997. Russian translation of original paper.

  25. The Virtual Library museums pages (VLmp): Whence and Whither? In David Bearman and Jennifer Trant (eds.), Museums and the Web, 1997: Selected Papers, pages 9-25, Archives & Museum Informatics, 5501 Walnut Street, Suite 203, Pittsburgh, Pennsylvania 15232-2311, USA, 1997.

  26. The Use of Industrial-Strength Formal Methods, Jonathan Bowen and Mike Hinchey. Proc. 21st International Computer Software & Application Conference (COMPSAC'97), Washington D.C., USA, 13-15 August 1997, pages 332-337, IEEE Computer Society Press, 1997.

  27. B-hold the Future of Software Development. The Times Higher Education Supplement, Multimedia computer books, 1267:30, 14 February 1997. Review of The B-Book: Assigning Programs to Meanings, J.-R. Abrial, Cambridge University Press, 1996.

  28. The World Wide Web and the Virtual Library Museums Pages. European Review: Interdisciplinary Journal of the Academia Europaea, 5(1):89-104, January 1997. Invited paper.

  29. System and Software Safety in Critical Systems, Ulla Isaksen, Jonathan Bowen and Nimal Nissanke. RUCS Technical Report RUCS/97/TR/062/A, 1997. Also in PDF format.

  30. Formal Models and the Specification Process. Jonathan Bowen and Mike Hinchey (NJIT). In Allen B. Tucker, Jr. (ed.), The Computer Science and Engineering Handbook, Section X, Software Engineering, Chapter 107, pages 2302-2322, CRC Press, 1997. Invited chapter.

    1996

  31. Book review. The Knowledge Engineering Review, 11(4):373-374, 1996. Review of The Knowledge Acquisition and Representation Language, KARL, D. Fensel, Kluwer Academic Publishers, 1995.

  32. Zeven Nieuwe Fabels over Formele Methoden, Jonathan Bowen and Mike Hinchey (NJIT). IT Management [Select], 4:34-45, December 1996. Dutch translation of Seven More Myths of Formal Methods.

  33. On-line Museums. Revue: Informatique et Statistique dans les Sciences Humaines, 32(1-4):29-44, 1996. CIPL-LASLA, Université de Liège, Belgium. Invited paper.

  34. Lionising Leo. The Times Higher Education Supplement, page 25, 22 November 1996. Review of The World's First Business Computer: User-Driven Innovation, D.T. Caminer (ed.), McGraw-Hill, 1996.

  35. Virtual Museum of Computing Web Site. IEEE Annals of the History of Computing, 18(4):67, 1996.

  36. Hardware Compilation of the ProCoS Gas Burner Case Study using Logic Programming. In G. Brown (ed.), Proc. ProCoS-US Hardware Synthesis and Verification Workshop, Cornell University, Ithaca, New York, USA, 14-16 August 1996. Also available as Technical Report RUCS/96/TR/011/A, 1996.

  37. The Virtual Library Museums Pages on ICOM's World Wide Web site. ICOM News: Bulletin of the International Council of Museums, 49(2):10, 1996.

  38. Museums and the Internet. Chapter 4, Beyond the Basics, pages 49-66. In Tony Gill (ed.), The MDA Guide to Computers in Museums, pages 57-58, Museum Documentation Association, Cambridge, UK, 1996.

  39. A ProCoS II Project Final Report: ESPRIT Basic Research project 7071, Jonathan Bowen, C.A.R. Hoare (Oxford University), Hans Langmaack (Christian-Albrechts-Universität zu Kiel, Germany), Ernst-Rüdiger Olderog (Universität Oldenburg, Germany) and Anders P. Ravn (Technical University of Denmark). Bulletin of the European Association for Theoretical Computer Science (EATCS), 59:76-99, June 1996.

  40. An Invitation to Formal Methods, Hossein Saiedian, Jonathan P. Bowen, Ricky W. Butler, David L. Dill, Robert L. Glass, David Gries, J. Anthony Hall, Michael G. Hinchey, C. Michael Holloway, Daniel Jackson, Cliff B. Jones, Michael J. Lutz, David L. Parnas, John Rushby, Jeannette Wing, and Pamela Zave. IEEE Computer, 29(4):16-30, April 1996. Includes To Formalize or Not to Formalize?, Mike Hinchey (NJIT) and Jonathan Bowen, pages 18-19.

  41. Book review. Formal Aspects of Computing, 8(2):245-246, March/April 1996. High Integrity Compilation: A Case Study, Susan Stepney, Prentice Hall, 1993.

  42. Book review. The Knowledge Engineering Review, 11(2):197-198, 1996. Review of Formal Methods in Knowledge Engineering, M. Aben, University of Amsterdam, Netherlands, 1995.

    1995

  43. Guest editor for special issue on Engineering Complex Computer Systems, Mike Hinchey (NJIT) and Jonathan Bowen (eds.). The Computer Journal, (New) 38(4), 1995.

  44. A Concrete Grammar for Z, Peter Breuer (Universidad Politécnica de Madrid) and Jonathan Bowen. Oxford University Computing Laboratory Technical Report PRG-TR-22-95, September 1995. Also issued as a poster, Z in PRECC (A PREttier Compiler-Compiler), FME'96 Symposium, Oxford, UK, 18-22 March 1996.

  45. Alice Bowen's Home Page. In Wayne Ause, Instant HTML Web Pages, chapter 2, Personal Web Pages, pages 20-22, Ziff-Davis Press, 1995.

  46. The World Wide Web Virtual Library of Museums. Information Services & Use, 15(4):317-324, 1995. Also in J. Hemsley (ed.), Proc. EVA'95: Electronic Imaging & the Visual Arts, pages 105-114, National Gallery, London, UK, 27 July 1995. Brameur Ltd., Clarke House, 2 Kings Road, Fleet, Hants GU13 9AD, UK. ISBN 0-99519980-7-2. Invited paper.

  47. A PREttier Compiler-Compiler: Generating Higher Order Parsers in C, Peter Breuer and Jonathan Bowen. Software - Practice and Experience, 25(11):1263-1297, November 1995. Previous version issued as an Oxford University Computing Laboratory Technical Report PRG-TR-20-92, 25pp, November 1992. See also PRECC information.

  48. Just in Time: Towards a new formal method for specification and implementation of real-time processes, Peter Breuer (Universidad Politécnica de Madrid), Jonathan Bowen, N.M. Madrid, L.Sanchez and C.D. Kloos. Proc. Fourth Software Engineering Research Forum (SERF'95), Boca Raton, Florida, USA, pages 249-258, 2-3 November 1995.

  49. Seven Deadly Sins: Or, how not to run a successful formal methods project, Mike Hinchey (NJIT) and Jonathan Bowen. Proc. Fourth Software Engineering Research Forum (SERF'95), Boca Raton, Florida, USA, pages 265-268, 2-3 November 1995.

  50. Better up front: Generating parsers in ANSI C, Peter Breuer and Jonathan Bowen. In Proc. Software for the Public Domain, pages 102-114, Univ. Carlos III de Madrid, Spain, September 1995.

  51. The Virtual Library of Museums. In G. Day (ed.), Proc. Museum Collections and the Information Superhighway, pages 37-39, Science Museum, London, UK, 10 May 1995. See also slides.

  52. Accidents Waiting to Happen. The Times Higher Education Supplement, Multimedia computer books, page vi, 8 September 1995. Review of Computer Related Risks, P.G. Neumann, Addison Wesley, 1995 and Safeware: System Safety and Computers, N.G. Leveson, Addison Wesley, 1995.

  53. Collections of Collections. Museums Journal, 95(8):24-25, August 1995. Invited article. See also Unravelling the Web, page 23.

  54. Seven More Myths of Formal Methods, Jonathan Bowen and Mike Hinchey (NJIT). IEEE Software, 12(4):34-41, July 1995. Previously available as University of Cambridge Computer Laboratory Technical Report 357, 12pp, December 1994 and Oxford University Computing Laboratory Technical Report PRG-TR-7-94, 19pp, June 1994.

  55. Towards Verified Systems: The SAFEMOS Project, Jonathan Bowen, He Jifeng, Roger Hale (Cambridge SRI) and John Herbert (Cambridge SRI). In C. Mitchell and V. Stavridou (eds.), The Mathematics of Dependable Systems, Oxford University Press, (New) The Institute of Mathematics and its Applications (IMA) Conference Series, volume 55, pages 23-48, 1995.

  56. Editorial (Z Special Issue), Jonathan Bowen and Mike Hinchey (University of Cambridge) (eds.). Information and Software Technology, 37(5-6):258-259, May/June 1995.

  57. A Shallow Embedding of Z in HOL, Jonathan Bowen and Mike Gordon (University of Cambridge). Information and Software Technology, 37(5-6):269-276, May/June 1995.

  58. Annotated Z Bibliography, Jonathan Bowen, Susan Stepney and Rosalind Barden (Logica Cambridge Limited). Information and Software Technology, 37(5-6):317-332, May/June 1995.

  59. Z Glossary. Information and Software Technology, 37(5-6):333-334, May/June 1995.

  60. Report on Z User Meeting (ZUM'94), Jonathan Bowen and Mike Hinchey (University of Cambridge). Information and Software Technology, 37(5-6):335-336, May/June 1995. Also in FACS Europe, Series I, 1(3):31-32, Winter 1994. Available in on-line hypertext form.

  61. Seven Deadly Sins, Mike Hinchey (University of Cambridge) and Jonathan Bowen. In Practical Application of Formal Methods, IEE Colloquium, Computing and Control Division, Digest No. 1995/109, The Institution of Electrical Engineers, Savoy Place, London WC2R 0BL, UK, pages 4/1-3, 19 May 1995. Extended abstract.

  62. Current Ideas, Eclectic Charge. The Times Higher Education Supplement, page 26, 5 May 1995. Review of Van Nostrand's Scientific Encyclopedia, D.M. Considine (ed.), 8th edition, two volumes, Van Nostrand Reinhold, 1995.

  63. Ten Commandments of Formal Methods, Jonathan Bowen and Mike Hinchey (NJIT). IEEE Computer, 28(4):56-63, April 1995. Previous version available as Technical Report No. 350, University of Cambridge Computer Laboratory, 18pp, September 1994. See also a summary and the abstract.

  64. Exhibitions in the Ether. The Times Higher Education Supplement, Multimedia features, page xii, 10 March 1995.

  65. A Brief History of Algebra and Computing: An Eclectic Oxonian View. (New) IMA Bulletin, 31(1/2):6-9, January/February 1995. Dedicated to Prof. C.A.R. Hoare on his 60th birthday. Also available in a longer version as Oxford University Computing Laboratory Technical Report PRG-TR-9-94, July 1994. Also available in on-line hypertext form.

  66. Rapid Compiler Implementation. Chapter 10 in He Jifeng, Provably Correct Systems: Modelling of Communication Languages and Design of Optimized Compilers, McGraw-Hill International Series in Software Engineering, pp 141-169, 1995.

    1994

  67. Specification, Verification and Prototyping of an Optimized Compiler, He Jifeng and Jonathan Bowen. Formal Aspects of Computing, 6(6):643-658, 1994.

  68. Seven More Myths of Formal Methods: Dispelling Industrial Prejudices, Jonathan Bowen and Mike Hinchey (University of Cambridge). In M. Naftalin, T. Denvir and M. Bertran (eds), FME'94: Industrial Benefit of Formal Methods, Springer-Verlag, LNCS 873, pp 105-117, 1994.

  69. Decompilation: The Enumeration of Types and Grammars, Peter Breuer (Universidad Politécnica de Madrid) and Jonathan Bowen. ACM Transactions on Programming Languages and Systems (TOPLAS), 16(5):1613-1647, September 1994. Previous version available as Oxford University Computing Laboratory Technical Report PRG-TR-11-92, 28pp, May 1992. See also abstract.

  70. Guerrilla Attacks on Logic. The Times Higher Education Supplement, Multimedia reviews, page xi, 16 September 1994. Review of Handbook of Logic in Artificial Intelliigence and Logic Programming, D.M. Gabbay, C.J. Hogger and J.A. Robinson (eds.), volumes 1-3, Oxford University Press, 1993-4.

  71. Provably Correct Systems - FTRTFT'94 Tutorial, Jonathan Bowen, C.A.R. Hoare, Michael R. Hansen, Anders P. Ravn, Ernst-Rüdiger Olderog, Michael Schenke, Martin Fränzle, Markus Müller-Ulm, He Jifeng and Zheng Jianping. Third International School and Symposium, Formal Techniques in Real Time and Fault Tolerant Systems, 19-23 September 1994, Lübeck, Germany: School Material. Christian-Albrechts-Universität, 1994.

  72. Formal Methods and Safety-Critical Standards, Jonathan Bowen and Mike Hinchey (University of Cambridge). IEEE Computer, 27(8):68-71, August 1994.

  73. A ProCoS-WG Working Group Description: ESPRIT Basic Research 8694, Jonathan Bowen et al. Bulletin of the European Association for Theoretical Computer Science (EATCS), 53, pp 136-145, June 1994. Also available in on-line hypertext form.

  74. Z and HOL, Jonathan Bowen and Mike Gordon (University of Cambridge). Invited paper in J.P. Bowen and J.A. Hall (eds.), Z User Workshop, Cambridge 1994, Springer-Verlag, Workshops in Computing, pp 141-167, 1994.

  75. Towards Correct Executable Semantics for Z, Peter Breuer (Universidad Politécnica de Madrid) and Jonathan Bowen. In J.P. Bowen and J.A. Hall (eds.), Z User Workshop, Cambridge 1994, Springer-Verlag, Workshops in Computing, pp 185-209, 1994. See also prototype Miranda script.

  76. Select Z Bibliography. In J.P. Bowen and J.A. Hall (eds.), Z User Workshop, Cambridge 1994, Springer-Verlag, Workshops in Computing, pp 359-396, 1994. Also available as Oxford University Computing Laboratory Technical Report PRG-TR-8-94, 42pp, June 1994.

  77. Comp.specification.z and Z FORUM Frequently Asked Questions. In J.P. Bowen and J.A. Hall (eds.), Z User Workshop, Cambridge 1994, Springer-Verlag, Workshops in Computing, pp 397-404, 1994.

  78. Formal Methods: Epideictic or Apodeictic?, Jonathan Bowen and Victoria Stavridou (University of London). IEE/BCS Software Engineering Journal, Personal View, 9(1):2, January 1994. Also in BCS FACS FACTS, Series III, 1(3):5-6, Summer 1993.

    1993

  79. From Programs to Object Code and back again using Logic Programming: Compilation and Decompilation, Journal of Software Maintenance: Research and Practice, 5(4):205-234, December 1993.

  80. Formal Specifications in Software Maintenance: From code to Z++ and back again, Jonathan Bowen, Peter Breuer (Universidad Politécnica de Madrid) and Kevin Lano (Lloyd's Register). Information and Software Technology, 35(11/12):679-690, November/December 1993.

  81. A Compendium of Formal Techniques for Software Maintenance, Jonathan Bowen, Peter Breuer (Universidad Politécnica de Madrid) and Kevin Lano (Lloyd's Register). IEE/BCS Software Engineering Journal, 8(5):253-262, September 1993.

  82. Formal Methods in Safety-Critical Standards. In Proc. 1993 Software Engineering Standards Symposium (SESS'93), Brighton, UK, 30 August - 3 September 1993. IEEE Computer Society Press, pp 168-177, 1993.

  83. Report on Z User Meeting, London 1992. BCS FACS FACTS, Series III, 1(3):7-8, Summer 1993.
    Other versions:

  84. Safety-Critical Systems, Formal Methods and Standards, Jonathan Bowen and Victoria Stavridou (University of London). IEE/BCS Software Engineering Journal, 8(4):189-209, July 1993.
    Winner of the IEE Charles Babbage Premium award, 1994.
    Other versions issued as a Oxford University Computing Laboratory Technical Report PRG-TR-5-92, and Chapter 1 in Towards Verified Systems.

  85. Developing Correct Systems, Jonathan Bowen, Martin Fränzle (Christian-Albrechts Universität zu Kiel, Germany), Ernst-Rüdiger Olderog (Universität Oldenburg, Germany) and Anders P. Ravn (Technical University of Denmark). Invited special presentation. Proc. Fifth Euromicro Workshop on Real-Time Systems, Oulu, Finland, 22-24 June 1993. IEEE Computer Society Press, pp 176-187, 1993.

  86. A ProCoS II Project Description: ESPRIT Basic Research project 7071, Jonathan Bowen et al. Bulletin of the European Association for Theoretical Computer Science (EATCS), 50, pp 128-137, June 1993. Also available in on-line hypertext form.

  87. Select Z Bibliography. In Jonathan Bowen and John E. Nicholls (eds.), Z User Workshop, London 1992, Springer-Verlag, Workshops in Computing, pp 309-341, 1993. Also issued as Oxford University Computing Laboratory Technical Report PRG-TR-1-93, March 1993.

  88. Comp.specification.z and Z FORUM Frequently Asked Questions. In Jonathan Bowen and John E. Nicholls (eds.), Z User Workshop, London 1992, Springer-Verlag, Workshops in Computing, pp 342-347, 1993.

  89. Towards a Provably Correct Hardware Implementation of Occam, He Jifeng, Ian Page and Jonathan Bowen. In G.J. Milne and L. Pierre (eds.), Correct Hardware Design and Verification Methods, Proc. IFIP WG10.2 Advanced Research Working Conference, CHARME '93, Arles, France, 24-26 May 1993, Springer-Verlag, LNCS 683, pp 214-225, 1993.

  90. The Industrial Take-up of Formal Methods in Safety-Critical and Other Areas: A Perspective, Jonathan Bowen and Victoria Stavridou (University of London). In J.C.P. Woodcock and P.G. Larsen (eds.), FME'93: Industrial-Strength Formal Methods, First International Symposium of Formal Methods Europe, Odense, Denmark, 19-23 April 1993, Springer-Verlag, LNCS 670, pp 183-195, 1993.

  91. Programs to Hardware, Jonathan Bowen and He Jifeng. In P.G. Larsen (ed.), Tutorial Material, Formal Methods Europe '93, Industrial-Strength Formal Methods, First International Symposium of Formal Methods Europe, Odense, Denmark, 19-23 April 1993, pp 437-450. In Anders P. Ravn (ed.), Provably Correct Systems (ProCoS) tutorial.

  92. Systèmes à Sûreté de Fonctionnement Critique, Méthodes Formelles et Normes, Jonathan Bowen and Victoria Stavridou (University of London). Génie Logiciel & Systèmes Experts, 30, pp 55-82, March 1993. French translation of Safety-Critical Systems, Formal Methods and Standards.

  93. Decompilation, Jonathan Bowen and Peter Breuer. Chapter 10 in Henk van Zuylen (ed.), The REDO Compendium: Reverse Engineering for Software Maintenance, John Wiley & Sons, pp 131-138, 1993.

  94. Understanding Programs through Formal Methods, Peter Breuer, Kevin Lano and Jonathan Bowen. Chapter 15 in Henk van Zuylen (ed.), The REDO Compendium: Reverse Engineering for Software Maintenance, John Wiley & Sons, pp 195-223, 1993. Also previously issued as a Oxford University Computing Laboratory Technical Report PRG-TR-15-91.

  95. The PRECC Compiler-Compiler, Peter Breuer and Jonathan Bowen. In Elwyn Davies and Andrew Findlay (eds.), Proc. UKUUG/SUKUG Joint New Year 1993 Conference, Oxford, UK, 6-8 January 1993. UKUUG/SUKUG Secretariat, Owles Hall, Buntingford, Herts SG9 9PL, UK, pp 167-182, 1993.

  96. Machine Language ML, Jonathan Bowen and He Jifeng. Chapter 22 in Dines Bjørner, Hans Langmaack and C.A.R. Hoare (eds.), Provably Correct Systems, ProCoS Technical Report [ID/DTH DB 13/1], Dept. of Computer Science, Technical University of Denmark, DK-2800 Lyngby, Denmark, January 1993.

  97. Rapid Compiler Implementation, Chapter 24 in Dines Bjørner, Hans Langmaack and C.A.R. Hoare (eds.), Provably Correct Systems, ProCoS Technical Report [ID/DTH DB 13/1], Dept. of Computer Science, Technical University of Denmark, DK-2800 Lyngby, Denmark, January 1993.

    1992

  98. Select Z Bibliography. In John E. Nicholls (ed.), Z User Workshop, York 1991, Springer-Verlag, Workshops in Computing, pp 367-397, 1992. Also issued as a Oxford University Computing Laboratory Technical Report PRG-TR-10-92.

  99. Comp.specification.z and Z FORUM Frequently Asked Questions. In John E. Nicholls (ed.), Z User Workshop, York 1991, Springer-Verlag, Workshops in Computing, pp 398-401, 1992.

  100. Occam's Razor: The Cutting Edge of Parser Technology, Jonathan Bowen and Peter Breuer. In Proc. TOULOUSE 92: Fifth International Conference on Software Engineering and its Applications, Toulouse, France, 7-11 December 1992. Available from EC2, 269/287 rue de la Garenne, 92024 Nanterre Cedex, France.

  101. X: Why Z?, Computer Graphics Forum, 11(4):221-234, October 1992.

  102. Formal Methods and Software Safety, Jonathan Bowen and Victoria Stavridou (University of London). In Heinz Frey (ed.), Safety of Computer Control Systems 1992 (SAFECOMP'92), Proc. IFAC Symposium, Zürich, Switzerland, 28-30 October 1992, Pergamon Press, pp 93-98, 1992.

  103. Decompilation is the Efficient Enumeration of Types, Peter Breuer and Jonathan Bowen. In M. Billaud et al. (eds.), Journées de Travail WSA'92 Analyse Statique, Bordeaux, France, 23-25 September 1992, BIGRE 81-82, IRISA-Campus de Beaulieu, F-35042 Rennes cedex, France, pp 255-273, 1992.

  104. Compiling Software directly into Hardware. Abstract in Hans Langmaack, Eric Neuhold and Manfred Paul (eds.), Software Construction - Foundation and Application, Dagstuhl-Seminar-Report 29, 13-17.1.1992 (9203), IBFI GmbH, Schloß Dagstuhl, W-6648, Wadern, Germany, pages 13-14, 1992.

  105. From Programs to Object Code using Logic and Logic Programming. In Robert Giegerich and Susan L. Graham (eds.), Code Generation - Concepts, Tools, Techniques, Proc. International Workshop on Code Generation, Dagstuhl, Germany, 20-24 May 1991. Springer-Verlag, Workshops in Computing, pp 173-192, August 1992.

  106. Time Interval Semantics and Implementation of a Real-Time Programming Language, He Jifeng and Jonathan Bowen. In Proc. Fourth Euromicro Workshop on Real-Time Systems, Athens, Greece, 3-5 June 1992. IEEE Computer Society Press, pp 110-115, 1992.

    1991

  107. From Programs to Object Code and back again using Logic Programming. Abstract in Robert Giegerich and Susan L. Graham (eds.), Code Generation - Concepts, Tools, Techniques, Dagstuhl-Seminar-Report 13, 20-24.5.1991 (9121), IBFI GmbH, Schloß Dagstuhl, W-6648, Wadern, Germany, page 9, 1991.

  108. The REDO Project: Final Report, Jonathan Bowen, Peter Breuer and Kevin Lano. Oxford University Computing Laboratory Technical Report PRG-TR-23-91, 45pp, December 1991.

  109. Selected Z Bibliography. In John E. Nicholls (ed.), Z User Workshop, Oxford 1990, Springer-Verlag, Workshops in Computing, pp 353-373, 1991. Also issued as a Oxford University Computing Laboratory Technical Report PRG-TR-5-91, 22pp, April 1991.

    1990

  110. Formal Specification of the ProCoS/safemos Instruction Set. In Hussein Zedan (ed.), Special Feature: Formal Aspects of Microprocessor Design, Microprocessors and Microsystems, 14(10):631-643, December 1990. Invited article.

  111. An Algebraic Approach to Verifiable Compiling Specification and Prototyping of the ProCoS Level 0 Programming Language, C.A.R. Hoare, He Jifeng, Jonathan Bowen and Paritosh Pandya. In Directorate-General XIII of the Commission of the European Communities (eds.), ESPRIT '90 Conference Proceedings, Brussels, Belgium, 12-15 November 1990, Kluwer Academic Publishers, pp 804-818, 1990.

  112. Selected Z Bibliography. In John E. Nicholls (ed.), Z User Workshop, Oxford 1989, Springer-Verlag, Workshops in Computing, pp 265-276, 1990.

  113. An Approach to Verifiable Compiling Specification and Prototyping, Jonathan Bowen, He Jifeng and Paritosh Pandya. In Pierre Deransart and Jan Maluszynski (eds.), Programming Language Implementation and Logic Programming, Proc. International Workshop PLILP '90, Linköping, Sweden, 20-22 August 1990, Springer-Verlag, LNCS 456, pp 45-59, 1990.

  114. Concise Oxford Dictionary, 8th edition. Consultant for computing, mathematical and statistical terms, Oxford University Press, 1990.

  115. The Aliens' Guide to Oxford, Jonathan Bowen and Peter Breuer. Oxford University Computing Laboratory Technical Report PRG-TR-12-90, 27pp, June 1990. Also available in on-line hypertext form.

  116. Distributed Operating Systems, Jonathan Bowen and Timothy Gleeson (University of Cambridge). Chapter 1 in Hussein Zedan (ed.), Distributed Computer Systems: Theory and Practice, Butterworth Scientific Ltd., pp 3-28, 1990.

    1989

  117. User Interface Languages: A survey of existing methods, Gregory Abowd, Jonathan Bowen (Oxford University) and Alan Dix, Michael Harrison and Roger Took (University of York). Oxford University Computing Laboratory Technical Report PRG-TR-5-89, 65pp, October 1989.

  118. A ProCoS Project Description: ESPRIT BRA 3104, Dines Bjørner, C.A.R. Hoare, Jonathan Bowen, He Jifeng, Hans Langmaack, Ernst-Rüdiger Olderog, Ursula Martin, Victoria Stavridou, Fleming Nielson, Hanne Riis Nielson, Howard Barringer, Doug Edwards, Hans Henrik Løvengreen, Anders Ravn and Hans Rischel. Bulletin of the European Association for Theoretical Computer Science (EATCS), 39, pp 60-73, October 1989.

  119. Formal Specification of Window Systems, Oxford University Computing Laboratory Technical Monograph PRG-74, 88pp, June 1989.

  120. POS: Formal Specification of a UNIX Tool, IEE/BCS Software Engineering Journal, 4(1):67-72, January 1989.

    1988

  121. Proceedings of the Third Annual Z Users Meeting, Oxford University Computing Laboratory, Oxford University, 21pp, December 1988.

  122. Formal Specification in Z as a Design and Documentation Tool. In Proceedings of the Second IEE/BCS Conference, Software Engineering 88, Liverpool, UK, 11-15 July 1988. Conference Publication No. 290, pp 164-168, 1988.

  123. Specifying System Implementations in Z, Jonathan Bowen, Roger Gimson and Stig Topp-Jørgensen. Oxford University Computing Laboratory Technical Monograph PRG-63, 88pp, February 1988.

    1987

  124. Proceedings of Z Users Meeting, 1 Wellington Square, Oxford, Oxford University Computing Laboratory, Oxford University, 23pp, December 1987.

  125. Formal Specification and Documentation of Microprocessor Instruction Sets. Microprocessing and Microprogramming, 21(1-5):223-230, September 1987. In H. Schumny and J. Mølgaard (eds.), Microcomputers: Usage, Methods and Structures, EUROMICRO 87, Proc. Thirteenth Symposium on Microprocessing and Microprogramming, Portsmouth, UK, September 1987.

  126. The Specification of Network Services, Jonathan Bowen, Roger Gimson and Stig Topp-Jørgensen. Oxford University Computing Laboratory Technical Monograph PRG-61, 106pp, August 1987.

  127. The Event Queue: An Extensible Input System for UNIX Workstations, David Brown (University of Cambridge and Digital Equipment Corporation) and Jonathan Bowen. In Proc. European Unix systems Users Group Spring 1987 Conference, UNIX grows up, Helsinki, Finland and Stockholm, Sweden, 12-14 May 1987, pp 29-52, 1987. Available from EUUG Secretariat, Owles Hall, Buntingford, Herts SG9 9PL, UK.

  128. The Formal Specification of a Microprocessor Instruction Set. Oxford University Computing Laboratory Technical Monograph PRG-60, 72pp, January 1987.

    1986

  129. Design of a simple Cambridge Ring interface adapter. Computer Systems Science and Engineering, 1(2):93-98, January 1986.

    1985

  130. A User-friendly Interface Adapter. Microprocessors and Microsystems, 9(9):432-439, November 1985.

  131. Microprocessor I/O Emulation Facilities. Microprocessors and Microsystems, 9(8):386-393, October 1985.

  132. A Set of Microprocessor Programming Cards. Microprocessors and Microsystems, 9(6):274-290, July/August 1985.

  133. 6800/6802 Emulator Adapter Design Note. Microprocessors and Microsystems, 9(1):24-26, January/February 1985.

  134. Software/hardware Integration on Microprocessors. Microprocessors and Microsystems, 9(1):8-14, January/February 1985.

    1984

  135. The Wolfson Microprocessor Research Support Unit, Documentation and Usage 1981-1984. Department of Computing, Imperial College, Technical Report DoC 84/25, 425pp, November 1984.

  136. Workstation FORTRAN Supplement, and N-dimensional Cubes. Pipeline, Silicon Graphics, Mountain View, California, USA, 1(2):11-16, Summer 1984.

  137. It's a Frame-up. Input, 2(17):509-513, 1984.

  138. Wireframes in 3-D. Input, 2(18):560-565, 1984.

  139. Getting Things in Perspective. Input, 2(20):605-611, 1984.

  140. Wireframes - Adding Curves. Input, 2(21):662-668, 1984.

  141. Get your Programs in Shape. Input, 1(6):173-178, 1984.

  142. Get your Programs in Shape - 2. Input, 1(7):216-219, 1984.

    1983

  143. Geometrical Plotting Library. Practical Computing, 6(10):108-110, October 1983.

    1982

  144. Hypercubes. Practical Computing, 5(4):97-99, April 1982.

Existing and planned books

  1. Z User Workshop, London 1992, Jonathan Bowen and John E. Nicholls (eds.). Springer-Verlag, Workshops in Computing, 1993. ISBN 3-540-19818-0. See abstract.

  2. Z User Workshop, Cambridge 1994, Jonathan Bowen and Anthony Hall (Praxis Systems plc) (eds.). Springer-Verlag, Workshops in Computing, 1994. ISBN 3-540-19884-9.

  3. Towards Verified Systems, Jonathan Bowen (ed.). Elsevier Science, Real-Time Safety Critical Systems series, volume 2, series editor Hussein Zedan, 1994. ISBN 0-444-89901-4.
    Book on the safemos project. Other contributors: Juanito Camilleri, Rachel Cardell-Oliver, Mike Gordon, Roger Hale, Hans Langmaack, C.A.R. Hoare, John Herbert, He Jifeng, Ian Page, Paritosh Pandya, Andrew Pitts, Anders Ravn, David Shepherd, Victoria Stavridou and Bill Young.
    Contributor to the following chapters:

  4. Applications of Formal Methods, Mike Hinchey (NJIT) and Jonathan Bowen (eds.). Prentice Hall International Series in Computer Science, series editor Prof. C.A.R. Hoare. August 1995. ISBN 0-13-366949-1.
    Contributor to the following chapter:

  5. ZUM'95: The Z Formal Specification Notation, 9th International Conference of Z Users, Limerick, Ireland, 7-9 September 1995, Jonathan Bowen and Mike Hinchey (NJIT and University of Limerick) (eds.). Springer-Verlag, LNCS 967. September 1995. ISBN 3-540-60271-2.
    Author of the following appendices:

  6. Formal Specification and Documentation using Z: A Case Study Approach. International Thomson Computer Press, International Thomson Publishing, 1996. ISBN 1-850-32230-9.

  7. ZUM'97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, 3-4 April 1997, Jonathan Bowen, Mike Hinchey (NJIT and University of Limerick) and David Till (eds.). Springer-Verlag, LNCS 1212, April 1997. ISBN 3-540-62717-0.
    Author of the following appendices:

  8. ZUM'98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, 24-26 September 1998, Jonathan Bowen, Andreas Fett (Daimler-Benz AG, Germany), Mike Hinchey (University of Nebraska at Omaha and University of Limerick) (eds.). Springer-Verlag, LNCS 1493, September 1998. ISBN 3-540-65070-9.
    Author of the following appendices:

  9. High-Integrity System Specification and Design, Jonathan Bowen and Mike Hinchey (University of Nebraska at Omaha). Springer-Verlag, London, FACIT series, April 1999. ISBN 3-540-76226-4. (xix+701 pages)
    Co-author of the following reprinted papers:

  10. Industrial-Strength Formal Methods in Practice, Mike Hinchey (University of Nebraska at Omaha) and Jonathan Bowen (eds.). Springer-Verlag, London, FACIT series, 1999. ISBN 1-85233-640-4. (xvi+400 pages)
    Contributor to the following chapter:

Planned books:

  1. (New) ZB2000: International Conference of B and Z Users, York, UK, 29 August - 2 September 2000, Jonathan Bowen, Andy Galloway, Mike Hinchey, Steve Dunne and Sam Valentine (eds.). Springer-Verlag, LNCS, August 2000.

  2. Rapid Prototyping using Logic Programming. Proposed book (incomplete draft). Possible publisher: Springer-Verlag, London.

Other current work

To appear:

  1. (New) Z: A Formal Specification Notation. In book collection by H. Habrias (ed.). To be published by Springer-Verlag. Extensively revised version of workshop paper.

  2. The Ethics of Safety-Critical Systems. Communcations of the ACM, 43(4), April 2000.

  3. (New) The Website of the UK Museum of the Year, 1999, Jonathan Bowen and Jane Bowen. In David Bearman and Jennifer Trant (eds.), Museums and the Web 2000: Selected papers, Minneapolis, USA, 16-19 April 2000. Archives & Museum Informatics, Pittsburgh, USA, 2000.

  4. The Museum Web Portal of the Future. Spectra, Museum Computer Network, 2000.

  5. Review of High Noon: The Inside Story of Scott McNealy and the Rise of Sun Microsystems. The Times Higher Education Supplement, March 2000.

  6. (New) Review of Weaving the Web. The Times Higher Education Supplement, March 2000.

  7. (New) Contributor to entries in Raul Rojas (ed.), Encyclopedia of Computers and Computer History, The Moschovitis Group, New York, 2000.

Submitted:

  1. (New) An Approach to the Specification and Verification of a Hardware Compilation Scheme, Jonathan Bowen and He Jifeng (UNU/IIST, Macau). Submitted for journal publication, December 1999.

  2. (New) Deriving Correct Prototypes from Z Specifications, Ali E. Abdallah, Alexandra Barros, José B. Barros (Universidade do Minho, Portugal) and Jonathan P. Bowen. Submitted for conference publication, January 2000.

  3. (New) Interfacing Disciplines in the Design of Web Interfaces. Mary C. Dyson, Roy Brigden, Jonathan Bowen, Kate Jenkins, Matthew Palmer and Will Phillips. Submitted for conference publication, March 2000. Design 2000, Conference of the Design Research Society with the Design Education Association (DEED), Coventry, UK, 11-13 September 2000.
See also:

Note: on-line versions of journal papers are drafts. See the relevant journals for the final versions.

Last updated by Jonathan Bowen, 14 March 2000.