Publications by Prof. Jonathan P. Bowen

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

Papers, articles, etc. 2004 1.

On the Visual Representation of Configuration in Reconfigurable Computing, Phan C. Vinh and Jonathan P. Bowen. Electronic Notes in Theoretical Computer Science (ENTCS), 109:3-15, 2004. Proceedings of Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT04), Barcelona, 27-28 March 2004.

2.

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.

3.

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.

4.

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

5. 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. 6. 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, http://myweb.lsbu.ac.uk/~bowenjp/publications.html (1 of 33)21/12/2004 22:25:58

Publications by Prof. Jonathan P. Bowen

pages 2.1-2.15. See arXiv. 7. 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. 8.

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.

9. 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. 10. 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, 2224 February 2004. ACM Press, page 254, 2004. Poster abstract. 11. Solutions: Personalization and customization in museum websites, Silvia Filippini-Fantoni and Jonathan P. Bowen. New Heritage, 01.04:44, February 2004. 12. 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. 13. Cultural Heritage Online. Ability, Issue 53, pages 12-14, January 2004. 2003 14. 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. 15. 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 http://myweb.lsbu.ac.uk/~bowenjp/publications.html (2 of 33)21/12/2004 22:25:58

Publications by Prof. Jonathan P. Bowen

Logics of Formal Specification Languages. 16. 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. 17. 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 185194, 2003. 18. Spotlight: Formal Aspects of Computing Science Specialist Group, Jonathan P. Bowen and Paul Boca. The Computer Bulletin, 45(5):34, BCS/OUP, September 2003. 19. BCS-FACS: A report from the trenches, Paul Boca and Jonathan P. Bowen. FACS FACTS, BCSFACS, Issue 2003-1, pages 2-8, July 2003. 20. 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, 2226 July 2003, pages s1:1-11. Keynote address. ISBN 0-9543146-3-8. See arXiv, slides (also in PowerPoint) and book. 21. 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. 22. Online: Museums and the Web 2003 conference. New Heritage, 03.03, June 2003. 23. Preface. In ZB2003: Formal Specification and Development in Z and B, Springer-Verlag, LNCS 2651, 2003, pages v-ix. 24. Disabled Access for Museum Websites. WWW2003: The Twelfth International World Wide Web Conference, Budapest, Hungary, 20-24 May 2003. Conference poster. See arXiv.

http://myweb.lsbu.ac.uk/~bowenjp/publications.html (3 of 33)21/12/2004 22:25:58

Publications by Prof. Jonathan P. Bowen

25. Online: Web-based discussion forums. New Heritage, 02.03:36-37, April 2003. 26. 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. 27. 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. 28. Online: Museum Computer Network & Museums Computer Group. New Heritage, 01.03:34-36, February 2003. 29. Online: MUREX National Museum Resources Exhibition. New Heritage, 01.03:35, February 2003. 2002 30. 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. 31. Automatic Revelation at a Price. The Times Higher Education Supplement, 1566:24, 29 November 2002. Review of A New Kind of ScienceTM, CD-ROM, Stephen Wolfram, Wolfram Research, 2002. 32. Online: Electronic imaging, the visual arts and beyond. New Heritage, 05.02:7, October 2002. 33. 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. 34. 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 http://myweb.lsbu.ac.uk/~bowenjp/publications.html (4 of 33)21/12/2004 22:25:58

Publications by Prof. Jonathan P. Bowen

University, London, UK, 2002. 35. 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. 36. 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. 37. On-line Museum Forums: Whence and Whither?. MCN Annual Conference, Toronto, Canada, 47 September 2002. 38. 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. 39. Online: Museum forums. New Heritage, 04.02:62-63, August 2002. 40. Online: Museums and the Web conference 2002. New Heritage, 03.02:56, June 2002. 41. Special report | Museums + Internet. New Heritage, Heritage Development Limited, Milton Keynes, UK, 2002. (11 pages, 9 Mbytes.) 42. Online: Children's museum resources. New Heritage, 02.02:58, April 2002. 43. 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. 44. 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 (editors), 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. 45. Program Verification and Semantics: The early work, Teresa Numerico and Jonathan P. Bowen. http://myweb.lsbu.ac.uk/~bowenjp/publications.html (5 of 33)21/12/2004 22:25:58

