Publications by Jonathan P. Bowen

See below for books and current work.

Papers, articles, etc.

2010

1. Can Twitter save Bletchley Park? Sue Black (University of Westminster), Jonathan P. Bowen, and Kelsey Griffin (Bletchley Park Trust). In David Bearman and Jennifer Trant (eds.), MW2010: Museums and the Web 2010, Denver, USA, 9-12 April 2010. Archives & Museum Informatics, 2010.

2. Dulwich OnView: A Museum Blog run by the Community for the Community, Alison H.Y. Liu (National Taiwan Normal University, Taiwan), Sarah McDaid (London South Bank University), Jonathan P. Bowen, and Ingrid Beazley (Dulwich Picture Gallery). In David Bearman and Jennifer Trant (eds.), MW2010: Museums and the Web 2010, Denver, USA, 9-12 April 2010. Archives & Museum Informatics, 2010.

   2009

3. Ten Commandments Ten Years On: Lessons for ASM, B, Z and VSR-net, Jonathan P. Bowen and Michael G. Hinchey. In Jean-Raymond Abrial and Uwe Glaesser (eds.), Rigorous Methods for Software Construction and Analysis. Springer-Verlag, LNCS, Volume 5115, pages 219-233, 2009.

4. PTSC: Probability, Time and Shared-variable Concurrency, Huibiao Zhu (East China Normal University), Shengchao Qin (University of Durham), Jifeng He (East China Normal University), and Jonathan P. Bowen. Innovation in Systems and Software Engineering: A NASA Journal, Springer-Verlag, 5(4):271-284, December 2009.

5. Formal Versus Agile: Survival of the Fittest, Sue Black (University of Westminster), Paul P. Boca (Hornbill Systems), Jonathan P. Bowen, Jason Gorman (Codemanship), and Mike Hinchey (LERO). IEEE Computer, 42(9):37-45, September 2009.

6. An Interview with C.A.R. Hoare, Len Shustek (editor) and Jonathan P. Bowen (interviewer). Communications of the ACM, 52(3):38-41, March 2009.

7. Using Formal Specification to Support Testing, Robert M. Hierons, Kiril Bogdanov, Jonathan P. Bowen, R. Cleaveland, John Derrick, Jeremy Dick, M. Gheorghe, Mark Harman, Kalpesh Kapoor, Paul Krause, G. Luettgen, A. J. H. Simons, Sergiy A. Vilkomir, M. R. Woodward and Hussein Zedan. ACM Computing Surveys, 41(2):1-76, February 2009.

8. Communicating the Public Understanding of Science: The Royal Society Website, Jonathan P. Bowen and Ann Borda (VeRSI, Australia). International Journal of Technology Management 46(1/2):146-164, 2009.

   2008

9. From Algebraic Semantics to Denotational Semantics for Verilog, Huibiao Zhu (East China Normal University), Jifeng He (East China Normal University), and Jonathan P. Bowen. Innovation in Systems and Software Engineering: A NASA Journal, Springer-Verlag, 4(4):341-360, December 2008.

10. Old Favourite keeps Young Rivals at Bay. Times Higher Education, 27 November 2008. Review of C Programming: A Modern Approach, 2nd edition. K.N. King, W.W. Norton & Company, 2008. Also A Concise Introduction to Image Processing using C++ and Computer Algebra with Symbolic C++.

11. Software Engineering and Formal Methods, Mike Hinchey, Michael Jackson, Patrick Cousot, Byron Cook, Jonathan P. Bowen, and Tiziana Margaria. Communications of the ACM, 51(9):54-59, September 2008.

12. From MC/DC to RC/DC: Formalization and Analysis of Control-Flow Testing Criteria, Sergiy A. Vilkomir and Jonathan P. Bowen. In Robert M. Hierons, Jonathan P. Bowen, and Mark Harman (eds.), Formal Methods and Testing, Springer-Verlag, LNCS, Volume 4949, pages 240-270, 2008.

13. Mobile Multimedia: Reflections from Ten Years of Practice, Silvia Filippini-Fantoni (London South Bank University) and Jonathan P. Bowen. In Loïc Tallon and Kevin Walker (eds.), Digital Technologies and the Museum Experience: Handheld Guides and Other Media, pages 79-96. AltaMira Press, 2008.

14. Formalization of Data Flow Computing and a Coinductive Approach to Verifying Flowware Synthesis, Phan Cong Vinh and Jonathan P. Bowen. In Marina Gavrilova and C. J. Kenneth Tan (eds.), Transactions on Computational Science I, Springer-Verlag, LNCS, Volume 4750, pages 1-36, June 2008.

15. Wiki Software and Facilities for Museums, Jonathan P. Bowen. In David Bearman and Jennifer Trant (eds.), MW2008: Museums and the Web 2008, Montreal, Canada, 9-12 April 2008. Archives & Museum Informatics, 2008. See also abstract.

16. Gender Issues in HCI Design for Web Access, Stefania Boiano (InvisibleStudio, Italy), Ann Borda, Jonathan P. Bowen, Xristine Faulkner, Giuliano Gaia (InvisibleStudio, Italy) and Sarah McDaid. In Felix B. Tan (ed.), Global Information Technologies: Concepts, Methodologies, Tools, and Applications, Chapter 7.20, pages 3175-3202, Information Science Reference, Hershey, USA, 2008. Reprint.

    2007

17. FACS 2007 Christmas Workshop: Formal Methods in Industry, Paul Boca, Jonathan P. Bowen and Peter Gorm Larsen (eds.). BCS London Offices, UK, 17 December 2007. Electronic Workshops in Computing (eWiC), British Computer Society, 2007.

18. The Abstract Route to Better Software. In Robert Heller (ed.), CEO Today, pages 141-142, Sovereign Publications Limited, London, UK, October 2007.

19. Algebraic Approach to Linking the Semantics of Web Services, Huibiao Zhu (East China Normal University), Jifeng He (East China Normal University), Jing Li (East China Normal University), and Jonathan P. Bowen. In Mike Hinchey and Tiziana Maragia (eds.), 5th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), London, UK, 12-14 September 2007. IEEE Computer Society Press, pages 315-326, 2007.

20. Ordering Mutants to Minimise Test Effort in Mutation Testing. Kalpesh Kapoor and Jonathan P. Bowen. ACM Transactions on Software Engineering and Methodology (TOSEM), 16(3):1-12, July 2007.

21. An Experimental Museums Wiki, Jonathan P. Bowen, Isabel Bernal and Eleanor Lisney. In Jonathan P. Bowen, Suzanne Keene and Lindsay MacDonald (eds.), EVA London 2007 Conference Proceedings, London College of Communication, University of the Arts London, UK, 11-13 July 2007. EVA Conferences International, pages 24.1-24.2, 2007.

22. A Formal Approach to Aspect-Oriented Modular Reconfigurable Computing, Phan C. Vinh and Jonathan P. Bowen. TASE 2007: First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, Shanghai, China, 5-8 June 2007. IEEE Computer Society Press, pages 369-378, 2007.

23. Bookmarking in Museums: Extending the museum experience beyond the visit?, Silvia Filippini-Fantoni (Antenna Audio) and Jonathan P. Bowen. In David Bearman and Jennifer Trant (eds.), MW2007: Museums and the Web 2007, San Francisco, USA, 11-14 April 2007. Archives & Museum Informatics, 2007. See abstract.

24. A Museums Wiki, Jonathan P. Bowen, Isabel Bernal (EIFL), Eleanor Lisney (Coventry University) and Silvia Filippini-Fantoni (Antenna Audio). In David Bearman and Jennifer Trant (eds.), MW2007: Museums and the Web 2007, San Francisco, USA, 11-14 April 2007. Archives & Museum Informatics, 2007. See abstract.

