Contact

All Stories

  1. Museum Websites of the First Wave: The rise of the virtual museum

    Article • April 2020, Center for Open Science

    Professor Jonathan P Bowen

  2. Turing's Sunflowers: Public research and the role of museums

    Article • April 2020, Center for Open Science

    Professor Jonathan P Bowen

  3. Computing the Future: Digital encounters in art and science when da Vinci meets Turing

    Article • April 2020, Center for Open Science

    Professor Jonathan P Bowen

  4. The Digital Renaissance from da Vinci to Turing

    Article • April 2020, Center for Open Science

    Professor Jonathan P Bowen

  5. Gerard O’Regan: Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications

    Article • Formal Aspects of Computing, February 2020, Springer Science + Business Media

    Professor Jonathan P Bowen

  6. Theoretical and Practical Aspects of Linking Operational and Algebraic Semantics for MDESL

    Article • ACM Transactions on Software Engineering and Methodology, July 2019, ACM (Association for Computing Machinery)

    Professor Jonathan P Bowen

  7. The Impact of Alan Turing: Formal Methods and Beyond

    Article • January 2019, Springer Science + Business Media

    Professor Jonathan P Bowen

  8. Egon Börger and Alexander Raschke: Modeling companion for software practitioners

    Article • Formal Aspects of Computing, October 2018, Springer Science + Business Media

    Professor Jonathan P Bowen

  9. Formality, Agility, Security, and Evolution in Software Engineering

    Article • September 2018, Wiley

    Professor Jonathan P Bowen

  10. Superscalar Encrypted RISC: The Measure of a Secret Computer

    Article • August 2018, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Jonathan P Bowen

  11. Digital Futures: Exhibits at EVA London 2018

    Article • July 2018, BCS Learning and Development Limited

    Professor Jonathan P Bowen

  12. Of Museums and Digital Culture: A landscape view

    Article • July 2018, BCS Learning and Development Limited

    Professor Jonathan P Bowen

  13. States of Being: Art and identity in digital space and time

    Article • July 2018, BCS Learning and Development Limited

    Professor Jonathan P Bowen, Dr Jonathan Weinel

  14. Turing’s Genius – Defining an apt microcosm

    Article • July 2018, BCS Learning and Development Limited

    Professor Jonathan P Bowen

  15. The Secret Processor Will Go to the Ball: Benchmark Insider-Proof Encrypted Computing

    Article • April 2018, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Jonathan P Bowen

  16. On Security in Encrypted Computing

    Article • January 2018, Springer Science + Business Media

    Professor Jonathan P Bowen

  17. Encrypted computing: Speed, security and provable obfuscation against insiders

    Article • October 2017, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Jonathan P Bowen

  18. Alan Turing: Founder of Computer Science

    Article • January 2017, Springer Science + Business Media

    Professor Jonathan P Bowen

  19. Engineering Trustworthy Software Systems

    Article • January 2017, Springer Science + Business Media

    Professor Jonathan P Bowen

  20. On Obfuscating Compilation for Encrypted Computing

    Article • January 2017, Scitepress

    Professor Jonathan P Bowen

  21. Provably Correct Systems

    Article • January 2017, Springer Science + Business Media

    Professor Jonathan P Bowen

  22. Provably Correct Systems: Community, Connections, and Citations

    Article • January 2017, Springer Science + Business Media

    Professor Jonathan P Bowen

  23. Unifying Theories of Programming

    Article • January 2017, Springer Science + Business Media

    Professor Jonathan P Bowen

  24. Component-Based Modelling for Scalable Smart City Systems Interoperability: A Case Study on Integrating Energy Demand Response Systems

    Article • Sensors, October 2016, MDPI AG

    Professor Jonathan P Bowen

  25. Curating Digital Life and Culture: Art and information

    Article • July 2016, BCS Learning and Development Limited

    Professor Jonathan P Bowen

  26. From Analogue to Digital in Literature and Art

    Article • July 2016, BCS Learning and Development Limited

    Professor Jonathan P Bowen

  27. Creative visualisation in chemistry

    Article • International Journal of Creative Computing, January 2016, Inderscience Publishers

    Professor Jonathan P Bowen

  28. Alan Turing: Virtuosity and Visualisation

    Article • January 2016, BCS Learning and Development Limited

    Professor Jonathan P Bowen

  29. A Fully Encrypted Microprocessor The Secret Computer is Nearly Here

    Article • Procedia Computer Science, January 2016, Elsevier

    Professor Jonathan P Bowen

  30. A Practical Encrypted Microprocessor

    Article • January 2016, Scitepress

    Professor Jonathan P Bowen

  31. The Z Notation: Whence the Cause and Whither the Course?

    Article • January 2016, Springer Science + Business Media

    Professor Jonathan P Bowen

  32. It began with Babbage: the genesis of computer science, by Subrata Dasgupta

    Article • BSHM Bulletin Journal of the British Society for the History of Mathematics, September 2015, Taylor & Francis

    Professor Jonathan P Bowen

  33. Galois Connections: Mathematics, Art, and Archives

    Article • January 2015, BCS Learning and Development Limited

    Professor Jonathan P Bowen

  34. Processor Rescue

    Article • January 2015, Springer Science + Business Media

    Professor Jonathan P Bowen

  35. Avoiding Hardware Aliasing: Verifying RISC Machine and Assembly Code for Encrypted Computing

    Article • November 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Jonathan P Bowen

  36. Formality, Agility, Security, and Evolution in Software Development

    Article • Computer, October 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Jonathan P Bowen

  37. Digitalism: The New Realism?

    Article • July 2014, BCS Learning and Development Limited

    Professor Jonathan P Bowen

  38. Component-based modelling for sustainable and scalable smart meter networks

    Article • June 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Jonathan P Bowen

  39. Empirical Patterns in Google Scholar Citation Counts

    Article • April 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Jonathan P Bowen

  40. Idea: Towards a Working Fully Homomorphic Crypto-processor

    Article • January 2014, Springer Science + Business Media

    Professor Jonathan P Bowen

  41. Certifying Machine Code Safe from Hardware Aliasing: RISC is Not Necessarily Risky

    Article • January 2014, Springer Science + Business Media

    Professor Jonathan P Bowen

  42. Museums and Technology: Being Inclusive Helps Accessibility for All

    Article • Curator The Museum Journal, July 2013, Wiley

    Professor Jonathan P Bowen

  43. Editorial

    Article • Formal Aspects of Computing, May 2013, ACM (Association for Computing Machinery)

    Professor Jonathan P Bowen

  44. Electronic Visualisation in Arts and Culture

    Article • January 2013

    Professor Jonathan P Bowen

  45. Erratum: A Fully Homomorphic Crypto-Processor Design

    Article • January 2013, Springer Science + Business Media

    Professor Jonathan P Bowen

  46. A Fully Homomorphic Crypto-Processor Design

    Article • January 2013, Springer Science + Business Media

    Professor Jonathan P Bowen

  47. A Relational Approach to an Algebraic Community: From Paul Erdős to He Jifeng

    Article • January 2013, Springer Science + Business Media

    Professor Jonathan P Bowen

  48. Theory and Practice of Model Transformations

    Article • January 2013, Springer Science + Business Media

    Professor Jonathan P Bowen, María Alpuente, Professor Hiroshi G Okuno, Prof. Francesco Flammini

  49. Foreword

    Article • October 2012, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Jonathan P Bowen

  50. Ten Commandments of Formal Methods… Ten Years On

    Article • January 2012, Springer Science + Business Media

    Professor Jonathan P Bowen

  51. Typed Assembler for a RISC Crypto-Processor

    Article • January 2012, Springer Science + Business Media

    Professor Jonathan P Bowen

  52. Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language

    Article • The Journal of Logic and Algebraic Programming, January 2012, Elsevier

    Professor Jonathan P Bowen

  53. Algebraic approach to linking the semantics of web services

    Article • Innovations in Systems and Software Engineering, September 2011, Springer Science + Business Media

    Professor Jonathan P Bowen

  54. From a Community of Practice to a Body of Knowledge: A Case Study of the Formal Methods Community

    Article • January 2011, Springer Science + Business Media

    Professor Jonathan P Bowen

  55. Creating online collaborative environments for museums: a case study of a museum wiki

    Article • International Journal of Web Based Communities, January 2011, Inderscience Publishers

    Professor Jonathan P Bowen

  56. Formal Requirements Specification

    Article • November 2010, Taylor & Francis

    Professor Jonathan P Bowen

  57. Editorial

    Article • Formal Aspects of Computing, November 2010, Springer Science + Business Media

    Professor Jonathan P Bowen

  58. What does autonomic arousal tell us about locomotor learning?

    Article • Neuroscience, September 2010, Elsevier

    Professor Jonathan P Bowen

  59. Linking denotational semantics with operational semantics for web services

    Article • Innovations in Systems and Software Engineering, April 2010, Springer Science + Business Media

    Professor Jonathan P Bowen

  60. Formal Methods: State of the Art and New Directions

    Article • January 2010, Springer Science + Business Media

    Professor Jonathan P Bowen

  61. Animating the Link Between Operational Semantics and Algebraic Semantics for a Probabilistic Timed Shared-Variable Language

    Article • October 2009, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Jonathan P Bowen

  62. Formal Versus Agile: Survival of the Fittest

    Article • Computer, September 2009, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Jonathan P Bowen

  63. PTSC: probability, time and shared-variable concurrency

    Article • Innovations in Systems and Software Engineering, August 2009, Springer Science + Business Media

    Professor Jonathan P Bowen

  64. Using formal specifications to support testing

    Article • ACM Computing Surveys, February 2009, ACM (Association for Computing Machinery)

    Professor Jonathan P Bowen

  65. Communicating the public understanding of science: the Royal Society website

    Article • International Journal of Technology Management, January 2009, Inderscience Publishers

    Professor Jonathan P Bowen

  66. Ten Commandments Ten Years On: Lessons for ASM, B, Z and VSR-net

    Article • January 2009, Springer Science + Business Media

    Professor Jonathan P Bowen

  67. From algebraic semantics to denotational semantics for Verilog

    Article • Innovations in Systems and Software Engineering, September 2008, Springer Science + Business Media

    Professor Jonathan P Bowen

  68. Software engineering and formal methods

    Article • Communications of the ACM, September 2008, ACM (Association for Computing Machinery)

    Professor Jonathan P Bowen

  69. Formal Methods and Testing

    Article • January 2008

    Professor Jonathan P Bowen

  70. Abstract State Machines, B and Z

    Article • January 2008

    Professor Jonathan P Bowen

  71. Personalization Issues for Science Museum Web Sites and E-Learning

    Article • January 2008, IGI Global

    Professor Jonathan P Bowen

  72. Temporal Changes in Myocardial Salvage Kinases During Reperfusion Following Ischemia: Studies Involving the Cardioprotective Adipocytokine Apelin

    Article • Cardiovascular Drugs and Therapy, October 2007, Springer Science + Business Media

    Professor Jonathan P Bowen

  73. Algebraic Approach to Linking the Semantics of Web Services

    Article • September 2007, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Jonathan P Bowen

  74. Modeling and Verification of TTCAN Startup Protocol Using Synchronous Calendar

    Article • September 2007, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Jonathan P Bowen

  75. Test conditions for fault classes in Boolean specifications

    Article • ACM Transactions on Software Engineering and Methodology, July 2007, ACM (Association for Computing Machinery)

    Professor Jonathan P Bowen

  76. Algebraic Approach to Operational Semantics and Observation-Oriented Semantics for a Timed Shared-Variable Language with Probability

    Article • March 2007, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Jonathan P Bowen

  77. A Formal Approach to Aspect-Oriented Modular Reconfigurable Computing

    Article • January 2007, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Jonathan P Bowen

  78. Formalization and assessment of regulatory requirements for safety-critical software

    Article • Innovations in Systems and Software Engineering, September 2006, Springer Science + Business Media

    Professor Jonathan P Bowen

  79. Integrating Probability with Time and Shared-Variable Concurrency

    Article • April 2006, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Jonathan P Bowen

  80. From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria

    Article • Formal Aspects of Computing, March 2006, ACM (Association for Computing Machinery)

    Professor Jonathan P Bowen

  81. Z

    Article • January 2006, Wiley

    Professor Jonathan P Bowen

  82. Handbook of Research on Literacy in Technology at the K-12 Level

    Article • January 2006, IGI Global

    Professor Jonathan P Bowen

  83. Ten Commandments of Formal Methods ...Ten Years Later

    Article • Computer, January 2006, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Jonathan P Bowen

  84. Ten commandments revisited

    Article • September 2005, ACM (Association for Computing Machinery)

    Professor Jonathan P Bowen

  85. Continuity aspects of embedded reconfigurable computing

    Article • Innovations in Systems and Software Engineering, March 2005, Springer Science + Business Media

    Professor Jonathan P Bowen

  86. A formal analysis of MCDC and RCDC test criteria

    Article • Software Testing Verification and Reliability, January 2005, Wiley

    Professor Jonathan P Bowen

  87. Ordering Mutants to Minimise Test Effort in Mutation Testing

    Article • January 2005, Springer Science + Business Media

    Professor Jonathan P Bowen

  88. RETRACTED: On the Visual Representation of Configuration in Reconfigurable Computing

    Article • Electronic Notes in Theoretical Computer Science, December 2004, Elsevier

    Professor Jonathan P Bowen

  89. Experimental evaluation of the tolerance for control‐flow test criteria

    Article • Software Testing Verification and Reliability, September 2004, Wiley

    Professor Jonathan P Bowen

  90. Web‐based discussion groups at stake: the profile of museum professionals online

    Article • Program electronic library and information systems, June 2004, Emerald

    Professor Jonathan P Bowen

  91. An algorithmic approach by heuristics to dynamical reconfiguration of logic resources on reconfigurable FPGAs

    Article • February 2004, ACM (Association for Computing Machinery)

    Professor Jonathan P Bowen

  92. ZB 2003: Formal Specification and Development in Z and B

    Article • January 2003

    Professor Jonathan P Bowen

  93. Weaving the museum web: the Virtual Library museums pages

    Article • Program electronic library and information systems, December 2002, Emerald

    Professor Jonathan P Bowen

  94. ZB 2002:Formal Specification and Development in Z and B

    Article • January 2002

    Professor Jonathan P Bowen

  95. Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing

    Article • January 2002, Springer Science + Business Media

    Professor Jonathan P Bowen

  96. Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog Based on Denotational Semantics

    Article • January 2002, Springer Science + Business Media

    Professor Jonathan P Bowen

  97. As responsabilidades do editor de um periódico científico

    Article • Estudos de Psicologia (Natal), January 2002, FapUNIFESP (SciELO)

    Assistant Professor Polinpapilinho Katina, Dr Ahmed F Zobaa, Professor José Cadima Ribeiro, Professor Jonathan P Bowen

  98. Experience teaching Z with tool and web support

    Article • ACM SIGSOFT Software Engineering Notes, March 2001, ACM (Association for Computing Machinery)

    Professor Jonathan P Bowen

  99. Z: A Formal Specification Notation

    Article • January 2001, Springer Science + Business Media

    Professor Jonathan P Bowen

  100. From Operational Semantics to Denotational Semantics for Verilog

    Article • January 2001, Springer Science + Business Media

    Professor Jonathan P Bowen

  101. Article • The Journal of Supercomputing, January 2001, Springer Science + Business Media

    Professor Jonathan P Bowen

  102. Ethical issues in computer-based safety-critical systems

    Article • Communications of the ACM, April 2000, ACM (Association for Computing Machinery)

    Professor Jonathan P Bowen

  103. The Virtual Museum

    Article • Museum International, January 2000, Taylor & Francis

    Professor Jonathan P Bowen

  104. Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language

    Article • January 2000, Springer Science + Business Media

    Professor Jonathan P Bowen

  105. Only connect

    Article • Museum International, October 1999, Taylor & Francis

    Professor Jonathan P Bowen

  106. Industrial-Strength Formal Methods in Practice

    Article • January 1999, Springer Science + Business Media

    Professor Jonathan P Bowen

  107. High-Integrity System Specification and Design

    Article • January 1999, Springer Science + Business Media

    Professor Jonathan P Bowen

  108. It’s Greek to Me: Method in the Madness?

    Article • January 1999, Springer Science + Business Media

    Professor Jonathan P Bowen

  109. Formal Methods

    Article • January 1999, Springer Science + Business Media

    Professor Jonathan P Bowen

  110. Real-Time and Safety-Critical Systems

    Article • January 1999, Springer Science + Business Media

    Professor Jonathan P Bowen

  111. Concurrent and Distributed Systems

    Article • January 1999, Springer Science + Business Media

    Professor Jonathan P Bowen

  112. Integrating Methods

    Article • January 1999, Springer Science + Business Media

    Professor Jonathan P Bowen

  113. Reasoning about VHDL and VHDL-AMS using denotational semantics

    Article • January 1999, ACM (Association for Computing Machinery)

    Professor Jonathan P Bowen

  114. Visiteurs virtuels et musées virtuels

    Article • Publics et Musées, January 1998, PERSEE Program

    Professor Jonathan P Bowen

  115. Comp.specification.z and Z FORUM Frequently Asked Questions

    Article • January 1998, Springer Science + Business Media

    Professor Jonathan P Bowen

  116. Z on the Web Using Java

    Article • January 1998, Springer Science + Business Media

    Professor Jonathan P Bowen

  117. ZUM '98: The Z Formal Specification Notation

    Article • January 1998

    Professor Jonathan P Bowen

  118. Select Z Bibliography

    Article • January 1998, Springer Science + Business Media

    Professor Jonathan P Bowen

  119. Preface

    Article • Journal of Peace Research, January 1998, SAGE Publications

    Professor Jonathan P Bowen

  120. Compositional Specification of Controllers for Batch Process Operations

    Article • January 1998, Springer Science + Business Media

    Professor Jonathan P Bowen

  121. Inconsistency and Undefinedness in Z – A Practical Guide

    Article • January 1998, Springer Science + Business Media

    Professor Jonathan P Bowen

  122. Object-Oriented Specification of Hybrid Systems Using UML h and ZimOO

    Article • January 1998, Springer Science + Business Media

    Professor Jonathan P Bowen

  123. ZUM ’98: The Z Formal Specification Notation

    Article • January 1998, Springer Science + Business Media

    Professor Jonathan P Bowen

  124. The World Wide Web and the Virtual Library museums pages

    Article • European Review, January 1997, Cambridge University Press

    Professor Jonathan P Bowen

  125. ZUM '97: The Z Formal Specification Notation

    Article • January 1997

    Professor Jonathan P Bowen

  126. The World Wide Web and the Virtual Library museums pages

    Article • European Review, January 1997, Cambridge University Press

    Professor Jonathan P Bowen

  127. Select Z bibliography

    Article • January 1997, Springer Science + Business Media

    Professor Jonathan P Bowen

  128. Comp.specification.z and Z FORUM frequently asked questions

    Article • January 1997, Springer Science + Business Media

    Professor Jonathan P Bowen

  129. Formal methods in knowledge engineering by M. Aben, University of Amsterdam, Netherlands, pp 236, ISBN 90-5470-028-9.

    Article • The Knowledge Engineering Review, June 1996, Cambridge University Press

    Professor Jonathan P Bowen

  130. Book reviews

    Article • Formal Aspects of Computing, March 1996, ACM (Association for Computing Machinery)

    Professor Jonathan P Bowen

  131. A prettier compiler‐compiler: Generating higher‐order parsers in C

    Article • Software Practice and Experience, November 1995, Wiley

    Professor Jonathan P Bowen

  132. The World Wide Web Virtual Library of museums

    Article • Information Services & Use, October 1995, IOS Press

    Professor Jonathan P Bowen

  133. Seven more myths of formal methods

    Article • IEEE Software, July 1995, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Jonathan P Bowen

  134. Editorial

    Article • Information and Software Technology, May 1995, Elsevier

    Professor Jonathan P Bowen

  135. A shallow embedding of Z in HOL

    Article • Information and Software Technology, May 1995, Elsevier

    Professor Jonathan P Bowen

  136. Report on Z user meeting (ZUM '94)

    Article • Information and Software Technology, May 1995, Elsevier

    Professor Jonathan P Bowen

  137. Annotated Z bibliography

    Article • Information and Software Technology, May 1995, Elsevier

    Professor Jonathan P Bowen

  138. Glossary of Z notation

    Article • Information and Software Technology, May 1995, Elsevier

    Professor Jonathan P Bowen

  139. Ten commandments of formal methods

    Article • Computer, April 1995, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Jonathan P Bowen

  140. ZUM '95: The Z Formal Specification Notation

    Article • January 1995

    Professor Jonathan P Bowen

  141. Select Z bibliography

    Article • January 1995, Springer Science + Business Media

    Professor Jonathan P Bowen

  142. Comp.specification.z and Z forum frequently asked questions

    Article • January 1995, Springer Science + Business Media

    Professor Jonathan P Bowen

  143. Seven deadly sins

    Article • January 1995, the Institution of Engineering and Technology (the IET)

    Professor Jonathan P Bowen

  144. Specification, Verification and Prototyping of an Optimized Compiler

    Article • Formal Aspects of Computing, December 1994, ACM (Association for Computing Machinery)

    Professor Jonathan P Bowen

  145. Decompilation: the enumeration of types and grammars

    Article • ACM Transactions on Programming Languages and Systems, September 1994, ACM (Association for Computing Machinery)

    Professor Jonathan P Bowen

  146. Z and HOL

    Article • January 1994, Springer Science + Business Media

    Professor Jonathan P Bowen

  147. Personal view: Formal methods: epideictic or apodeictic?

    Article • Software Engineering Journal, January 1994, the Institution of Engineering and Technology (the IET)

    Professor Jonathan P Bowen

  148. Towards Correct Executable Semantics for Z

    Article • January 1994, Springer Science + Business Media

    Professor Jonathan P Bowen

  149. Seven more myths of formal methods: Dispelling industrial prejudices

    Article • January 1994, Springer Science + Business Media

    Professor Jonathan P Bowen

  150. Transfer into Industrial Design

    Article • January 1994, Elsevier

    Professor Jonathan P Bowen

  151. Hardware Compilation

    Article • January 1994, Elsevier

    Professor Jonathan P Bowen

  152. Overview of the Project

    Article • January 1994, Elsevier

    Professor Jonathan P Bowen

  153. Preface

    Article • January 1994, Elsevier

    Professor Jonathan P Bowen

  154. Towards Verified Systems

    Article • January 1994, Elsevier

    Professor Jonathan P Bowen

  155. Report on Z user meeting

    Article • Information and Software Technology, October 1993, Elsevier

    Professor Jonathan P Bowen

  156. A compendium of formal techniques for software maintenance

    Article • Software Engineering Journal, January 1993, the Institution of Engineering and Technology (the IET)

    Professor Jonathan P Bowen

  157. Safety-critical systems, formal methods and standards

    Article • Software Engineering Journal, January 1993, the Institution of Engineering and Technology (the IET)

    Professor Jonathan P Bowen

  158. The industrial take-up of formal methods in safety-critical and other areas: A perspective

    Article • January 1993, Springer Science + Business Media

    Professor Jonathan P Bowen

  159. Developing Correct Systems

    Article • January 1993, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Jonathan P Bowen

  160. From programs to object code and back again using logic programming: Compilation and decompilation

    Article • Journal of Software Maintenance Research and Practice, January 1993, Wiley

    Professor Jonathan P Bowen

  161. Formal Methods and Software Safety

    Article • IFAC Proceedings Volumes, October 1992, Elsevier

    Professor Jonathan P Bowen

  162. X: Why Z?

    Article • Computer Graphics Forum, August 1992, Wiley

    Professor Jonathan P Bowen

  163. Select Z Bibliography

    Article • January 1992, Springer Science + Business Media

    Professor Jonathan P Bowen

  164. From Programs to Object Code using Logic and Logic Programming

    Article • January 1992, Springer Science + Business Media

    Professor Jonathan P Bowen

  165. FORMAL METHODS AND SOFTWARE SAFETY

    Article • January 1992, Elsevier

    Professor Jonathan P Bowen

  166. Time interval semantics and implementation of a real-time programming language

    Article • January 1992, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Jonathan P Bowen

  167. Constructing predictable real time systems

    Article • Microprocessors and Microsystems, December 1991, Elsevier

    Professor Jonathan P Bowen

  168. Selected Z Bibliography

    Article • January 1991, Springer Science + Business Media

    Professor Jonathan P Bowen

  169. Metrics and Measurement of Specifications Written in Z

    Article • January 1991, Springer Science + Business Media

    Professor Jonathan P Bowen

  170. Formal specification of the ProCoS/safemos instruction set

    Article • Microprocessors and Microsystems, December 1990, Elsevier

    Professor Jonathan P Bowen

  171. Distributed operating systems

    Article • January 1990, Elsevier

    Professor Jonathan P Bowen

  172. An Algebraic Approach to Verifiable Compiling Specification and Prototyping of the Procos Level 0 Programming Language

    Article • January 1990, Springer Science + Business Media

    Professor Jonathan P Bowen

  173. Contributors

    Article • January 1990, Elsevier

    Professor Jonathan P Bowen

  174. POS—formal specification of a UNIX tool

    Article • Software Engineering Journal, January 1989, the Institution of Engineering and Technology (the IET)

    Professor Jonathan P Bowen

  175. The specification of computer programs

    Article • Microprocessors and Microsystems, April 1988, Elsevier

    Professor Jonathan P Bowen

  176. More books about assembler and 16-bit micros

    Article • Microprocessors and Microsystems, March 1988, Elsevier

    Professor Jonathan P Bowen

  177. More books about assembler and 16-bit micros

    Article • Microprocessors and Microsystems, March 1988, Elsevier

    Professor Jonathan P Bowen

  178. Formal specification and documentation of microprocessor instruction sets

    Article • Microprocessing and Microprogramming, August 1987, Elsevier

    Professor Jonathan P Bowen

  179. Microprocessor interfacing and communication using the Intel SDK-85

    Article • Microprocessors and Microsystems, November 1986, Elsevier

    Professor Jonathan P Bowen

  180. Distributed computing software project

    Article • January 1986, ACM (Association for Computing Machinery)

    Professor Jonathan P Bowen

  181. A user-friendly interface adapter

    Article • Microprocessors and Microsystems, November 1985, Elsevier

    Professor Jonathan P Bowen

  182. Microprocessors

    Article • Microprocessors and Microsystems, October 1985, Elsevier

    Professor Jonathan P Bowen

  183. Microprocessor I/O emulation facilities

    Article • Microprocessors and Microsystems, October 1985, Elsevier

    Professor Jonathan P Bowen

  184. Standard microprocessor programming cards

    Article • Microprocessors and Microsystems, July 1985, Elsevier

    Professor Jonathan P Bowen

  185. Algorithms, software and hardware of parallel computers

    Article • Microprocessors and Microsystems, April 1985, Elsevier

    Professor Jonathan P Bowen

  186. Microprocessors: hardware and applications

    Article • Microprocessors and Microsystems, March 1985, Elsevier

    Professor Jonathan P Bowen

  187. Software/hardware integration on microprocessors

    Article • Microprocessors and Microsystems, January 1985, Elsevier

    Professor Jonathan P Bowen

  188. An Algebraic Approach to Hardware Compilation

    Article • Springer Science + Business Media

    Professor Jonathan P Bowen

  189. Virtual Collaboration and Community

    Article • IGI Global

    Professor Jonathan P Bowen

  190. Towards a provably correct hardware implementation of occam

    Article • Springer Science + Business Media

    Professor Jonathan P Bowen

  191. An approach to verifiable compiling specification and prototyping

    Article • Springer Science + Business Media

    Professor Jonathan P Bowen

  192. Introduction to Formal Methods

    Article • Springer Science + Business Media

    Professor Jonathan P Bowen

  193. Personalization Issues for Science Museum Web Sites and E-Learning

    Article • IGI Global

    Professor Jonathan P Bowen

  194. Personalization Issues for Science Museum Web Sites and E-learning

    Article • IGI Global

    Professor Jonathan P Bowen

  195. Virtual Collaboration and Community

    Article • IGI Global

    Professor Jonathan P Bowen

  196. Gender Issues in HCI Design for Web Access

    Article • IGI Global

    Professor Jonathan P Bowen

  197. Formalization of Data Flow Computing and a Coinductive Approach to Verifying Flowware Synthesis

    Article • Springer Science + Business Media

    Professor Jonathan P Bowen

  198. From MC/DC to RC/DC: Formalization and Analysis of Control-Flow Testing Criteria

    Article • Springer Science + Business Media

    Professor Jonathan P Bowen

  199. Gender Issues in HCI Design for Web Access

    Article • IGI Global

    Professor Jonathan P Bowen

  200. The Development of Science Museum Web Sites

    Article • IGI Global

    Professor Jonathan P Bowen

  201. Personalization Issues for Science Museum Web Sites and E-Learning

    Article • IGI Global

    Professor Jonathan P Bowen

  202. Gender Issues in HCI Design for Web Access

    Article • IGI Global

    Professor Jonathan P Bowen

  203. Z on the Web using Java

    Article • Springer Science + Business Media

    Professor Jonathan P Bowen

  204. From algebraic semantics to denotational semantics for Verilog

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Professor Jonathan P Bowen

  205. A Provable Algorithm for Reconfiguration in Embedded Reconfigurable Computing

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Professor Jonathan P Bowen

  206. Semantics of RTL and Validation of Synthesized RTL Designs Using Formal Verification in Reconfigurable Computing Systems

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Professor Jonathan P Bowen

  207. Experimental evaluation of the variation in effectiveness for DC, FPC and MC/DC test criteria

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Professor Jonathan P Bowen

  208. Tolerance of control-flow testing criteria

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Professor Jonathan P Bowen

  209. FORTEST: formal methods and testing

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Professor Jonathan P Bowen

  210. Deriving operational semantics from denotational semantics for Verilog

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Professor Jonathan P Bowen

  211. Formalization of software testing criteria using the Z notation

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Professor Jonathan P Bowen

  212. An animatable operational semantics of the Verilog hardware description language

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Professor Jonathan P Bowen

  213. Reasoning about VHD3L and VHDL-AMS using denotational semantics

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Professor Jonathan P Bowen