Publications by Prof. 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, pp. 90-94. Also in BCS Computer Resurrection (The Bulletin of the Computer Conservation Society), 27:1518, Spring 2002. 46. Online: Copyright issues. New Heritage, 01.02:62, February 2002. 47. 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. 48. 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 49. Online: Embracing the web. New Heritage, 06.01:60, December 2001. 50. 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. 51. Requirements and Formality. The Critical Systems Conference, Birmingham, UK, 23-24 October 2001. Safety-Critical Systems Club, 2001. Invited presentation. 52. Online: Web accessibility (part 2). New Heritage, 05.01:58, October 2001. 53. 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. 54. 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 http://myweb.lsbu.ac.uk/~bowenjp/publications.html (6 of 33)21/12/2004 22:25:58

Publications by Prof. Jonathan P. Bowen

Publishers, 2000. 55. 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. 56. Tackling web design & Advice on accessible website design, Museums Journal, 101(9):41-43, September 2001. 57. 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). 58. Internet: A question of access. New Heritage, 04.01:58, August 2001. 59. 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. 60. 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 247248; 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 804805; Wirth, Niklaus, pages 833-835.

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

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-

http://myweb.lsbu.ac.uk/~bowenjp/publications.html (7 of 33)21/12/2004 22:25:58

Publications by Prof. Jonathan P. Bowen

39, May 2001. See also longer Technical Report. 63. 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. 64. Experience Teaching Z with Tool and Web Support. ACM SIGSOFT Software Engineering Notes, 26(2):69-75, March 2001. 65. 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. 66. Art on-line. New Heritage, 01.01:16-17, February 2001. 67. Internet: Museums and education. New Heritage, 01.01:18, February 2001. 68. 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. 69. 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. 70. BOWEN, JONATHAN PETER. Who's Who in the World, Marquis Who's Who, 18th edition, 2001. (45,000 personal profiles.) 71. 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. SpringerVerlag, London, FACIT series, 2001. (Published October 2000.) Extensively revised version of workshop paper. 2000 http://myweb.lsbu.ac.uk/~bowenjp/publications.html (8 of 33)21/12/2004 22:25:58

Publications by Prof. Jonathan P. Bowen

72. 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. 73. 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. 74. 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. SpringerVerlag, LNCS 1945, pages 277-296, 2000. 75. Internet: Portals and e-commerce. New Heritage, 05.00:59, October 2000. 76. 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. 77. 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. 78. 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. 79. 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. 80. Museums online. South Bank News, 11:39, Autumn 2000. http://myweb.lsbu.ac.uk/~bowenjp/publications.html (9 of 33)21/12/2004 22:25:58

Publications by Prof. Jonathan P. Bowen

See also Museophile.com. South Bank University Annual Review 2000, pages 37-38, South Bank University, London, UK, 2000. 81. 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. 82. Hypercube. In David Dwyer and Mark Gruenwald, College Algebra and Trigonometry: A Contemporary Approach, 2nd edition, Brooks/Cole, Thomson Learning, 2000, page 239. 83. 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. 84. Internet: Collections databases. New Heritage, 04.00:34, August 2000. 85. 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. 86. 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. 87. Internet: Best of the Web awards. New Heritage, 03.00:58, June 2000. 88. The Ethics of Safety-Critical Systems. Communications of the ACM, 43(4):91-97, April 2000. 89. 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. 90. Internet: Museums online. New Heritage, 02.00:62, April 2000. http://myweb.lsbu.ac.uk/~bowenjp/publications.html (10 of 33)21/12/2004 22:25:58

Publications by Prof. Jonathan P. Bowen

91. 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. 92. Internet: Museum communities online. New Heritage, 01.00:55, February 2000. 93. 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. 94. 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 95. Beijing takes the Software Pearl in Macau's Crown. The Times Higher Education Supplement, 1409:13, 5 November 1999. 96. 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. 97. 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. 98. 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. 99. 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. 100. ProCoS: Provably Correct Systems, Jonathan P. Bowen (ed.). User Group Meeting, FM'99:

http://myweb.lsbu.ac.uk/~bowenjp/publications.html (11 of 33)21/12/2004 22:25:58

Publications by Prof. Jonathan P. Bowen

World Congress on Formal Methods, Toulouse, France, September 1999. Springer-Verlag, 1999. CD-ROM. 101. 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. 102. VLmp: The Virtual Library museums pages. ICOM News: Newsletter of the International Council of Museums, 52(1&2):9, 1999. 103. 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. 104. 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. 105. 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 106. 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. 107. 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.

http://myweb.lsbu.ac.uk/~bowenjp/publications.html (12 of 33)21/12/2004 22:25:58

Publications by Prof. Jonathan P. Bowen

108. 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. 109. 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. 110. 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. 111. 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. 112. 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. 113. Des enquêtes sur les musées en ligne: Le Virtual Library museums pages, Jonathan P. Bowen, Jim Bennett (Oxford University) and James Johnson. Publics et Musées, 13:115-127, JanuaryJune 1998. Public, nouvelles technologies, musées, Presses universitaires de Lyon, 1999. (In French.) 1997 114. 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. 115. 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. 116. Working the Web, Jonathan P. Bowen, Jim Bennett (Museum of History of Science, Oxford http://myweb.lsbu.ac.uk/~bowenjp/publications.html (13 of 33)21/12/2004 22:25:58

Publications by Prof. Jonathan P. Bowen

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. 117. 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. 118. 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. 119. 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. 120. 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. 121. 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. 122. 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. 123. 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. 124. 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.

http://myweb.lsbu.ac.uk/~bowenjp/publications.html (14 of 33)21/12/2004 22:25:58

Publications by Prof. Jonathan P. Bowen

1996 125. 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. 126. 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. 127. 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. 128. 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.), McGrawHill, 1996. 129. Virtual Museum of Computing Web Site. IEEE Annals of the History of Computing, 18(4):67, 1996. 130. 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. 131. 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. 132. 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. 133. 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. 134. An Invitation to Formal Methods, Hossein Saiedian, Jonathan P. Bowen, Ricky W. Butler, David http://myweb.lsbu.ac.uk/~bowenjp/publications.html (15 of 33)21/12/2004 22:25:58

Publications by Prof. Jonathan P. Bowen

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. 135. 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. 136. 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 137. Guest editor for special issue on Engineering Complex Computer Systems, Mike Hinchey (NJIT) and Jonathan P. Bowen (eds.). The Computer Journal, 38(4), 1995. 138. 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. 139. Alice Bowen's Home Page. In Wayne Ause, Instant HTML Web Pages, chapter 2, Personal Web Pages, pages 20-22, Ziff-Davis Press, 1995. 140. 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 105114, 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. 141. 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 PRGTR-20-92, 25pp, November 1992. See also PRECC information. 142. 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), http://myweb.lsbu.ac.uk/~bowenjp/publications.html (16 of 33)21/12/2004 22:25:58

Publications by Prof. Jonathan P. Bowen

Boca Raton, Florida, USA, pages 249-258, 2-3 November 1995. 143. 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. 144. 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. 145. 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. 146. 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. 147. Collections of Collections. Museums Journal, 95(8):24-25, August 1995. Invited article. See also Unravelling the Web, page 23. 148. 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. 149. 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. 150. 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. 151. 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. 152. Annotated Z Bibliography, Jonathan P. Bowen, Susan Stepney and Rosalind Barden (Logica

http://myweb.lsbu.ac.uk/~bowenjp/publications.html (17 of 33)21/12/2004 22:25:58

Publications by Prof. Jonathan P. Bowen

Cambridge Limited). Information and Software Technology, 37(5-6):317-332, May/June 1995. 153. Z Glossary. Information and Software Technology, 37(5-6):333-334, May/June 1995. 154. 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. 155. 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. 156. 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. 157. 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. 158. Exhibitions in the Ether. The Times Higher Education Supplement, Multimedia features, page xii, 10 March 1995. 159. A Brief History of Algebra and Computing: An Eclectic Oxonian View. IMA Bulletin, 31(1/2):69, 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. 160. 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 161. Specification, Verification and Prototyping of an Optimized Compiler, He Jifeng and Jonathan P. Bowen. Formal Aspects of Computing, 6(6):643-658, 1994. http://myweb.lsbu.ac.uk/~bowenjp/publications.html (18 of 33)21/12/2004 22:25:58