25. Algebraic Approach to Operational Semantics and Observation-Oriented Semantics for a Timed Shared-Variable Language with Probability, Huibiao Zhu (East China Normal University), He Jifeng (East China Normal University) and Jonathan P. Bowen. SEW-31: 31st Annual IEEE/NASA Software Engineering Workshop, Baltimore, Maryland, USA, 6-8 March 2007. IEEE Computer Society Press, pages 131-143, 2007.

    2006

26. Teaching Formal Methods: Practice and Experience, Paul Boca, Jonathan P. Bowen and David A. Duce (eds.). BCS London Office, UK, 15 December 2006. Electronic Workshops in Computing (eWiC), British Computer Society, 2006.

27. Formalization and Assessment of Regulatory Requirements for Safety-critical Software, Sergiy A. Vilkomir (University of Limerick, Ireland), Jonathan P. Bowen and Aditya K. Ghose (University of Wollongong, Australia). Innovation in Systems and Software Engineering: A NASA Journal, Springer-Verlag, 2(3-4):165-178, December 2006.

28. Integrating Probability with Time and Shared-Variable Concurrency, Huibiao Zhu (East China Normal University), Shengchao Qin (University of Durham), He Jifeng (East China Normal University) and Jonathan P. Bowen. SEW-30: 30th Annual IEEE/NASA Software Engineering Workshop, Columbia, Maryland, USA, 24-28 April 2006. IEEE Computer Society Press, pages 179-189, 2006.

29. Gender Issues in HCI Design for Web Access, Stefania Boiano (InvisibleStudio, Italy), Ann Borda, Jonathan P. Bowen, Xristine Faulkner, Giuliano Gaia (InvisibleStudio, Italy) and Sarah McDaid. In Panayiotis Zaphiris (City University, UK) and Sri Kurniawan (University of Manchester, UK) (eds.), Advances in Universal Web Design and Evaluation: Research, Trends and Opportunities, Section III, Gender Issues, Chapter VI, pages 116-153. Idea Group Publishing, Hershey, USA, 2006.

30. From Algebraic Semantics to Denotational Semantics for Verilog, Zhu Huibiao, He Jifeng (East China Normal University, Shanghai) and Jonathan P. Bowen. Proc. 11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2006), Stanford, USA, 14-18 August 2006. IEEE Computer Society Press, pages 139-151, 2006.

31. A Comparison of Gender Bias in Art and Science Museum Websites, Rod Gunn, Gloria Moss (University of Glamorgan), Jonathan P. Bowen, Isabel Bernal (eIFL.net, Rome, Italy), Eleanor Lisney (Coventry University) and Sarah McDaid (London South Bank University). EVA 2006 London Conference Proceedings, London, UK, 26-28 July 2006. EVA Conferences International, pages 5.1-5.7, 2006.

32. Copyright Protection and Cultural Heritage: Steering digitization between public archives and search engines, Teresa Numerico (Università di Salerno, Italy) and Jonathan P. Bowen. EVA 2006 London Conference Proceedings, London, UK, 26-28 July 2006. EVA Conferences International, pages 6.1-6.7, 2006.

33. Confessions of Computer Scientists working in the Arts: A tale of two techies, Jonathan P. Bowen and Mark d'Inverno (University of Westminster). EVA 2006 London Conference Proceedings, London, UK, 26-28 July 2006. EVA Conferences International, pages 15.1-15.10, 2006.

34. WWW.World of Give-and-take. The Times Higher Education Supplement, 1752:21, 21 July 2006. Review of Wiki: Web Collaboration. Anja Ebersbach, Markus Glaser and Richard Heigl, Springer-Verlag, 2006.

35. Ten Commandments Ten Years On: An Assessment of Formal Methods Usage, Jonathan P. Bowen and Mike Hinchey. In George Eleftherakis (ed.), SEEFM05: 2nd South-East European Workshop on Formal Methods, Formal Methods: Challenges in the Business World, Ohrid, Macedonia, 18-19 November 2005. South-East European Research Centre, pages 1-16, June 2006. Invited talk.

36. Reviews, Jonathan P. Bowen, Tim Bergin and Christopher H. Sterling. IEEE Annals of the History of Computing, 28(2):77-80, April-June 2006.

37. Count Links to get No 1 Hit. The Times Higher Education Supplement, 1746:34-35, 9 June 2006. Review of Google's PageRank and Beyond: The Science of Search Engine Rankings, Amy N. Langville and Carl D. Meyer, Princeton University Press, 2006.

38. Ten Commandments: Ten Years Later: Lessons for ASM, B, Z and VSR-net. In Jean-Raymond Abrial and Uwe Glaesser (eds.), Rigorous Methods for Software Construction and Analysis. Seminar 06191, Dagstuhl, Germany, 7-12 May 2006. Abstract.

39. Z: A Formal Specification Notation. In Marc Frappier and Henri Habrias (eds.), Software Specification Methods: An Overview Using a Case Study, Chapter 1, pages 3-20. ISTE, 2006.

40. Encouraging Gender Balance: A Survey of European Art Museum Websites, Jonathan P. Bowen, Gloria Moss (University of Glamorgan, UK), Rod Gunn (University of Glamorgan, UK), Isabel Bernal (eIFL.net, Rome, Italy), Eleanor Lisney (Coventry University), Sarah McDaid (London South Bank University, UK) and Teresa Numerico (Università di Salerno, Italy). In Vito Cappellini and James Hemsley (eds.), EVA 2006 Florence Conference Proceedings, Florence, Italy, 3-7 April 2006. Pitagora Editrice Bologna, pages 185-190, 2006.

41. From MC/DC to RC/DC: Formalization and Analysis of Control-Flow Testing Criteria, Sergiy A. Vilkomir and Jonathan P. Bowen. Formal Aspects of Computing, 18(1):42-62, March 2006.

42. Museums and Wikipedia, Jonathan P. Bowen and Jim Angus (National Institutes of Health). In David Bearman and Jennifer Trant (eds.), MW2006: Museums and the Web 2006, Albuquerque, New Mexico, 22-25 March 2006. Archives & Museum Informatics, 2006. See abstract.

43. Supertext: The textbook that changed my life. The Times Higher Education Supplement Textbook Guide, 23:II, 24 February 2006. Review of Structured Programming, Ole-Johan Dahl, Edsger W. Dijkstra and C.A.R. Hoare, Academic Press, 1972.

44. A DIY Dream Machine. The Times Higher Education Supplement, 1728:30, 3 February 2006. Review of The Elements of Computing Systems: Building a Modern Computer from First Principles, Noam Nisan and Shimon Schocken, The MIT Press, 2005.

45. Ten Commandments of Formal Methods ... Ten Years Later, Jonathan P. Bowen and Mike Hinchey. IEEE Computer, 39(1):40-48, January 2006.

46. An Algebraic Approach to Hardware Compilation, Jonathan P. Bowen and He Jifeng (UNU/IIST, Macau). In Hossam A.Gabbar (Tokyo Institute of Technology, Japan) (ed.), Modern Formal Methods and Applications, Chapter 7, pages 151-176, Springer-Verlag, 2006.

47. Introduction to Formal Methods, Michael G. Hinchey (NASA), Jonathan P. Bowen and Christopher Rouff (SAIC). In Christopher Rouff, Michael G. Hinchey, James Rash, Walt Truszkowski and Diana Gordon-Spears (eds.), Agent Technology from a Formal Perspective, Chapter 2, pages 25-64, Springer-Verlag, NASA Monographs in Systems and Software Engineering, 2006.

48. Foreword, Ann Borda and Jonathan P. Bowen. In Leo Tan Wee Hin and Ramanathan Subramaniam (Nanyang Technological University, Singapore) (eds.), Handbook of Research on Literacy in Technology at the K-12 Level, pages x-xii, Idea Group Publishing, Hershey, USA, 2006.

    2005

49. Formal Methods for Safety Critical Systems, Ali E. Abdallah, Jonathan P. Bowen and Nimal Nissanke. In Hassan B. Diab and Albert Y. Zomaya (eds.), Dependable Computing Systems: Paradigms, Performance Issues, and Applications, Part I: Models and Paradigms, Chapter 9. Wiley Series on Parallel and Distributed Computing, John Wiley & Sons, 2005.

