Contact

All Stories

  1. Experiences from the European ProCoS Projects: Provably Correct Systems

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

    Professor Jonathan P Bowen, Dines Bjørner

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

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

    Article • April 2020, Center for Open Science

    Professor Jonathan P Bowen

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

    Article • April 2020, Center for Open Science

    Professor Jonathan P Bowen

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

  6. The Digital Renaissance from da Vinci to Turing

    Article • April 2020, Center for Open Science

    Professor Jonathan P Bowen

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

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

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

    Article • January 2019, Springer Science + Business Media

    Professor Jonathan P Bowen

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

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

    Article • September 2018, Wiley

    Professor Jonathan P Bowen

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

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

    Professor Jonathan P Bowen

  13. Digital Futures: Exhibits at EVA London 2018

    Article • July 2018, BCS Learning and Development Limited

    Professor Jonathan P Bowen

  14. Of Museums and Digital Culture: A landscape view

    Article • July 2018, BCS Learning and Development Limited

    Professor Jonathan P Bowen

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

  16. Turing’s Genius – Defining an apt microcosm

    Article • July 2018, BCS Learning and Development Limited

    Professor Jonathan P Bowen

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

  18. On Security in Encrypted Computing

    Article • January 2018, Springer Science + Business Media

    Professor Jonathan P Bowen

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

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

    Professor Jonathan P Bowen

  20. Alan Turing: Founder of Computer Science

    Article • January 2017, Springer Science + Business Media

    Professor Jonathan P Bowen

  21. Engineering Trustworthy Software Systems

    Article • January 2017, Springer Science + Business Media

    Professor Jonathan P Bowen

  22. On Obfuscating Compilation for Encrypted Computing

    Article • January 2017, Scitepress

    Professor Jonathan P Bowen

  23. Provably Correct Systems

    Article • January 2017, Springer Science + Business Media

    Professor Jonathan P Bowen

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

    Article • January 2017, Springer Science + Business Media

    Professor Jonathan P Bowen

  25. Unifying Theories of Programming

    Article • January 2017, Springer Science + Business Media

    Professor Jonathan P Bowen

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

  27. Curating Digital Life and Culture: Art and information

    Article • July 2016, BCS Learning and Development Limited

    Professor Jonathan P Bowen

  28. From Analogue to Digital in Literature and Art

    Article • July 2016, BCS Learning and Development Limited

    Professor Jonathan P Bowen

  29. Creative visualisation in chemistry

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

    Professor Jonathan P Bowen

  30. Alan Turing: Virtuosity and Visualisation

    Article • January 2016, BCS Learning and Development Limited

    Professor Jonathan P Bowen

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

    Article • Procedia Computer Science, January 2016, Elsevier

    Professor Jonathan P Bowen

  32. A Practical Encrypted Microprocessor

    Article • January 2016, Scitepress

    Professor Jonathan P Bowen

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

    Article • January 2016, Springer Science + Business Media

    Professor Jonathan P Bowen

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

  35. Galois Connections: Mathematics, Art, and Archives

    Article • January 2015, BCS Learning and Development Limited

    Professor Jonathan P Bowen

  36. Processor Rescue

    Article • January 2015, Springer Science + Business Media

    Professor Jonathan P Bowen

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

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

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

    Professor Jonathan P Bowen

  39. Digitalism: The New Realism?

    Article • July 2014, BCS Learning and Development Limited

    Professor Jonathan P Bowen

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

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

    Professor Jonathan P Bowen

  41. Empirical Patterns in Google Scholar Citation Counts

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

    Professor Jonathan P Bowen

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

    Article • January 2014, Springer Science + Business Media

    Professor Jonathan P Bowen

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

    Article • January 2014, Springer Science + Business Media

    Professor Jonathan P Bowen

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

    Article • Curator The Museum Journal, July 2013, Wiley

    Professor Jonathan P Bowen

  45. Editorial

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

    Professor Jonathan P Bowen

  46. Electronic Visualisation in Arts and Culture

    Article • January 2013

    Professor Jonathan P Bowen

  47. Erratum: A Fully Homomorphic Crypto-Processor Design

    Article • January 2013, Springer Science + Business Media

    Professor Jonathan P Bowen

  48. A Fully Homomorphic Crypto-Processor Design

    Article • January 2013, Springer Science + Business Media

    Professor Jonathan P Bowen

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

  50. Theory and Practice of Model Transformations

    Article • January 2013, Springer Science + Business Media

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

  51. Foreword

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

    Professor Jonathan P Bowen

  52. Ten Commandments of Formal Methods… Ten Years On

    Article • January 2012, Springer Science + Business Media

    Professor Jonathan P Bowen

  53. Typed Assembler for a RISC Crypto-Processor

    Article • January 2012, Springer Science + Business Media

    Professor Jonathan P Bowen

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

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

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

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

  58. Formal Requirements Specification

    Article • November 2010, Taylor & Francis

    Professor Jonathan P Bowen

  59. Editorial

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

    Professor Jonathan P Bowen

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

    Article • Neuroscience, September 2010, Elsevier

    Professor Jonathan P Bowen

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

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

    Article • January 2010, Springer Science + Business Media

    Professor Jonathan P Bowen

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

  64. Formal Versus Agile: Survival of the Fittest

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

    Professor Jonathan P Bowen

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

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

    Professor Jonathan P Bowen

  66. Using formal specifications to support testing

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

    Professor Jonathan P Bowen

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

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

    Professor Jonathan P Bowen

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

    Article • January 2009, Springer Science + Business Media

    Professor Jonathan P Bowen

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

  70. Software engineering and formal methods

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

    Professor Jonathan P Bowen

  71. Formal Methods and Testing

    Article • January 2008

    Professor Jonathan P Bowen

  72. Abstract State Machines, B and Z

    Article • January 2008

    Professor Jonathan P Bowen

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

    Article • January 2008, Springer Science + Business Media

    Professor Jonathan P Bowen

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

    Article • January 2008, IGI Global

    Professor Jonathan P Bowen

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

  76. Algebraic Approach to Linking the Semantics of Web Services

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

    Professor Jonathan P Bowen

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

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

    Professor Jonathan P Bowen

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

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

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

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

    Professor Jonathan P Bowen

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

  82. Integrating Probability with Time and Shared-Variable Concurrency

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

    Professor Jonathan P Bowen

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

  84. Z

    Article • January 2006, Wiley

    Professor Jonathan P Bowen

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

    Article • January 2006, IGI Global

    Professor Jonathan P Bowen

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

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

    Professor Jonathan P Bowen

  87. Ten commandments revisited

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

    Professor Jonathan P Bowen

  88. Continuity aspects of embedded reconfigurable computing

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

    Professor Jonathan P Bowen

  89. A formal analysis of MCDC and RCDC test criteria

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

    Professor Jonathan P Bowen

  90. Ordering Mutants to Minimise Test Effort in Mutation Testing

    Article • January 2005, Springer Science + Business Media

    Professor Jonathan P Bowen

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

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

    Professor Jonathan P Bowen

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

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

    Professor Jonathan P Bowen

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

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

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

    Article • January 2003

    Professor Jonathan P Bowen

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

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

    Professor Jonathan P Bowen

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

    Article • January 2002

    Professor Jonathan P Bowen

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

    Article • January 2002, Springer Science + Business Media

    Professor Jonathan P Bowen

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

  100. 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, Prof. José Cadima Ribeiro, Professor Jonathan P Bowen

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

  102. Z: A Formal Specification Notation

    Article • January 2001, Springer Science + Business Media

    Professor Jonathan P Bowen

  103. From Operational Semantics to Denotational Semantics for Verilog

    Article • January 2001, Springer Science + Business Media

    Professor Jonathan P Bowen

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

    Professor Jonathan P Bowen

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

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

    Professor Jonathan P Bowen

  106. The Virtual Museum

    Article • Museum International, January 2000, Taylor & Francis

    Professor Jonathan P Bowen

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

  108. Only connect

    Article • Museum International, October 1999, Taylor & Francis

    Professor Jonathan P Bowen

  109. Industrial-Strength Formal Methods in Practice

    Article • January 1999, Springer Science + Business Media

    Professor Jonathan P Bowen

  110. High-Integrity System Specification and Design

    Article • January 1999, Springer Science + Business Media

    Professor Jonathan P Bowen

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

    Article • January 1999, Springer Science + Business Media

    Professor Jonathan P Bowen

  112. Formal Methods

    Article • January 1999, Springer Science + Business Media

    Professor Jonathan P Bowen

  113. Real-Time and Safety-Critical Systems

    Article • January 1999, Springer Science + Business Media

    Professor Jonathan P Bowen

  114. Concurrent and Distributed Systems

    Article • January 1999, Springer Science + Business Media

    Professor Jonathan P Bowen

  115. Integrating Methods

    Article • January 1999, Springer Science + Business Media

    Professor Jonathan P Bowen

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

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

    Professor Jonathan P Bowen

  117. Visiteurs virtuels et musées virtuels

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

    Professor Jonathan P Bowen

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

    Article • January 1998, Springer Science + Business Media

    Professor Jonathan P Bowen

  119. Z on the Web Using Java

    Article • January 1998, Springer Science + Business Media

    Professor Jonathan P Bowen

  120. ZUM '98: The Z Formal Specification Notation

    Article • January 1998

    Professor Jonathan P Bowen

  121. Select Z Bibliography

    Article • January 1998, Springer Science + Business Media

    Professor Jonathan P Bowen

  122. Preface

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

    Professor Jonathan P Bowen

  123. Compositional Specification of Controllers for Batch Process Operations

    Article • January 1998, Springer Science + Business Media

    Professor Jonathan P Bowen

  124. Inconsistency and Undefinedness in Z – A Practical Guide

    Article • January 1998, Springer Science + Business Media

    Professor Jonathan P Bowen

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

    Article • January 1998, Springer Science + Business Media

    Professor Jonathan P Bowen

  126. ZUM ’98: The Z Formal Specification Notation

    Article • January 1998, Springer Science + Business Media

    Professor Jonathan P Bowen

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

    Article • European Review, January 1997, Cambridge University Press

    Professor Jonathan P Bowen

  128. ZUM '97: The Z Formal Specification Notation

    Article • January 1997

    Professor Jonathan P Bowen

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

    Article • European Review, January 1997, Cambridge University Press

    Professor Jonathan P Bowen

  130. Select Z bibliography

    Article • January 1997, Springer Science + Business Media

    Professor Jonathan P Bowen

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

    Article • January 1997, Springer Science + Business Media

    Professor Jonathan P Bowen

  132. 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, Maximum Academic Press

    Professor Jonathan P Bowen

  133. Book reviews

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

    Professor Jonathan P Bowen

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

    Article • Software Practice and Experience, November 1995, Wiley

    Professor Jonathan P Bowen

  135. The World Wide Web Virtual Library of museums

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

    Professor Jonathan P Bowen

  136. Seven more myths of formal methods

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

    Professor Jonathan P Bowen

  137. Editorial

    Article • Information and Software Technology, May 1995, Elsevier

    Professor Jonathan P Bowen

  138. A shallow embedding of Z in HOL

    Article • Information and Software Technology, May 1995, Elsevier

    Professor Jonathan P Bowen

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

    Article • Information and Software Technology, May 1995, Elsevier

    Professor Jonathan P Bowen

  140. Annotated Z bibliography

    Article • Information and Software Technology, May 1995, Elsevier

    Professor Jonathan P Bowen

  141. Glossary of Z notation

    Article • Information and Software Technology, May 1995, Elsevier

    Professor Jonathan P Bowen

  142. Ten commandments of formal methods

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

    Professor Jonathan P Bowen

  143. ZUM '95: The Z Formal Specification Notation

    Article • January 1995

    Professor Jonathan P Bowen

  144. Select Z bibliography

    Article • January 1995, Springer Science + Business Media

    Professor Jonathan P Bowen

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

    Article • January 1995, Springer Science + Business Media

    Professor Jonathan P Bowen

  146. Seven deadly sins

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

    Professor Jonathan P Bowen

  147. Specification, Verification and Prototyping of an Optimized Compiler

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

    Professor Jonathan P Bowen

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

  149. Z and HOL

    Article • January 1994, Springer Science + Business Media

    Professor Jonathan P Bowen

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

  151. Towards Correct Executable Semantics for Z

    Article • January 1994, Springer Science + Business Media

    Professor Jonathan P Bowen

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

    Article • January 1994, Springer Science + Business Media

    Professor Jonathan P Bowen

  153. Transfer into Industrial Design

    Article • January 1994, Elsevier

    Professor Jonathan P Bowen

  154. Hardware Compilation

    Article • January 1994, Elsevier

    Professor Jonathan P Bowen

  155. Overview of the Project

    Article • January 1994, Elsevier

    Professor Jonathan P Bowen

  156. Preface

    Article • January 1994, Elsevier

    Professor Jonathan P Bowen

  157. Towards Verified Systems

    Article • January 1994, Elsevier

    Professor Jonathan P Bowen

  158. Report on Z user meeting

    Article • Information and Software Technology, October 1993, Elsevier

    Professor Jonathan P Bowen

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

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

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

  162. Developing Correct Systems

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

    Professor Jonathan P Bowen

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

  164. Formal Methods and Software Safety

    Article • IFAC Proceedings Volumes, October 1992, Elsevier

    Professor Jonathan P Bowen

  165. X: Why Z?

    Article • Computer Graphics Forum, August 1992, Wiley

    Professor Jonathan P Bowen

  166. Select Z Bibliography

    Article • January 1992, Springer Science + Business Media

    Professor Jonathan P Bowen

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

    Article • January 1992, Springer Science + Business Media

    Professor Jonathan P Bowen

  168. FORMAL METHODS AND SOFTWARE SAFETY

    Article • January 1992, Elsevier

    Professor Jonathan P Bowen

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

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

    Professor Jonathan P Bowen

  170. Constructing predictable real time systems

    Article • Microprocessors and Microsystems, December 1991, Elsevier

    Professor Jonathan P Bowen

  171. Selected Z Bibliography

    Article • January 1991, Springer Science + Business Media

    Professor Jonathan P Bowen

  172. Metrics and Measurement of Specifications Written in Z

    Article • January 1991, Springer Science + Business Media

    Professor Jonathan P Bowen

  173. Formal specification of the ProCoS/safemos instruction set

    Article • Microprocessors and Microsystems, December 1990, Elsevier

    Professor Jonathan P Bowen

  174. Distributed operating systems

    Article • January 1990, Elsevier

    Professor Jonathan P Bowen

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

  176. Contributors

    Article • January 1990, Elsevier

    Professor Jonathan P Bowen

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

  178. The specification of computer programs

    Article • Microprocessors and Microsystems, April 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. More books about assembler and 16-bit micros

    Article • Microprocessors and Microsystems, March 1988, Elsevier

    Professor Jonathan P Bowen

  181. Formal specification and documentation of microprocessor instruction sets

    Article • Microprocessing and Microprogramming, August 1987, Elsevier

    Professor Jonathan P Bowen

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

    Article • Microprocessors and Microsystems, November 1986, Elsevier

    Professor Jonathan P Bowen

  183. Distributed computing software project

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

    Professor Jonathan P Bowen

  184. A user-friendly interface adapter

    Article • Microprocessors and Microsystems, November 1985, Elsevier

    Professor Jonathan P Bowen

  185. Microprocessors

    Article • Microprocessors and Microsystems, October 1985, Elsevier

    Professor Jonathan P Bowen

  186. Microprocessor I/O emulation facilities

    Article • Microprocessors and Microsystems, October 1985, Elsevier

    Professor Jonathan P Bowen

  187. Standard microprocessor programming cards

    Article • Microprocessors and Microsystems, July 1985, Elsevier

    Professor Jonathan P Bowen

  188. Algorithms, software and hardware of parallel computers

    Article • Microprocessors and Microsystems, April 1985, Elsevier

    Professor Jonathan P Bowen

  189. Microprocessors: hardware and applications

    Article • Microprocessors and Microsystems, March 1985, Elsevier

    Professor Jonathan P Bowen

  190. Software/hardware integration on microprocessors

    Article • Microprocessors and Microsystems, January 1985, Elsevier

    Professor Jonathan P Bowen

  191. An Algebraic Approach to Hardware Compilation

    Article • Springer Science + Business Media

    Professor Jonathan P Bowen

  192. Virtual Collaboration and Community

    Article • IGI Global

    Professor Jonathan P Bowen

  193. Towards a provably correct hardware implementation of occam

    Article • Springer Science + Business Media

    Professor Jonathan P Bowen

  194. An approach to verifiable compiling specification and prototyping

    Article • Springer Science + Business Media

    Professor Jonathan P Bowen

  195. Introduction to Formal Methods

    Article • Springer Science + Business Media

    Professor Jonathan P Bowen

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

    Article • IGI Global

    Professor Jonathan P Bowen

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

    Article • IGI Global

    Professor Jonathan P Bowen

  198. Virtual Collaboration and Community

    Article • IGI Global

    Professor Jonathan P Bowen

  199. Gender Issues in HCI Design for Web Access

    Article • IGI Global

    Professor Jonathan P Bowen

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

    Article • Springer Science + Business Media

    Professor Jonathan P Bowen

  201. Gender Issues in HCI Design for Web Access

    Article • IGI Global

    Professor Jonathan P Bowen

  202. The Development of Science Museum Web Sites

    Article • IGI Global

    Professor Jonathan P Bowen

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

    Article • IGI Global

    Professor Jonathan P Bowen

  204. Gender Issues in HCI Design for Web Access

    Article • IGI Global

    Professor Jonathan P Bowen

  205. Z on the Web using Java

    Article • Springer Science + Business Media

    Professor Jonathan P Bowen

  206. From algebraic semantics to denotational semantics for Verilog

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Professor Jonathan P Bowen

  207. A Provable Algorithm for Reconfiguration in Embedded Reconfigurable Computing

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Professor Jonathan P Bowen

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

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

  210. Tolerance of control-flow testing criteria

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Professor Jonathan P Bowen

  211. FORTEST: formal methods and testing

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Professor Jonathan P Bowen

  212. Deriving operational semantics from denotational semantics for Verilog

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Professor Jonathan P Bowen

  213. Formalization of software testing criteria using the Z notation

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Professor Jonathan P Bowen

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

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Professor Jonathan P Bowen

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

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Professor Jonathan P Bowen