Publications by Prof. Jonathan P. Bowen

162. 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. 163. 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. 164. 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. 165. 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. 166. Formal Methods and Safety-Critical Standards, Jonathan P. Bowen and Mike Hinchey (University of Cambridge). IEEE Computer, 27(8):68-71, August 1994. 167. 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. 168. 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. 169. 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.

http://myweb.lsbu.ac.uk/~bowenjp/publications.html (19 of 33)21/12/2004 22:25:58

Publications by Prof. Jonathan P. Bowen

170. 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. 171. 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. 172. 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 173. 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. 174. 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. 175. 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. 176. 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. 177. 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.

http://myweb.lsbu.ac.uk/~bowenjp/publications.html (20 of 33)21/12/2004 22:25:58

Publications by Prof. Jonathan P. Bowen

178. 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-TR5-92, and Chapter 1 in Towards Verified Systems. See citations. 179. 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. 180. 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 128137, June 1993. Also available in on-line hypertext form. 181. 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. 182. 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. 183. 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. 184. 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. 185. 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 http://myweb.lsbu.ac.uk/~bowenjp/publications.html (21 of 33)21/12/2004 22:25:58

Publications by Prof. Jonathan P. Bowen

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. 186. 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. 187. 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. 188. 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. 189. 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. 190. 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. 191. 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 192. 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. 193. 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. http://myweb.lsbu.ac.uk/~bowenjp/publications.html (22 of 33)21/12/2004 22:25:58

Publications by Prof. Jonathan P. Bowen

194. 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. 195. X: Why Z?, Computer Graphics Forum, 11(4):221-234, October 1992. 196. 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. 197. 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. 198. Compiling Software directly into Hardware. Abstract in Hans Langmaack, Eric Neuhold and Manfred Paul (eds.), Software Construction - Foundation and Application, Dagstuhl-SeminarReport 29, 13-17.1.1992 (9203), IBFI GmbH, Schloß Dagstuhl, W-6648, Wadern, Germany, pages 13-14, 1992. 199. 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. 200. 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 201. 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. 202. The REDO Project: Final Report, Jonathan P. Bowen, Peter Breuer and Kevin Lano. Oxford

http://myweb.lsbu.ac.uk/~bowenjp/publications.html (23 of 33)21/12/2004 22:25:58

Publications by Prof. Jonathan P. Bowen

University Computing Laboratory Technical Report PRG-TR-23-91, 45pp, December 1991. See citations. 203. Selected Z Bibliography. In John E. Nicholls (ed.), Z User Workshop, Oxford 1990, SpringerVerlag, 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 204. 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. 205. 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. 206. Selected Z Bibliography. In John E. Nicholls (ed.), Z User Workshop, Oxford 1989, SpringerVerlag, Workshops in Computing, pages 265-276, 1990. 207. 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. 208. Concise Oxford Dictionary, 8th edition. Consultant for computing, mathematical and statistical terms, Oxford University Press, 1990. 209. 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. 210. 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. http://myweb.lsbu.ac.uk/~bowenjp/publications.html (24 of 33)21/12/2004 22:25:58

Publications by Prof. Jonathan P. Bowen

1989 211. 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. 212. 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. 213. Formal Specification of Window Systems, Oxford University Computing Laboratory Technical Monograph PRG-74, 88pp, June 1989. 214. POS: Formal Specification of a UNIX Tool, IEE/BCS Software Engineering Journal, 4(1):67-72, January 1989. 1988 215. Proceedings of the Third Annual Z Users Meeting, Oxford University Computing Laboratory, Oxford University, 21pp, December 1988. 216. 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. 217. Specifying System Implementations in Z, Jonathan P. Bowen, Roger Gimson and Stig ToppJørgensen. Oxford University Computing Laboratory Technical Monograph PRG-63, 88pp, February 1988. 1987 218. Proceedings of Z Users Meeting, 1 Wellington Square, Oxford, Oxford University Computing Laboratory, Oxford University, 23pp, December 1987. 219. 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 http://myweb.lsbu.ac.uk/~bowenjp/publications.html (25 of 33)21/12/2004 22:25:58