50. A Formalized Programming Mechanism for Embedded Reconfigurable Computing, Phan C. Vinh and Jonathan P. Bowen. SEW-29: Proceedings of the 29th Annual IEEE/NASA Software Engineering Workshop, Greenbelt, Maryland, USA, 6-7 April 2005, pages 245-252. IEEE Computer Society Press, 2005.

51. Web Access to Cultural Heritage for the Disabled. In James R. Hemsley, Vito Cappellini and Gerd Stanke (eds.), Digital Applications for Cultural and Heritage Institutions: Selected Papers from the EVA Conferences, Chapter 23, pages 215-225. Ashgate Publishing Limited, 2005.
    Originally presented at EVA London 2003.

52. It was Ace, Deuce - then game went to bits. The Times Higher Education Supplement, 1712:28, 7 October 2005. Review of The Essential Turing: The Ideas that Gave Birth to the Computer Age, B. Jack Copeland (ed.), Oxford University Press, 2004 & Alan Turing's Automatic Computing Engine: The Master Codebreaker's Struggle to Build the Modern Computer, B. Jack Copeland (ed.), Oxford University Press, 2005.

53. Ten Commandments Revisited: A Ten-Year Perspective on the Industrial Application of Formal Methods, Jonathan P. Bowen and Michael G. Hinchey (NASA). In Tiziana Margaria and Mieke Massink (eds.), FMICS 05: Proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems, Lisbon, Portugal, 5-6 September 2005, pages 8-16. ACM, 2005. Invited talk.

54. Can Small Museums Develop Compelling, Educational and Accessible Web Resources? The Case of Accademia Carrara, Silvia Filippini-Fantoni and Jonathan P. Bowen. In James Hemsley, Vito Cappellini and Gerd Stanke (eds.), EVA 2005 London Conference Proceedings, University College London, UK, 25-29 July 2005, pages 18.1-18.14.

55. Copyright and Promotion: Oxymoron or Opportunity?, Teresa Numerico and Jonathan P. Bowen. In James Hemsley, Vito Cappellini and Gerd Stanke (eds.), EVA 2005 London Conference Proceedings, University College London, UK, 25-29 July 2005, pages 25.1-25.10.

56. Grand Challenge 6 Workshop on Dependable Systems Evolution, Jonathan P. Bowen and Jim Woodcock (eds.). Workshop in association with the FM05 Formal Methods Conference, University of Newcastle upon Tyne, UK, 18 July 2005.

57. Personalization Issues for Science Museum Websites and E-learning, Silvia Filippini-Fantoni (University of Paris I, Sorbonne, France), Jonathan P. Bowen and Teresa Numerico. In Leo Tan Wee Hin and Ramanathan Subramaniam (Nanyang Technological University, Singapore) (eds.), E-learning and Virtual Science Centers, Section 2: Design Considerations, Chapter XIII, pages 272-291. Idea Group Publishing, Hershey, USA, 2005.

58. The Development of Science Museum Websites: Case Studies, Jonathan P. Bowen, Jim Angus (National Institute of Neurological Disorder and Stroke, USA), Jim Bennett (Museum of the History of Science, University of Oxford, UK), Ann Borda, Alpay Beler (The Science Museum, London, UK), Andrew Hodges (University of Oxford, UK) and Silvia Filippini-Fantoni (University of Paris I, Sorbonne, France). In Leo Tan Wee Hin and Ramanathan Subramaniam (Nanyang Technological University, Singapore) (eds.), E-learning and Virtual Science Centers, Section 3: Case Studies, Chapter XVIII, pages 366-392. Idea Group Publishing, Hershey, USA, 2005.

59. Report on BCS-FACS Christmas Meeting: The Verified Software Repository, 21 December 2004, BCS London Offices, Paul Boca and Jonathan P. Bowen. EATCS Bulletin, 86:257-261, June 2005.

60. Program Verification and Semantics: Further Work, Science Museum, London. Teresa Numerico and Jonathan P. Bowen. IEEE Annals of the History of Computing, 27(2), April-June 2005. In Events and Sightings, Chigusa Kita (ed.), pages 79-81.

61. Search Engines and Online Museum Access on the Web, Teresa Numerico, Jonathan P. Bowen and Silvia Filippini-Fantoni (University of Paris I, Sorbonne, France). In David Bearman and Jennifer Trant (eds.), MW2005: Museums and the Web 2005, Vancouver, Canada, 13-16 April 2005. Archives & Museum Informatics, 2005. See abstract.

62. Gender Issues and Museum Websites, Clara Baiget, Isabel Bernal, Sue Black, Nadia Blinova, Stefania Boiano, Ann Borda, Jonathan P. Bowen, Wera Grahn (University of Linköping, Sweden), Eleanor Lisney and Teresa Numerico. In David Bearman and Jennifer Trant (eds.), MW2005: Museums and the Web 2005, Vancouver, Canada, 13-16 April 2005. See abstract.

63. Continuity Aspects of Embedded Reconfigurable Computing, Phan Cong Vinh and Jonathan P. Bowen. Innovation in Systems and Software Engineering: A NASA Journal, Springer-Verlag, 1(1):41-53, April 2005.

64. Semantics of RTL and Validation of Synthesized RTL Designs Using Formal Verification in Reconfigurable Computing Systems, Phan C. Vinh and Jonathan P. Bowen. In Jerzy Rozenblit, Tim O'Neill and Jianfeng Peng (eds.), 12th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS 2005), Greenbelt, Maryland, USA , 4-5 April 2005. IEEE Computer Society Press, pages 247-254, 2005.

65. FACS Away Day, Paul Boca and Jonathan P. Bowen. FACS FACTS, BCS-FACS, Issue 2005-1, pages 5-6, March 2005.

66. FACS Christmas Meeting: The Verified Software Repository, Paul Boca and Jonathan P. Bowen. FACS FACTS, BCS-FACS, Issue 2005-1, pages 8-14, March 2005.

67. Program Verification and Semantics: Further Work, Science Museum, London, Teresa Numerico and Jonathan P. Bowen. FACS FACTS, BCS-FACS, Issue 2005-1, pages 18-25, March 2005.

68. FORTEST Network: Final meeting. FACS FACTS, BCS-FACS, Issue 2005-1, page 56, March 2005.

69. Promotion and Copyright: Oxymoron or Opportunity? Teresa Numerico and Jonathan P. Bowen. Film on the Web Conference, Bradford, UK, 7-8 March 2005. See also slides.

70. A Formal Analysis of MCDC and RCDC Test Criteria, Kalpesh Kapoor and Jonathan P. Bowen. Software Testing, Verification and Reliability, 15(1):21-40, March 2005.

71. Ordering Mutants to Minimise Test Effort in Mutation Testing, Kalpesh Kapoor, Jonathan P. Bowen. In Jens Grabowski and Brian Nielsen (eds.), Formal Approaches to Software Testing, 4th International Workshop, FATES 2004, Linz, Austria, 21 September 2004. Springer-Verlag, LNCS, Volume 3395, pages 195-209, February 2005.

72. Pioneer who Prepared the Ground for Road to Java. The Times Higher Education Supplement, 1677:34, 4 February 2005. Review of From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl, Olaf Owe, Stein Krogdahl and Tom Lyche (eds.), Springer-Verlag, Lecture Notes in Computer Science, Volume 2635, 2004. Also in FACS FACTS, Issue 2005-1, pages 57-59, March 2005.

    2004

73. Guide to Surfer's Gallery. The Times Higher Education Supplement, 1667:27, 19 November 2004. Review of Internet Art, Rachel Greene, Thames & Hudson, 2004.
    See publisher's information and links.

