Contact

All Stories

  1. Theoretical and Practical Approach to the Soundness and Completeness of Operational Semantics based on Denotational Semantics for MDESL

    Article • Formal Aspects of Computing, September 2024, ACM (Association for Computing Machinery)

    Professor Jonathan P Bowen

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

    Article • April 2020, Center for Open Science

    Professor Jonathan P Bowen

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

    Article • April 2020, Center for Open Science

    Professor Jonathan P Bowen

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

  5. The Digital Renaissance from da Vinci to Turing

    Article • April 2020, Center for Open Science

    Professor Jonathan P Bowen

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

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

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

    Article • January 2019, Springer Science + Business Media

    Professor Jonathan P Bowen

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

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

    Article • September 2018, Wiley

    Professor Jonathan P Bowen

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

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

    Professor Jonathan P Bowen

  12. Digital Futures: Exhibits at EVA London 2018

    Article • July 2018, BCS Learning and Development Limited

    Professor Jonathan P Bowen

  13. Of Museums and Digital Culture: A landscape view

    Article • July 2018, BCS Learning and Development Limited

    Professor Jonathan P Bowen

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

  15. Turing’s Genius – Defining an apt microcosm

    Article • July 2018, BCS Learning and Development Limited

    Professor Jonathan P Bowen

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

  17. On Security in Encrypted Computing

    Article • January 2018, Springer Science + Business Media

    Professor Jonathan P Bowen

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

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

    Professor Jonathan P Bowen

  19. Alan Turing: Founder of Computer Science

    Article • January 2017, Springer Science + Business Media

    Professor Jonathan P Bowen

  20. Engineering Trustworthy Software Systems

    Article • January 2017, Springer Science + Business Media

    Professor Jonathan P Bowen

  21. On Obfuscating Compilation for Encrypted Computing

    Article • January 2017, Scitepress

    Professor Jonathan P Bowen

  22. Provably Correct Systems

    Article • January 2017, Springer Science + Business Media

    Professor Jonathan P Bowen

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

    Article • January 2017, Springer Science + Business Media

    Professor Jonathan P Bowen

  24. Unifying Theories of Programming

    Article • January 2017, Springer Science + Business Media

    Professor Jonathan P Bowen

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

  26. Curating Digital Life and Culture: Art and information

    Article • July 2016, BCS Learning and Development Limited

    Professor Jonathan P Bowen

  27. From Analogue to Digital in Literature and Art

    Article • July 2016, BCS Learning and Development Limited

    Professor Jonathan P Bowen

  28. Creative visualisation in chemistry

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

    Professor Jonathan P Bowen

  29. Alan Turing: Virtuosity and Visualisation

    Article • January 2016, BCS Learning and Development Limited

    Professor Jonathan P Bowen

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

    Article • Procedia Computer Science, January 2016, Elsevier

    Professor Jonathan P Bowen

  31. A Practical Encrypted Microprocessor

    Article • January 2016, Scitepress

    Professor Jonathan P Bowen

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

    Article • January 2016, Springer Science + Business Media

    Professor Jonathan P Bowen

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

  34. Galois Connections: Mathematics, Art, and Archives

    Article • January 2015, BCS Learning and Development Limited

    Professor Jonathan P Bowen

  35. Processor Rescue

    Article • January 2015, Springer Science + Business Media

    Professor Jonathan P Bowen

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

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

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

    Professor Jonathan P Bowen

  38. Digitalism: The New Realism?

    Article • July 2014, BCS Learning and Development Limited

    Professor Jonathan P Bowen

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

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

    Professor Jonathan P Bowen

  40. Empirical Patterns in Google Scholar Citation Counts

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

    Professor Jonathan P Bowen

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

    Article • January 2014, Springer Science + Business Media

    Professor Jonathan P Bowen

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

    Article • January 2014, Springer Science + Business Media

    Professor Jonathan P Bowen

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

    Article • Curator The Museum Journal, July 2013, Wiley

    Professor Jonathan P Bowen

  44. Editorial

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

    Professor Jonathan P Bowen

  45. Electronic Visualisation in Arts and Culture

    Article • January 2013

    Professor Jonathan P Bowen

  46. Erratum: A Fully Homomorphic Crypto-Processor Design

    Article • January 2013, Springer Science + Business Media

    Professor Jonathan P Bowen

  47. A Fully Homomorphic Crypto-Processor Design

    Article • January 2013, Springer Science + Business Media

    Professor Jonathan P Bowen

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

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

  50. Foreword

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

    Professor Jonathan P Bowen

  51. Ten Commandments of Formal Methods… Ten Years On

    Article • January 2012, Springer Science + Business Media

    Professor Jonathan P Bowen

  52. Typed Assembler for a RISC Crypto-Processor

    Article • January 2012, Springer Science + Business Media

    Professor Jonathan P Bowen

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

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

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

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

  57. Formal Requirements Specification

    Article • November 2010, Taylor & Francis

    Professor Jonathan P Bowen

  58. Editorial

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

    Professor Jonathan P Bowen

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

    Article • Neuroscience, September 2010, Elsevier

    Professor Jonathan P Bowen

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

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

    Article • January 2010, Springer Science + Business Media

    Professor Jonathan P Bowen

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

  63. Formal Versus Agile: Survival of the Fittest

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

    Professor Jonathan P Bowen

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

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

    Professor Jonathan P Bowen

  65. Using formal specifications to support testing

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

    Professor Jonathan P Bowen

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

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

    Professor Jonathan P Bowen

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

    Article • January 2009, Springer Science + Business Media

    Professor Jonathan P Bowen

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

  69. Software engineering and formal methods

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

    Professor Jonathan P Bowen

  70. Formal Methods and Testing

    Article • January 2008

    Professor Jonathan P Bowen

  71. Abstract State Machines, B and Z

    Article • January 2008

    Professor Jonathan P Bowen

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

    Article • January 2008, Springer Science + Business Media

    Professor Jonathan P Bowen

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

    Article • January 2008, IGI Global

    Professor Jonathan P Bowen

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

  75. Algebraic Approach to Linking the Semantics of Web Services

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

    Professor Jonathan P Bowen

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

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

    Professor Jonathan P Bowen

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

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

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

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

    Professor Jonathan P Bowen

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

  81. Integrating Probability with Time and Shared-Variable Concurrency

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

    Professor Jonathan P Bowen

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

  83. Z

    Article • January 2006, Wiley

    Professor Jonathan P Bowen

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

    Article • January 2006, IGI Global

    Professor Jonathan P Bowen

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

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

    Professor Jonathan P Bowen

  86. Ten commandments revisited

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

    Professor Jonathan P Bowen

  87. Continuity aspects of embedded reconfigurable computing

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

    Professor Jonathan P Bowen

  88. A formal analysis of MCDC and RCDC test criteria

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

    Professor Jonathan P Bowen

  89. Ordering Mutants to Minimise Test Effort in Mutation Testing

    Article • January 2005, Springer Science + Business Media

    Professor Jonathan P Bowen

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

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

    Professor Jonathan P Bowen

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

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

    Professor Jonathan P Bowen

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

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

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

    Article • January 2003

    Professor Jonathan P Bowen

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

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

    Professor Jonathan P Bowen

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

    Article • January 2002

    Professor Jonathan P Bowen

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

    Article • January 2002, Springer Science + Business Media

    Professor Jonathan P Bowen

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

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

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

  101. Z: A Formal Specification Notation

    Article • January 2001, Springer Science + Business Media

    Professor Jonathan P Bowen

  102. From Operational Semantics to Denotational Semantics for Verilog

    Article • January 2001, Springer Science + Business Media

    Professor Jonathan P Bowen

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

    Professor Jonathan P Bowen

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

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

    Professor Jonathan P Bowen

  105. The Virtual Museum

    Article • Museum International, January 2000, Taylor & Francis

    Professor Jonathan P Bowen

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

  107. Only connect

    Article • Museum International, October 1999, Taylor & Francis

    Professor Jonathan P Bowen

  108. Industrial-Strength Formal Methods in Practice

    Article • January 1999, Springer Science + Business Media

    Professor Jonathan P Bowen

  109. High-Integrity System Specification and Design

    Article • January 1999, Springer Science + Business Media

    Professor Jonathan P Bowen

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

    Article • January 1999, Springer Science + Business Media

    Professor Jonathan P Bowen

  111. Formal Methods

    Article • January 1999, Springer Science + Business Media

    Professor Jonathan P Bowen

  112. Real-Time and Safety-Critical Systems

    Article • January 1999, Springer Science + Business Media

    Professor Jonathan P Bowen

  113. Concurrent and Distributed Systems

    Article • January 1999, Springer Science + Business Media

    Professor Jonathan P Bowen

  114. Integrating Methods

    Article • January 1999, Springer Science + Business Media

    Professor Jonathan P Bowen

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

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

    Professor Jonathan P Bowen

  116. Visiteurs virtuels et musées virtuels

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

    Professor Jonathan P Bowen

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

    Article • January 1998, Springer Science + Business Media

    Professor Jonathan P Bowen

  118. Z on the Web Using Java

    Article • January 1998, Springer Science + Business Media

    Professor Jonathan P Bowen

  119. ZUM '98: The Z Formal Specification Notation

    Article • January 1998

    Professor Jonathan P Bowen

  120. Select Z Bibliography

    Article • January 1998, Springer Science + Business Media

    Professor Jonathan P Bowen

  121. Preface

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

    Professor Jonathan P Bowen

  122. Compositional Specification of Controllers for Batch Process Operations

    Article • January 1998, Springer Science + Business Media

    Professor Jonathan P Bowen

  123. Inconsistency and Undefinedness in Z – A Practical Guide

    Article • January 1998, Springer Science + Business Media

    Professor Jonathan P Bowen

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

    Article • January 1998, Springer Science + Business Media

    Professor Jonathan P Bowen

  125. ZUM ’98: The Z Formal Specification Notation

    Article • January 1998, Springer Science + Business Media

    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. ZUM '97: The Z Formal Specification Notation

    Article • January 1997

    Professor Jonathan P Bowen

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

    Article • European Review, January 1997, Cambridge University Press

    Professor Jonathan P Bowen

  129. Select Z bibliography

    Article • January 1997, Springer Science + Business Media

    Professor Jonathan P Bowen

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

    Article • January 1997, Springer Science + Business Media

    Professor Jonathan P Bowen

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

  132. Book reviews

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

    Professor Jonathan P Bowen

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

    Article • Software Practice and Experience, November 1995, Wiley

    Professor Jonathan P Bowen

  134. The World Wide Web Virtual Library of museums

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

    Professor Jonathan P Bowen

  135. Seven more myths of formal methods

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

    Professor Jonathan P Bowen

  136. Editorial

    Article • Information and Software Technology, May 1995, Elsevier

    Professor Jonathan P Bowen

  137. A shallow embedding of Z in HOL

    Article • Information and Software Technology, May 1995, Elsevier

    Professor Jonathan P Bowen

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

    Article • Information and Software Technology, May 1995, Elsevier

    Professor Jonathan P Bowen

  139. Annotated Z bibliography

    Article • Information and Software Technology, May 1995, Elsevier

    Professor Jonathan P Bowen

  140. Glossary of Z notation

    Article • Information and Software Technology, May 1995, Elsevier

    Professor Jonathan P Bowen

  141. Ten commandments of formal methods

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

    Professor Jonathan P Bowen

  142. ZUM '95: The Z Formal Specification Notation

    Article • January 1995

    Professor Jonathan P Bowen

  143. Select Z bibliography

    Article • January 1995, Springer Science + Business Media

    Professor Jonathan P Bowen

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

    Article • January 1995, Springer Science + Business Media

    Professor Jonathan P Bowen

  145. Seven deadly sins

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

    Professor Jonathan P Bowen

  146. Specification, Verification and Prototyping of an Optimized Compiler

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

    Professor Jonathan P Bowen

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

  148. Z and HOL

    Article • January 1994, Springer Science + Business Media

    Professor Jonathan P Bowen

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

  150. Towards Correct Executable Semantics for Z

    Article • January 1994, Springer Science + Business Media

    Professor Jonathan P Bowen

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

    Article • January 1994, Springer Science + Business Media

    Professor Jonathan P Bowen

  152. Transfer into Industrial Design

    Article • January 1994, Elsevier

    Professor Jonathan P Bowen

  153. Hardware Compilation

    Article • January 1994, Elsevier

    Professor Jonathan P Bowen

  154. Overview of the Project

    Article • January 1994, Elsevier

    Professor Jonathan P Bowen

  155. Preface

    Article • January 1994, Elsevier

    Professor Jonathan P Bowen

  156. Towards Verified Systems

    Article • January 1994, Elsevier

    Professor Jonathan P Bowen

  157. Report on Z user meeting

    Article • Information and Software Technology, October 1993, Elsevier

    Professor Jonathan P Bowen

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

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

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

  161. Developing Correct Systems

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

    Professor Jonathan P Bowen

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

  163. Formal Methods and Software Safety

    Article • IFAC Proceedings Volumes, October 1992, Elsevier

    Professor Jonathan P Bowen

  164. X: Why Z?

    Article • Computer Graphics Forum, August 1992, Wiley

    Professor Jonathan P Bowen

  165. Select Z Bibliography

    Article • January 1992, Springer Science + Business Media

    Professor Jonathan P Bowen

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

    Article • January 1992, Springer Science + Business Media

    Professor Jonathan P Bowen

  167. FORMAL METHODS AND SOFTWARE SAFETY

    Article • January 1992, Elsevier

    Professor Jonathan P Bowen

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

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

    Professor Jonathan P Bowen

  169. Constructing predictable real time systems

    Article • Microprocessors and Microsystems, December 1991, Elsevier

    Professor Jonathan P Bowen

  170. Selected Z Bibliography

    Article • January 1991, Springer Science + Business Media

    Professor Jonathan P Bowen

  171. Metrics and Measurement of Specifications Written in Z

    Article • January 1991, Springer Science + Business Media

    Professor Jonathan P Bowen

  172. Formal specification of the ProCoS/safemos instruction set

    Article • Microprocessors and Microsystems, December 1990, Elsevier

    Professor Jonathan P Bowen

  173. Distributed operating systems

    Article • January 1990, Elsevier

    Professor Jonathan P Bowen

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

  175. Contributors

    Article • January 1990, Elsevier

    Professor Jonathan P Bowen

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

  177. The specification of computer programs

    Article • Microprocessors and Microsystems, April 1988, Elsevier

    Professor Jonathan P Bowen

  178. More books about assembler and 16-bit micros

    Article • Microprocessors and Microsystems, March 1988, Elsevier

    Professor Jonathan P Bowen

  179. More books about assembler and 16-bit micros

    Article • Microprocessors and Microsystems, March 1988, Elsevier

    Professor Jonathan P Bowen

  180. Formal specification and documentation of microprocessor instruction sets

    Article • Microprocessing and Microprogramming, August 1987, Elsevier

    Professor Jonathan P Bowen

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

    Article • Microprocessors and Microsystems, November 1986, Elsevier

    Professor Jonathan P Bowen

  182. Distributed computing software project

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

    Professor Jonathan P Bowen

  183. A user-friendly interface adapter

    Article • Microprocessors and Microsystems, November 1985, Elsevier

    Professor Jonathan P Bowen

  184. Microprocessors

    Article • Microprocessors and Microsystems, October 1985, Elsevier

    Professor Jonathan P Bowen

  185. Microprocessor I/O emulation facilities

    Article • Microprocessors and Microsystems, October 1985, Elsevier

    Professor Jonathan P Bowen

  186. Standard microprocessor programming cards

    Article • Microprocessors and Microsystems, July 1985, Elsevier

    Professor Jonathan P Bowen

  187. Algorithms, software and hardware of parallel computers

    Article • Microprocessors and Microsystems, April 1985, Elsevier

    Professor Jonathan P Bowen

  188. Microprocessors: hardware and applications

    Article • Microprocessors and Microsystems, March 1985, Elsevier

    Professor Jonathan P Bowen

  189. Software/hardware integration on microprocessors

    Article • Microprocessors and Microsystems, January 1985, Elsevier

    Professor Jonathan P Bowen

  190. An Algebraic Approach to Hardware Compilation

    Article • Springer Science + Business Media

    Professor Jonathan P Bowen

  191. Virtual Collaboration and Community

    Article • IGI Global

    Professor Jonathan P Bowen

  192. Towards a provably correct hardware implementation of occam

    Article • Springer Science + Business Media

    Professor Jonathan P Bowen

  193. An approach to verifiable compiling specification and prototyping

    Article • Springer Science + Business Media

    Professor Jonathan P Bowen

  194. Introduction to Formal Methods

    Article • Springer Science + Business Media

    Professor Jonathan P Bowen

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

    Article • IGI Global

    Professor Jonathan P Bowen

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

    Article • IGI Global

    Professor Jonathan P Bowen

  197. Virtual Collaboration and Community

    Article • IGI Global

    Professor Jonathan P Bowen

  198. Gender Issues in HCI Design for Web Access

    Article • IGI Global

    Professor Jonathan P Bowen

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

    Article • Springer Science + Business Media

    Professor Jonathan P Bowen

  200. Gender Issues in HCI Design for Web Access

    Article • IGI Global

    Professor Jonathan P Bowen

  201. The Development of Science Museum Web Sites

    Article • IGI Global

    Professor Jonathan P Bowen

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

    Article • IGI Global

    Professor Jonathan P Bowen

  203. Gender Issues in HCI Design for Web Access

    Article • IGI Global

    Professor Jonathan P Bowen

  204. Z on the Web using Java

    Article • Springer Science + Business Media

    Professor Jonathan P Bowen

  205. From algebraic semantics to denotational semantics for Verilog

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Professor Jonathan P Bowen

  206. A Provable Algorithm for Reconfiguration in Embedded Reconfigurable Computing

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Professor Jonathan P Bowen

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

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

  209. Tolerance of control-flow testing criteria

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Professor Jonathan P Bowen

  210. FORTEST: formal methods and testing

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Professor Jonathan P Bowen

  211. Deriving operational semantics from denotational semantics for Verilog

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Professor Jonathan P Bowen

  212. Formalization of software testing criteria using the Z notation

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Professor Jonathan P Bowen

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

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Professor Jonathan P Bowen

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

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Professor Jonathan P Bowen