Publications by Prof. Jonathan P. Bowen

Symposium on Microprocessing and Microprogramming, Portsmouth, UK, September 1987. 220. The Specification of Network Services, Jonathan P. Bowen, Roger Gimson and Stig ToppJørgensen. Oxford University Computing Laboratory Technical Monograph PRG-61, 106pp, August 1987. 221. 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. 222. The Formal Specification of a Microprocessor Instruction Set. Oxford University Computing Laboratory Technical Monograph PRG-60, 72pp, January 1987. 1986 223. 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. 224. Design of a Simple Cambridge Ring Interface Adapter. Computer Systems Science and Engineering, 1(2):93-98, January 1986. 1985 225. A User-friendly Interface Adapter. Microprocessors and Microsystems, 9(9):432-439, November 1985. 226. Microprocessor I/O Emulation Facilities. Microprocessors and Microsystems, 9(8):386-393, October 1985. 227. A Set of Microprocessor Programming Cards. Microprocessors and Microsystems, 9(6):274-290, July/August 1985. See also here. 228. 6800/6802 Emulator Adapter Design Note. Microprocessors and Microsystems, 9(1):24-26, January/February 1985. 229. Software/hardware Integration on Microprocessors. Microprocessors and Microsystems, 9(1):814, January/February 1985. http://myweb.lsbu.ac.uk/~bowenjp/publications.html (26 of 33)21/12/2004 22:25:58

Publications by Prof. Jonathan P. Bowen

1984 230. 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. 231. Workstation FORTRAN Supplement, and N-dimensional Cubes. Pipeline, Silicon Graphics, Mountain View, California, USA, 1(2):11-16, Summer 1984. 232. It's a Frame-up. Input, 2(17):509-513, 1984. 233. Wireframes in 3-D. Input, 2(18):560-565, 1984. 234. Getting Things in Perspective. Input, 2(20):605-611, 1984. 235. Wireframes - Adding Curves. Input, 2(21):662-668, 1984. 236. Get your Programs in Shape. Input, 1(6):173-178, 1984. 237. Get your Programs in Shape - 2. Input, 1(7):216-219, 1984. 1983 238. Geometrical Plotting Library. Practical Computing, 6(10):108-110, October 1983. 1982 239. 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.). SpringerVerlag, Workshops in Computing, 1993. ISBN 3-540-19818-0.

http://myweb.lsbu.ac.uk/~bowenjp/publications.html (27 of 33)21/12/2004 22:25:58

Publications by Prof. Jonathan P. Bowen

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-602712. 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 http://myweb.lsbu.ac.uk/~bowenjp/publications.html (28 of 33)21/12/2004 22:25:58