74. FORTEST Workshop on Model-Based Testing, IBM Hursley Laboratories, 21 October 2004, Jonathan P. Bowen and Rob Hierons (Brunel University). FACS FACTS, BCS-FACS, Issue 2004-3, pages 19-22, November 2004.

75. 25 Years of CSP, Teresa Numerico and Jonathan P. Bowen. FACS FACTS, BCS-FACS, Issue 2004-3, pages 25-31, November 2004.

76. Experimental Evaluation of the Tolerance for Control-Flow Test Criteria, Kalpesh Kapoor and Jonathan P. Bowen. Software Testing, Verification and Reliability, 14(3):167-187, September 2004.
    Updated version of SoftTest workshop paper.

77. The Building of Online Communities: An approach for learning organizations, with a particular focus on the museum sector, Alpay Beler, Ann Borda (The Science Museum, London, UK), Jonathan P. Bowen and Silvia Filippini-Fantoni (University of Paris I, Sorbonne, France). In James Hemsley, Vito Cappellini and Gerd Stanke (eds.), EVA 2004 London Conference Proceedings, University College London, The Institute of Archaeology, UK, 26-30 July 2004, pages 2.1-2.15.
    See arXiv.

78. Formal Methods, Jonathan P. Bowen and Mike Hinchey. In Allen B. Tucker, Jr. (ed.), Computer Science Handbook, 2nd edition, Section XI, Software Engineering, Chapter 106, pages 106-1 - 106-25, Chapman & Hall / CRC, ACM, 2004. Revised chapter. Also on CD-ROM.

79. Web-based Discussion Groups at Stake: The Profile of Museum Professionals Online, Roxane Bernier (Université de Montréal) and Jonathan P. Bowen. Program: Electronic Library and Information Systems, 38(2):120-137, 2004.

80. Personalization and the Web from a Museum Perspective. Jonathan P. Bowen and Silvia Filippini-Fantoni. In David Bearman and Jennifer Trant (eds.), Museums and the Web 2004: Selected Papers from an International Conference, Arlington, Virginia, USA, 31 March - 3 April 2004. Archives & Museum Informatics, pages 63-78, 2004. See also abstract.

81. An Algorithmic Approach by Heuristics to Dynamical Reconfiguration of Logic Resources on Reconfigurable FPGAs, Phan Cong Vinh and Jonathan P. Bowen. Proc. ACM/SIGDA 12th International Symposium on Field Programmable Gate Arrays, Monterey, California, USA, 22-24 February 2004. ACM Press, page 254, 2004. Poster abstract.

82. Solutions: Personalization and customization in museum websites, Silvia Filippini-Fantoni and Jonathan P. Bowen. New Heritage, 01.04:44, February 2004.

83. Billion-buck Voyage into Unknown. The Times Higher Education Supplement, 1626:32, 6 February 2004. Review of Strategic Computing: DARPA and the Quest for Machine Intelligence, 1983-1993, Alex Roland with Philip Shipman, The MIT Press, 2002.

84. Cultural Heritage Online. Ability, Issue 53, pages 12-14, January 2004.

    2003

85. Tolerance of Control-Flow Testing Criteria, Sergiy A. Vilkomir, Kalpesh Kapoor and Jonathan P. Bowen. Proc. 27th International Computer Software and Applications Conference (COMPSAC 2003), Dallas, Texas, USA, 3-6 November 2003. IEEE Computer Society Press, pages 182-187, 2003.

86. Z Logic and its Consequences, Martin C. Henson, Steve Reeves and Jonathan P. Bowen. CAI: Computing and Informatics, 22(4):381-415, 2003. In Dines Bjørner (ed.), special issue on The Logics of Formal Specification Languages.

87. Experimental Evaluation of the Tolerance for Control-Flow Test Criteria, Kalpesh Kapoor and Jonathan P. Bowen. SoftTest: UK Testing Research II workshop, Department of Computer Science, The University of York, UK, 4-5 September 2003. See also journal paper.

88. Experimental Evaluation of the Variation in Effectiveness for DC, FPC and MC/DC Test Criteria, Kalpesh Kapoor and Jonathan P. Bowen. Proc. ACM-IEEE 2003 International Symposium on Empirical Software Engineering (ISESE 2003), Villa Mondragone, Roman Castles (Rome), Italy, 30 September - 1 October 2003. IEEE Computer Society Press, pages 185-194, 2003.

89. Spotlight: Formal Aspects of Computing Science Specialist Group, Jonathan P. Bowen and Paul Boca. The Computer Bulletin, 45(5):34, BCS/OUP, September 2003.

90. BCS-FACS: A report from the trenches, Paul Boca and Jonathan P. Bowen. FACS FACTS, BCS-FACS, Issue 2003-1, pages 2-8, July 2003.

91. Web Access to Cultural Heritage for the Disabled. In James Hemsley, Vito Cappellini and Gerd Stanke (eds.), EVA 2003 London Conference Proceedings, University College London, UK, 22-26 July 2003, pages s1:1-11. Keynote address. ISBN 0-9543146-3-8.
    See arXiv, slides (also in PowerPoint) and book.

92. A Provably Correct Functional Programming Approach to the Prototyping of Formal Z Specifications. Ali E. Abdallah, Jonathan P. Bowen, Alexandra Barros and José B. Barros (Universidade do Minho, Portugal). Proc. ACS/IEEE International Conference on Computer Systems and Applications (AICCSA'03), Tunis, Tunisia, 14-18 July 2003. IEEE Computer Society Press, 2003.

93. Online: Museums and the Web 2003 conference. New Heritage, 03.03, June 2003.

94. Preface. In ZB2003: Formal Specification and Development in Z and B, Springer-Verlag, LNCS 2651, pages v-ix, 2003.

95. Disabled Access for Museum Websites. WWW2003: The Twelfth International World Wide Web Conference, Budapest, Hungary, 20-24 May 2003. Conference poster.
    See arXiv.

96. Online: Web-based discussion forums. New Heritage, 02.03:36-37, April 2003.

97. Computer Science. In J. L. Heilbron (ed.), The Oxford Companion to the History of Modern Science, Oxford University Press, New York, USA, 2003, pages 171-174. ISBN 0-19-511229-6.

98. Online Museum Discussion Forums; What do we have? What do we need?, Jonathan P. Bowen, Michael Houghton and Roxane Bernier (Université de Montréal). In David Bearman and Jennifer Trant (eds.), Proc. MW2003: Museums and the Web 2003, Charlotte, USA, 19-22 March 2003.
    See also demonstration. Honorable Mention in the Best of the Web competition.

99. Online: Museum Computer Network & Museums Computer Group. New Heritage, 01.03:34-36, February 2003.

100. Online: MUREX National Museum Resources Exhibition. New Heritage, 01.03:35, February 2003.

     2002

101. From MC/DC to RC/DC: Formalization and Analysis of Control-Flow Testing Criteria, Sergiy A. Vilkomir and Jonathan P. Bowen. Technical Report SBU-CISM-02-17, SCISM, South Bank University, London, UK, December 2002.

102. Automatic Revelation at a Price. The Times Higher Education Supplement, 1566:24, 29 November 2002. Review of A New Kind of Science^TM, CD-ROM, Stephen Wolfram, Wolfram Research, 2002.

103. Online: Electronic imaging, the visual arts and beyond. New Heritage, 05.02:7, October 2002.

104. Weaving the Museum Web: The Virtual Library museums pages. Program: Electronic Library and Information Systems, 36(4):236-252, 2002.
     Winner of a Highly Commended Award as one of the best papers in Program in 2002. Extensively revised version of SSGRR 2000 conference paper.

105. Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog based on Denotational Semantics. Zhu Huibiao, Jonathan P. Bowen and He Jifeng. In Chris George and Huaikou Miao (eds.), Formal Methods and Software Engineering, ICFEM 2002: 4th International Conference on Formal Engineering Methods, Shanghai, China, 21-25 October 2002. Springer-Verlag, LNCS 2495, pages 600-612, 2002.
     Extended version to be available as Technical Report SBU-CISM-02-07, SCISM, South Bank University, London, UK, 2002.

106. Maverick Star of Stage and Screen. The Times Higher Education Supplement, 1559:33, 11 October 2002. Review of Free as in Freedom: Richard Stallman's Crusade for Free Software, Sam Williams, O'Reilly, 2002. See also here.

107. Formalising Configuration Relocation Behaviours for Reconfigurable Computing. Phan C. Vinh and Jonathan P. Bowen. SFP Workshop, FDL'02: Forum on Specification & Design Languages, Marseille, France, 24-27 September 2002. CD-ROM, \Papiers\SFP\PC.Vinh.pdf.

108. On-line Museum Forums: Whence and Whither?. MCN Annual Conference, Toronto, Canada, 4-7 September 2002.

109. FORTEST: Formal Methods and Testing. Jonathan P. Bowen, Kirill Bogdanov, John Clark, Mark Harman, Robert Hierons and Paul Krause. Proc. 26th Annual International Computer Software and Applications Conference (COMPSAC 02), Oxford, UK, 26-29 August 2002. IEEE Computer Society Press, pages 91-101, 2002.

110. Online: Museum forums, Roxane Bernier (Université de Montréal) and Jonathan P. Bowen. New Heritage, 04.02:62-63, August 2002.

111. Online: Museums and the Web conference 2002. New Heritage, 03.02:56, June 2002.

112. Special report | Museums + Internet. New Heritage, Heritage Development Limited, Milton Keynes, UK, 2002.

113. Online: Children's museum resources. New Heritage, 02.02:58, April 2002.

114. Museophile: A Community for Museum E-commerce, Jonathan P. Bowen. In David Bearman and Jennifer Trant (eds.), Proc. MW2002: Museums and the Web 2002, Boston, USA, 17-20 April 2002. Mini-workshop. Also available as Technical Report SBU-CISM-02-08, SCISM, South Bank University, London, UK, 2002. Also presented at MCN 2002.

115. Establishing Formal Regulatory Requirements for Safety-Critical Software Certification, Sergiy A. Vilkomir and Jonathan P. Bowen. In Alec Dorling, Fabrizio Fabbrini, Mario Fusari and Terry Rout (eds.), Proc. AQuIS 2002: 5th International Conference on Achieving Quality In Software - SPICE 2002: International Conference on Software Process Improvement and Capability dEtermination, Venice, Italy, 12-14 March 2002, pages 7-18, 2002.

116. Program Verification and Semantics: The early work, Teresa Numerico and Jonathan P. Bowen. IEEE Annals of the History of Computing, 24(1):90-92, January-March 2002. In Events and Sightings, Mary Croarken and Nathan Ensmenger (eds.), pages 90-94.
     Also in BCS Computer Resurrection (The Bulletin of the Computer Conservation Society), 27:15-18, Spring 2002.

117. Online: Copyright issues. New Heritage, 01.02:62, February 2002.

118. A Classical Collection. The Times Higher Education Supplement, 1524:31, 8 February 2002. Review of Introduction to Algorithms, 2nd edition, Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest and Clifford Stein, MIT Press, 2001.

119. Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing, Sergiy Vilkomir and Jonathan P. Bowen. In Proc. ZB2002, Springer-Verlag, LNCS 2272, pages 295-313, 2002.

     2001

120. Online: Embracing the web. New Heritage, 06.01:60, December 2001.

121. Deriving Operational Semantics from Denotational Semantics for Verilog, Zhu Huibiao, Jonathan P. Bowen and He Jifeng (UNU/IIST, Macau). Proc. APSEC 2001: 8th Asia-Pacific Software Engineering Conference, Macau SAR, China, 4-7 December 2001. IEEE Computer Society Press, pages 177-184, 2001.
     Also available as Technical Report SBU-CISM-01-16, SCISM, South Bank University, London, UK, 2001.

122. Requirements and Formality. The Critical Systems Conference, Birmingham, UK, 23-24 October 2001. Safety-Critical Systems Club, 2001. Invited presentation.

123. Online: Web accessibility (part 2). New Heritage, 05.01:58, October 2001.

124. Formalization of Software Testing Criteria using the Z Notation, Sergiy A. Vilkomir and Jonathan P. Bowen. Proc. 25th Annual International Computer Software and Applications Conference (COMPSAC'01), Chicago, Illinois, USA, 8-12 October 2001. IEEE Computer Society Press, pages 351-356, 2001.

125. Swiss with a Flair for Languages. The Times Higher Education Supplement, 1508:33, 12 October 2001. Review of The School of Niklaus Wirth: The Art of Simplicity, László Böszörményi, Jürg Gutknecht and Gustav Pomberger (eds.). dpunkt.verlag / Morgan Kaufmann Publishers, 2000.

126. From Operational Semantics to Denotational Semantics for Verilog, Zhu Huibiao, Jonathan P. Bowen and He Jifeng (UNU/IIST, Macau). In Tiziana Margaria and Tom Melham (eds.), Correct Hardware Design and Verification Methods, 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001. Springer-Verlag, LNCS 2144, pages 449-464, 2001.
     Expanded version available as Technical Report SBU-CISM-01-08, SCISM, South Bank University, London, UK, 2001.

127. Tackling web design & Advice on accessible website design, Museums Journal, 101(9):41-43, September 2001.

128. Humphry Bowen: Professional chemist whose passion was for botany, and who documented the flora of both Berkshire and Dorset. The Times, Obituaries, page 15, Tuesday, 28 August 2001.
     See also The Daily Telegraph (5 September 2001), The Independent (25 September 2001) and The Guardian (17 October 2001).

129. Internet: A question of access. New Heritage, 04.01:58, August 2001.

130. Chips make a Hash of some Dim Sums. The Times Higher Education Supplement, 1497:26, 27 July 2001. Review of Computers Ltd.: What they really can't do, David Harel, Oxford University Press, 2000. See author's information.

131. 25 entries in Raúl Rojas (ed.), Encyclopedia of Computers and Computer History, Fitzroy Dearborn Publishers, 2001. ISBN 1-57958-235-4.
     Entries: Cerf, Vinton, pages 143-145; Cray Research, pages 205-206; Dijkstra, Edsger W., pages 247-248; Hewlett, William and David Packard, pages 365-366; Hoare, C. Antony R., pages 368-370; Joy, Bill, pages 438-439; Knuth, Donald, pages 454-456; Microcomputer, pages 517-518; Microprocessor, pages 519-521; Olsen, Kenneth, pages 588-589; Postel, Jonathan, pages 638-639; RealAudio, page 666; Red Hat, pages 669-670; Ritchie, Dennis and Ken Thompson, pages 674-676; Silicon Graphics, Inc., pages 709-710; Stallman, Richard, pages 730-731; Steele, Guy L., Jr., pages 731-732; Stibitz, George, pages 732-734; Stroustrup, Bjarne, pages 737-738; Structured Programming, pages 738-739; SUN-1, pages 744-745; Supercomputer, pages 745-747; URL, page 789; Virtual Reality Modeling Language, pages 804-805; Wirth, Niklaus, pages 833-835.

132. Report: Museums and the Web conference. New Heritage, 03.01:64-65, June 2001.

133. An Approach to the Specification and Verification of a Hardware Compilation Scheme, Jonathan P. Bowen and He Jifeng (UNU/IIST, Macau). The Journal of Supercomputing, 19(1):23-39, May 2001.
     See also longer Technical Report.

134. Application of Formal Methods for Establishing Regulatory Requirements for Safety-Critical Software of Real-Time Control Systems. Sergiy A. Vilkomir and Jonathan P. Bowen. Technical Report SBU-CISM-01-03, SCISM, South Bank University, London, UK, 2001.

135. Experience Teaching Z with Tool and Web Support. ACM SIGSOFT Software Engineering Notes, 26(2):69-75, March 2001.

136. On-line Collections Access at the Museum of English Rural Life, Jonathan P. Bowen, Roy Brigden, Mary Dyson and Kevin Moran (University of Reading). In David Bearman and Jennifer Trant (eds.), Proc. MW2001 Museums and the Web conference, Seattle, USA, 14-17 March 2001. CD-ROM. See abstract.
     Also available as Technical Report SBU-CISM-01-02, SCISM, South Bank University, London, UK, January 2001.

137. Art on-line. New Heritage, 01.01:16-17, February 2001.

138. Internet: Museums and education. New Heritage, 01.01:18, February 2001.

139. Honouring the Master of Logical Languages. The Times Higher Education Supplement, 1472:26, 2 February 2001. Review of Proof, Language and Interaction: Essays in Honour of Robin Milner, Gordon Plotkin, Colin Stirling and Mads Tofte (eds.), The MIT Press, Foundations of Computer Science series, 2000. See publisher's information.

140. Formalization of Control-flow Criteria of Software Testing, Sergiy A. Vilkomir and Jonathan P. Bowen. Technical Report SBU-CISM-01-01, SCISM, South Bank University, London, UK, January 2001.

141. BOWEN, JONATHAN PETER. Who's Who in the World, Marquis Who's Who, 18th edition, 2001. (45,000 personal profiles.)

142. Z: A Formal Specification Notation. In Marc Frappier and Henri Habrias (eds.), Software Specification Methods: An Overview Using a Case Study, Chapter 1, pages 3-19. Springer-Verlag, London, FACIT series, 2001. (Published October 2000.)
     Extensively revised version of workshop paper.

     2000

143. Help to Step Through Gates into New Fields. The Times Higher Education Supplement Textbook Guide, 7:XXV, 24 November 2000. Review of Principles of Computer Architecture, Miles J. Murdocca and Vincent P. Heuring, & Design of Computers and Other Complex Digital Devices, Sunggu Lee, Prentice Hall, 2000.

144. US Players Corner the Euro Game. The Times Higher Education Supplement, 1460:30, 3 November 2000. Review of How the Web was Born: The Story of the World Wide Web, James Gillies and Robert Cailliau, Oxford University Press, 2000.

145. Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language. In Wolfgang Grieskamp, Thomas Santen and Bill Stoddart (eds.), Integrated Formal Methods, Second International Conference, IFM2000, Dagstuhl Castle, Germany, 1-3 November 2000. Springer-Verlag, LNCS 1945, pages 277-296, 2000.

146. Internet: Portals and e-commerce. New Heritage, 05.00:59, October 2000.

147. Deriving Correct Prototypes from Formal Z Specifications, Ali E. Abdallah, Alexandra Barros, José B. Barros (Universidade do Minho, Portugal) and Jonathan P. Bowen. Technical Report SBU-CISM-00-27, SCISM, South Bank University, London, UK, October 2000.

148. Interfacing Disciplines in the Design of Web Interfaces. Mary C. Dyson, Roy Brigden, Jonathan P. Bowen, Kate Jenkins, Matthew Palmer and Will Phillips. In Stephen A. R. Scrivener, Linden J. Ball and Andrée Woodcock, CoDesigning 2000: Adjunction Proceedings. Conference of the Design Research Society with the Design Education Association (DEED), Coventry, UK, 11-13 September 2000. University of Coventry, pages 35-40, 2000.

149. An Animatable Operational Semantics of the VERILOG Hardware Description Language. Jonathan P. Bowen, He Jifeng and Xu Qiwen (UNU/IIST, Macau). In Shaoying Liu, John A. McDermid and Michael G. Hinchey (eds.), Proc. ICFEM 2000: 3rd IEEE International Conference on Formal Engineering Methods, York, UK, 4-6 September 2000. IEEE Computer Society Press, pages 199-207, 2000.

150. Can software control it all? South Bank News, 11:38, Autumn 2000.
     See also Computing - a world controlled by computer software. South Bank University Annual Review 2000, page 37, South Bank University, London, UK, 2000.

151. Museums online. South Bank News, 11:39, Autumn 2000.
     See also Museophile.com. South Bank University Annual Review 2000, pages 37-38, South Bank University, London, UK, 2000.

152. It's just a tool though: No it's not, it's an alien life form. Museum Computer Network Spectra, 27(1):19-20, Summer 2000.

153. Hypercube. In David Dwyer and Mark Gruenwald, College Algebra and Trigonometry: A Contemporary Approach, 2nd edition, Brooks/Cole, Thomson Learning, 2000, page 239.

154. Weaving the Museum Web: Past Present and Future. Proc. SSGRR 2000 Computer & Ebusiness Conference, L'Aquila, Italy, 31 July - 6 August 2000. CD-ROM.
     Also available as Technical Report SBU-CISM-00-29, SCISM, South Bank University, London, UK, 2000.

155. Internet: Collections databases. New Heritage, 04.00:34, August 2000.

156. Experience Teaching Z with Tool and Web Support. ITiCSE Working Group on Support for Teaching and Learning Formal Methods. ITiCSE 2000: Conference on Innovation and Technology in Computer Science Education, Helsinki, Finland, 10-14 July 2000. See Working Documents and Contributions.
     Also available as Technical Report SBU-CISM-00-30, SCISM, South Bank University, London, UK, 2000.

157. Social Life on the Worldwide Web. The Times Higher Education Supplement, 1444:26, 14 July 2000. Review of Weaving the Web: The Past, Present and Future of the World Wide Web by its Inventor, Tim Berners-Lee, Orion Business Books, 1999.

158. Internet: Best of the Web awards. New Heritage, 03.00:58, June 2000.

159. The Ethics of Safety-Critical Systems. Communications of the ACM, 43(4):91-97, April 2000.

160. The Website of the UK Museum of the Year, 1999, Jonathan P. Bowen and Jane Bowen. In David Bearman and Jennifer Trant (eds.), Proc. Museums and the Web 2000, Minneapolis, USA, 16-19 April 2000. Archives & Museum Informatics, Pittsburgh, USA, 2000.
     Also available as Technical Report SBU-CISM-00-28, SCISM, South Bank University, London, UK, 2000.
     See also here.

161. Internet: Museums online. New Heritage, 02.00:62, April 2000.

162. The Sun's Still Shining. The Times Higher Education Supplement, 1428:26, 24 March 2000. Review of High Noon: The Inside Story of Scott McNealy and the Rise of Sun Microsystems, Karen Southwick and Eric Schmidt, Wiley, 1999.

163. Internet: Museum communities online. New Heritage, 01.00:55, February 2000.

164. 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.

165. Bowen, Jonathan Peter (1974) B.A. Engineering 1977. In Elizabeth Macfarlane and Tania Jane Rawlinson (eds.), University College Oxford Directory 2000, page 42, University College, Oxford, 2000.

     1999

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

167. 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.

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

169. Hardware Compilation: Verification and Rapid-prototyping, Jonathan P. 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.

170. 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.

171. ProCoS: Provably Correct Systems, Jonathan P. Bowen (ed.). User Group Meeting, FM'99: World Congress on Formal Methods, Toulouse, France, September 1999. Springer-Verlag, 1999. CD-ROM.

172. 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 abstract.
     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.

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

174. 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.

175. Reasoning about VHD3L and VHDL-AMS using Denotational Semantics, Peter T. Breuer (Universidad Carlos III de Madrid, Spain), N. Martinez Madrid, Jonathan P. Bowen, Robert France, M. Larrondo Petrie and Carlos Delgado Kloos. In D. Borrione (ed.), DATE'99: Design, Automation & Test in Europe Conference and Exhibtion 1999, Munich, Germany, 9-12 March 1999, pages 346-352, ACM, 1999.

176. 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

177. Book Review - 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.

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

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

180. 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.

181. Virtual Visits to Virtual Museums, Jonathan P. 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.

182. An Invoicing Case Study in Z. In M. Allemand, C. Attiogbé and H. Habrias (ed.), Invoicing'98 International Workshop on Comparing Systems Specification Techniques, "What questions are prompted by one's 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.

183. A ProCoS-WG Working Group Final Report: ESPRIT Working Group 8694, Jonathan P. 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), 64:63-72, February 1998.

184. Visiteurs virtuels et musées virtuel, Jonathan P. 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.)

     1997