Publications by Prof. Jonathan P. Bowen

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 3540-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 153165. ❍ 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 185233-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-679448. (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 http://myweb.lsbu.ac.uk/~bowenjp/publications.html (29 of 33)21/12/2004 22:25:58

Publications by Prof. Jonathan P. Bowen

+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. See books from Amazon and Barnes & Noble.com.

Current work To appear: ●

●

●

●

●

Web Access to Cultural Heritage for the Disabled. In James R. Hemsley (ed.), Digital Applications for Cultural and Heritage Institutions: The Selected Papers from EVA Conferences, Ashgate Publishing Limited, April 2005. Originally presented at EVA London 2003. Introduction to Formal Methods, Michael G. Hinchey (NASA), Jonathan P. Bowen and Christopher Rouff (NASA). In Christopher Rouff, Michael G. Hinchey, James Rash, Walt Truszkowski and Diana Gordon-Spears (eds.), Formal Approaches to Agent-based Systems, Springer-Verlag, pages 25-64. 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, Chapter 1. Wiley Series on Parallel and Distributed Computing, John Wiley & Sons, 2004. A Formal Analysis of MCDC and RCDC Test Criteria, Kalpesh Kapoor and Jonathan P. Bowen. Software Testing, Verification and Reliability, 15(1), 2005. 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 Ramanathan Subramaniam (ed.), (Nanyang Technological University, Singapore), E-learning and Virtual Science Centers, Idea Group

http://myweb.lsbu.ac.uk/~bowenjp/publications.html (30 of 33)21/12/2004 22:25:58

Publications by Prof. Jonathan P. Bowen

Publishing, Hershey, USA, 2004. ●

●

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 Ramanathan Subramaniam (ed.), (Nanyang Technological University, Singapore), E-learning and Virtual Science Centers, Idea Group Publishing, Hershey, USA, 2004. Ordering Mutants to Minimise Test Effort in Mutation Testing, Kalpesh Kapoor, Jonathan P. Bowen. FATES 2004: 4th International Workshop on Formal Approaches to Testing of Software, Linz, Austria, 21 September 2004.

Accepted: ●

●

●

Search Engines and Online Museum Access on the Web, Teresa Numerico, Jonathan P. Bowen, 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. Gender Issues and Museum Websites, Roxane Bernier (Université de Montréal), Sue Black, Nadia Blinova, Ann Borda, Jonathan P. Bowen and Eleanor Lisney. In David Bearman and Jennifer Trant (eds.), MW2005: Museums and the Web 2005, Vancouver, Canada, 13-16 April 2005. Semantics of RTL and Validation of Synthesized RTL Designs Using Formal Verification in Reconfigurable Computing Systems, Phan C. Vinh and Jonathan P. Bowen. 12th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems ECBS 2005 Conference, Greenbelt, Maryland, USA , 4-5 April 2005. To appear in IEEE Computer Society Press.

Provisionally accepted: ●

Disabled Access for Museum Websites, Jonathan P. Bowen and Giuseppe Micheloni. Museum International, 2005.

Submitted: ●

Ordering Mutants to Minimise Test Effort in Mutation Testing. Kalpesh Kapoor and Jonathan P. Bowen. Submitted for journal publication, 2004.

http://myweb.lsbu.ac.uk/~bowenjp/publications.html (31 of 33)21/12/2004 22:25:58

Publications by Prof. Jonathan P. Bowen ●

From MC/DC to RC/DC: Formalization and Analysis of Control-Flow Testing Criteria, Sergiy A. Vilkomir and Jonathan P. Bowen. Submitted for journal publication, July 2004.

In preparation: ●

FORTEST Landscapes paper (provisional title). Kiril Bogdanov, Jonathan P. Bowen, R. Cleaveland, John Derrick, Jeremy Dick, M. Gheorghe, Mark Harman, Robert M. Hierons, Kalpesh Kapoor, Paul Krause, G. Luettgen, T. Simons, Sergiy A. Vilkomir, M. R. Woodward and Hussein Zedan. In preparation for journal publication, 2004.

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. See also simple search. Bibliographic entries in the DBLP Computer Science Bibliography. See also home page search and coauthors.

●

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.

http://myweb.lsbu.ac.uk/~bowenjp/publications.html (32 of 33)21/12/2004 22:25:58

Publications by Prof. Jonathan P. Bowen ●

●

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 publications from Google Scholar.

●

Jonathan P. Bowen publications listed by the ACM Portal.

●

IEEE and IEE publications from IEEE Xplore.

●

Search results from the arXiv e-print service. (See uploads.)

●

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. Museophile: Online Museum Accessibility, E-Commerce, and Forums, IS&T Colloquium webcast at NASA Goddard Space Flight Center, USA, 31 March 2004.

Publications in SCISM database: Search Documents

Search: Citations

Note: on-line versions of journal papers are drafts. See the relevant journals for the final versions. Last updated by Jonathan Bowen, 17 December 2004.

http://myweb.lsbu.ac.uk/~bowenjp/publications.html (33 of 33)21/12/2004 22:25:58