185. 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.

186. 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.

187. Working the Web, Jonathan P. 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.

188. 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. See further information.

189. Ten Commandments of Formal Methods, Jonathan P. Bowen and Mike Hinchey (NJIT). PC World Russia, September/October 1997.
     • Part 1, 9:50-55, September 1997.
     • Part 2, 10:62-67, October 1997.
     Russian translation of original paper.

190. 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.

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

192. 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.

193. 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.

194. System and Software Safety in Critical Systems, Ulla Isaksen, Jonathan P. Bowen and Nimal Nissanke. RUCS Technical Report RUCS/97/TR/062/A, Department of Computer Science, The University of Reading, 1997.

195. Formal Models and the Specification Process. Jonathan P. 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

196. 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.

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

198. 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.

199. 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.

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

201. 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, Department of Computer Science, The University of Reading, 1996.

202. 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.

203. 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.

204. A ProCoS II Project Final Report: ESPRIT Basic Research project 7071, Jonathan P. 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.

205. 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?, Michael G. Hinchey and Jonathan P. Bowen, part of Formal Methods: Point-Counterpoint, Michael G. Hinchey, Jonathan P. Bowen and Robert L. Glass, pages 18-19.

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

207. 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

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

209. A Concrete Grammar for Z, Peter Breuer (Universidad Politécnica de Madrid) and Jonathan P. 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.

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

211. 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.

212. A PREttier Compiler-Compiler: Generating Higher Order Parsers in C, Peter Breuer and Jonathan P. 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.

213. Just in Time: Towards a new formal method for specification and implementation of real-time processes, Peter Breuer (Universidad Politécnica de Madrid), Jonathan P. 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.

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

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

216. 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 here.

217. 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.

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

219. Seven More Myths of Formal Methods, Jonathan P. 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.
     See abstract and citations.

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

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

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

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

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

225. Report on Z User Meeting (ZUM'94), Jonathan P. 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.

226. Seven Deadly Sins, Mike Hinchey (University of Cambridge) and Jonathan P. 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.

227. 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.

228. Ten Commandments of Formal Methods, Jonathan P. 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.
     See abstract and citations.

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

230. A Brief History of Algebra and Computing: An Eclectic Oxonian View. 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.

231. 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, pages 141-169, 1995.

     1994

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

233. Seven More Myths of Formal Methods: Dispelling Industrial Prejudices, Jonathan P. 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, pages 105-117, 1994.

234. Decompilation: The Enumeration of Types and Grammars, Peter Breuer (Universidad Politécnica de Madrid) and Jonathan P. 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.

235. 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.

236. Provably Correct Systems - FTRTFT'94 Tutorial, Jonathan P. 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.

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

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

239. Z and HOL, Jonathan P. 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, pages 141-167, 1994.
     See citations.

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

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

242. 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, pages 397-404, 1994.

243. Formal Methods: Epideictic or Apodeictic?, Jonathan P. 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

244. 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.

245. Formal Specifications in Software Maintenance: From code to Z++ and back again, Jonathan P. 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.

246. A Compendium of Formal Techniques for Software Maintenance, Jonathan P. 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.

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

248. Report on Z User Meeting, London 1992. BCS FACS FACTS, Series III, 1(3):7-8, Summer 1993.
     Other versions:
     • Z User Meetings, Safety Systems: The Safety-Critical Systems Club Newsletter, 3(1):13, September 1993.
     • Z User Group activities, JFIT News, 46, page 5, September 1993.
     • Report on Z User Meeting, Information and Software Technology, 35(10):613, October 1993.
     • Z User Meeting Activities, High Integrity Systems, 1(1):93-94, 1994.

249. Safety-Critical Systems, Formal Methods and Standards, Jonathan P. 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.
     See citations.

250. Developing Correct Systems, Jonathan P. 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. 5th Euromicro Workshop on Real-Time Systems, Oulu, Finland, 22-24 June 1993. IEEE Computer Society Press, pages 176-187, 1993.

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

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

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

254. Towards a Provably Correct Hardware Implementation of Occam, He Jifeng, Ian Page and Jonathan P. 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, pages 214-225, 1993.

255. The Industrial Take-up of Formal Methods in Safety-Critical and Other Areas: A Perspective, Jonathan P. 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, pages 183-195, 1993.

256. Programs to Hardware, Jonathan P. 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, pages 437-450. In Anders P. Ravn (ed.), Provably Correct Systems (ProCoS) tutorial, pages 407-465.

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

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

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

260. The PRECC Compiler-Compiler, Peter Breuer and Jonathan P. 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, pages 167-182, 1993.

261. Machine Language ML, Jonathan P. 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.

262. 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

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

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

265. Occam's Razor: The Cutting Edge of Parser Technology, Jonathan P. 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.

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

267. Formal Methods and Software Safety, Jonathan P. 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, pages 93-98, 1992.

268. Decompilation is the Efficient Enumeration of Types, Peter Breuer and Jonathan P. 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, pages 255-273, 1992.

269. 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.

270. 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, pages 173-192, August 1992.

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

     1991

272. 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.

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

274. Selected Z Bibliography. In John E. Nicholls (ed.), Z User Workshop, Oxford 1990, Springer-Verlag, Workshops in Computing, pages 353-373, 1991. Also issued as a Oxford University Computing Laboratory Technical Report PRG-TR-5-91, 22pp, April 1991. See also Z FORUM Electronic Mailing List (page 378) PRG Archive Server (page 379).

     1990

275. 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.

276. An Algebraic Approach to Verifiable Compiling Specification and Prototyping of the ProCoS Level 0 Programming Language, C.A.R. Hoare, He Jifeng, Jonathan P. 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, pages 804-818, 1990.

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

278. An Approach to Verifiable Compiling Specification and Prototyping, Jonathan P. 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, pages 45-59, 1990.
     See abstract and citations.

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

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

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

     1989

282. User Interface Languages: A survey of existing methods, Gregory Abowd, Jonathan P. 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.

283. A ProCoS Project Description: ESPRIT BRA 3104, Dines Bjørner, C.A.R. Hoare, Jonathan P. 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, pages 60-73, October 1989.

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

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

     1988

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

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

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

     1987

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

290. 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.

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

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

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

     1986

294. Distributed Computing Software Project, Roger Gimson, Jonathan P. Bowen and Timothy Gleeson. Proc. Workshop on Making Distributed Systems Work, ACM SIGOPS European Workshop, Amsterdam, The Netherlands, pages 1-3. ACM Press, New York, USA, 1986.

295. Design of a Simple Cambridge Ring Interface Adapter. Computer Systems Science and Engineering, 1(2):93-98, January 1986.

     1985

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

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

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

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

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

     1984

301. The Wolfson Microprocessor Research Support Unit, Documentation and Usage 1981-1984. Department of Computing, Imperial College, Technical Report DoC 84/25, 425pp, November 1984.
     • Appendix A, Simulated I/O Support, 76pp,
     • Appendix B, PDP-11 Assembler, 34pp,
     • Appendix C, 68000 Interface, 52pp,
     • Appendix D, Programming Cards, 184pp,
     • Appendix E, Research Reports, 22pp.

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

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

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

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

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

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

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

     1983

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

     1982

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

Books and proceedings

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

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

3. Towards Verified Systems, Jonathan P. 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:
   • J.P. Bowen and V. Stavridou, Safety-Critical Systems and Formal Methods, Chapter 1, pages 3-33.
   • J.P. Bowen, M.J.C. Gordon, J.A. Camilleri, P.K. Pandya et al. Overview of the Project, Chapter 2, pages 35-46.
   • J.P. Bowen, He Jifeng and I. Page, Hardware Compilation, Chapter 10, pages 193-207.
   • D.E. Shepherd and J.P. Bowen, Integration into the Industrial Design Process, Chapter 11, pages 211-221.

4. Applications of Formal Methods, Mike Hinchey (NJIT) and Jonathan P. Bowen (eds.). Prentice Hall International Series in Computer Science, series editor Prof. C.A.R. Hoare. August 1995. ISBN 0-13-366949-1.
   See citations, ACM information and THES review.
   Contributor to the following chapter:
   • Applications of Formal Methods FAQ, Mike Hinchey and Jonathan P. Bowen, Chapter 1, pages 1-15.

5. ZUM'95: The Z Formal Specification Notation, 9th International Conference of Z Users, Limerick, Ireland, 7-9 September 1995, Jonathan P. 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:
   • Select Z Bibliography, pages 527-560.
   • Comp.specification.z and Z FORUM Frequently Asked Questions, pages 561-569.

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

7. ZUM'97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, 3-4 April 1997, Jonathan P. 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:
   • Select Z Bibliography, pages 391-424.
   • Comp.specification.z and Z FORUM Frequently Asked Questions, pages 425-433.

8. ZUM'98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, 24-26 September 1998, Jonathan P. 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:
   • Select Z Bibliography, pages 367-406.
   • Comp.specification.z and Z FORUM Frequently Asked Questions, pages 407-415.

9. High-Integrity System Specification and Design, Jonathan P. 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:
   • Seven More Myths of Formal Methods, Jonathan P. Bowen and Mike Hinchey, pages 153-165.
   • Ten Commandments of Formal Methods, Jonathan P. Bowen and Mike Hinchey, pages 217-230.
   • Safety-Critical Systems, Formal Methods and Standards, Jonathan P. Bowen and Victoria Stavridou, pages 485-528.

10. Industrial-Strength Formal Methods in Practice, Mike Hinchey (University of Nebraska at Omaha) and Jonathan P. Bowen (eds.). Springer-Verlag, London, FACIT series, 1999. ISBN 1-85233-640-4. (xvi+400 pages)
    Contributor to the following chapter:
    • It's Greek to me: Method in the Madness?, Jonathan P. Bowen and Mike Hinchey, Chapter 1, pages 1-14.

11. ZB2000: Formal Specification and Development in Z and B, 1st International Conference of B and Z Users, York, UK, 29 August - 2 September 2000, Jonathan P. Bowen, Steve Dunne, Andy Galloway and Steve King (eds.). Springer-Verlag, LNCS 1878, August 2000. ISBN 3-540-67944-8. (xiv+511 pages)
    See conference information.

12. ZB2002: Formal Specification and Development in Z and B, 2nd International Conference of B and Z Users, Grenoble, France, 23-25 January 2002. Didier Bert, Jonathan P. Bowen, Martin C. Henson and Ken Robinson (eds.). Springer-Verlag, LNCS 2272, 2002. ISBN 3-540-43166-7. (xii+535 pages)
    See conference information.

13. ZB2003: Formal Specification and Development in Z and B, 3rd International Conference of B and Z Users, Turku, Finland, 4-6 June 2003. Didier Bert, Jonathan P. Bowen, Steve King and Marina Waldén (eds.). Springer-Verlag, LNCS 2651, 2003. ISBN 3-540-40253-5. (xiii+547 pages)
    See conference information and preface.

14. EVA 2006 London Conference Proceedings, The Institute of Archaeology, University College London, UK, 26-28 July 2006. James Hemsley, Suzanne Keene, Lindsay MacDonald, Jonathan P. Bowen, Vito Cappellini and Gerd Stanke (eds.). EVA Conferences International, 2006. ISBN 0-9543146-7-0.

15. EVA London 2007 Conference Proceedings, London College of Communication, University of the Arts London, UK, 11-13 July 2007. Jonathan P. Bowen, Suzanne Keene and Lindsay MacDonald (eds.). EVA Conferences International, 2007. ISBN 0-9543146-8-9.

16. Formal Methods and Testing: An Outcome of the FORTEST Network, Rob Hierons (Brunel University), Jonathan P. Bowen and Mark Harman (King's College London) (eds.). Springer-Verlag, LNCS, Volume 4949, 2008. ISBN 978-3-540-78916-1.

17. EVA London 2008 Conference Proceedings, Stuart Dunn, Suzanne Keene, George Mallen, and Jonathan P. Bowen (eds.). Electronic Workshops in Computing (eWiC), British Computer Society, 2008. ISBN 978-1-906124-07-6. See also EVA London 2008.

18. Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Egon Börger, Michael Butler, Jonathan P. Bowen, and Paul Boca. Springer-Verlag, LNCS, Volume 5238, 2008. ISBN 978-3-540-87602-1.

19. EVA London 2009 Conference Proceedings, Alan Seal, Suzanne Keene, and Jonathan P. Bowen (eds.). British Computer Society, 2009. ISBN 978-1-906124-17-5. See also EVA London 2009.

20. Formal Methods: State of the Art and New Directions, Paul Boca, Jonathan P. Bowen and Jawed Siddiqi (Sheffield Hallam University) (eds.). Springer-Verlag, 2009. ISBN 978-1-84882-735-6.

See books from Amazon and Barnes & Noble.com.

Current work

• EVA London 2010 Conference Proceedings, Alan Seal, Jonathan P. Bowen, and Kia Ng (eds.). British Computer Society, 2010.

Accepted:

• Creating Online Collaborative Environments for Museums: A case study of a museum wiki, Alison H.Y. Liu and Jonathan P. Bowen. International Journal of Web Based Communities. Accepted for a special issue on Designing Shared Spaces for Collaborative Creativity, 2010.

See also:

• OUCL Archive Service, Oxford University Computing Laboratory.
  RUCS Archive Service, Department of Computer Science, University of Reading.
  LSBU Museophile Archive Service, London South Bank University.
  World Wide Web (WWW) hypermedia information, available on-line, including WWW Virtual Library entries. Information on formal methods, museums, publishers, Oxford, Reading, Sonning, Henley, etc. Access rate: c.50,000 hits per day.

• OUCL FTP directory.
  LSBU Museophile FTP directory (also available via HTTP).

• Entries from COPAC.

• Bibliographic entries in the Collection of Computer Science Bibliographies.

• Bibliographic entries in the DBLP Computer Science Bibliography. See also home page search and coauthors.

• Jonathan P. Bowen and Jonathan Bowen entries in Scientific Commons

• J. P. Bowen and Jonathan P. Bowen books listed by AddALL.

• Jonathan P Bowen: Books (lowest price) from FetchBook.info.

• Books by Jonathan Bowen listed by BookFinder.com.

• Internet newsgroup postings by Jonathan Bowen and about Jonathan Bowen listed by Google Groups.

• World ranking in computer science citations by ResearchIndex. See also full list ordered by citations, expected citations and date. See also list of online publications.

• List of authored publications and all publications from Google Scholar.

• References to Jonathan Bowen and Jonathan P. Bowen in books under Google Print.

• List of authored publications from Microsoft Libra.

• Jonathan P. Bowen publications listed by the ACM Portal.

• IEEE and IEE publications from IEEE Xplore.

• Search results from the Computer Science sections of the arXiv e-Print archive. (See uploads.)

• Search results from the Citebase Search, EPrints.org.

• Book reviews and general search in The Times Higher Education Supplement.

• NF > reviews > Jonathan P. Bowen.

• Author profile from ticalc.org.

• Bowen, Jonathan researcher listing under Computer Science (one of 46) from the International Center for Scientific Research.

• Papers in Museums and the Web conferences.

• Museophile: Online Museum Accessibility, E-Commerce, and Forums, IS&T Colloquium webcast at NASA Goddard Space Flight Center, USA, 31 March 2004.

• Publications sorted by type (last updated 1999).

• Publications in SCISM database (2003):

Search: