A Formal Approach to Aspect-Oriented Modular Reconfigurable Computing

A Fully Encrypted Microprocessor The Secret Computer is Nearly Here ⬇️

article published in 2016

A Fully Homomorphic Crypto-Processor Design

A Practical Encrypted Microprocessor

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

scholarly article by Jonathan Bowen published 2013 in Lecture Notes in Computer Science

A compendium of formal techniques for software maintenance

A formal analysis of MCDC and RCDC test criteria

A prettier compiler-compiler: Generating higher-order parsers in C

A shallow embedding of Z in HOL

article by Jonathan Bowen & Mike Gordon published May 1995 in Information and Software Technology

A user-friendly interface adapter

Alan Turing: Founder of Computer Science

scholarly article by Jonathan Bowen published 2017 in Lecture Notes in Computer Science

Alan Turing: Virtuosity and Visualisation

Algebraic Approach to Linking the Semantics of Web Services

scholarly article published September 2007

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

scholarly article published March 2007

Algebraic approach to linking the semantics of web services

article

Algorithms, software and hardware of parallel computers

scholarly article by Jonathan Bowen published April 1985 in Microprocessors and Microsystems

An Algebraic Approach to Hardware Compilation

scholarly article

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

scholarly article published 1990

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

An approach to verifiable compiling specification and prototyping

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

scholarly article published October 2009

Annotated Z bibliography

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

article published in 2014

Book reviews

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

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

Communicating the public understanding of science: the Royal Society website

article

Comp.specification.z and Z FORUM Frequently Asked Questions

article

Comp.specification.z and Z FORUM frequently asked questions

article

Comp.specification.z and Z forum frequently asked questions

article

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

scientific article

Component-based modelling for sustainable and scalable smart meter networks

Computational Culture: Transforming Archives Practice and Education for a Post-Covid World

scientific article published on 07 March 2022

Constructing predictable real time systems

Continuity aspects of embedded reconfigurable computing

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

Creative visualisation in chemistry

Curating Digital Life and Culture: Art and Information

article

Decompilation: the enumeration of types and grammars

article

Digital Futures: Exhibits at EVA London 2018

Digitalism: The New Realism?

Distributed computing software project

scholarly article published 1986

Distributed operating systems

article in Distributed Computer Systems: Theory and Practice

Editorial

Editorial

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

Empirical Patterns in Google Scholar Citation Counts ⬇️

scholarly article published April 2014

Encrypted computing: Speed, security and provable obfuscation against insiders

Erratum: A Fully Homomorphic Crypto-Processor Design

scholarly article published in Lecture Notes in Computer Science

Experience teaching Z with tool and web support

Experimental evaluation of the tolerance for control-flow test criteria

Formal Methods

article published in 1999

Formal Requirements Specification

Formal Specification and Documentation Using Z

1996 book

Formal Versus Agile: Survival of the Fittest

Formal specification and documentation of microprocessor instruction sets

1987 journal article

Formal specification of the ProCoS/safemos instruction set

Formality, Agility, Security, and Evolution in Software Development

article

Formality, Agility, Security, and Evolution in Software Engineering

scholarly article published 3 September 2018

Formalization and assessment of regulatory requirements for safety-critical software

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

From Analogue to Digital in Literature and Art

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

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

article published in 2006

From Operational Semantics to Denotational Semantics for Verilog

article

From Programs to Object Code using Logic and Logic Programming

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

From algebraic semantics to denotational semantics for Verilog

article

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

article

Galois Connections: Mathematics, Art, and Archives

Gender Issues in HCI Design for Web Access

Gender Issues in HCI Design for Web Access

Glossary of Z notation

High-Integrity System Specification and Design

Idea: Towards a Working Fully Homomorphic Crypto-processor

Integrating Probability with Time and Shared-Variable Concurrency

Introduction to Formal Methods

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

scholarly article by Jonathan Bowen published 2 September 2015 in Bulletin of the British Society for the History of Mathematics

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

Linking denotational semantics with operational semantics for web services

article published in 2010

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

scholarly article by Huibiao Zhu et al published January 2012 in The Journal of Logic and Algebraic Programming

Metrics and Measurement of Specifications Written in Z

Microprocessor I/O emulation facilities

Microprocessor interfacing and communication using the Intel SDK-85

Microprocessors

Microprocessors: hardware and applications

More books about assembler and 16-bit micros

More books about assembler and 16-bit micros

article published in 1988

Museums and Technology: Being Inclusive Helps Accessibility for All

Of Museums and Digital Culture: A landscape view

article

On Obfuscating Compilation for Encrypted Computing

On Security in Encrypted Computing

Only connect

scientific article

Ordering Mutants to Minimise Test Effort in Mutation Testing

POS—formal specification of a UNIX tool

PTSC: probability, time and shared-variable concurrency

Personal view: Formal methods: epideictic or apodeictic?

Personalization Issues for Science Museum Web Sites and E-Learning

Personalization Issues for Science Museum Web Sites and E-Learning

Personalization Issues for Science Museum Web Sites and E-learning

Processor Rescue

Provably Correct Systems: Community, Connections, and Citations

Academic book chapter

RETRACTED: On the Visual Representation of Configuration in Reconfigurable Computing

retracted article

Real-Time and Safety-Critical Systems

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

Report on Z user meeting (ZUM '94)

Review on <i>Theories of Programming: The Life and Works of Tony Hoare</i>

scientific article published on 01 December 2022

Safety-critical systems, formal methods and standards

Select Z Bibliography

Select Z Bibliography

Select Z bibliography

Selected Z Bibliography

Seven more myths of formal methods: Dispelling industrial prejudices

Software engineering and formal methods

scholarly article by Mike Hinchey et al published 1 September 2008 in Communications of the ACM

Software/hardware integration on microprocessors

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

article published in 2002

Specification, Verification and Prototyping of an Optimized Compiler

Standard microprocessor programming cards

article by Jonathan Bowen published July 1985 in Microprocessors and Microsystems

States of Being: Art and Identity in Digital Space and Time

Superscalar Encrypted RISC: The Measure of a Secret Computer

Temporal changes in myocardial salvage kinases during reperfusion following ischemia: studies involving the cardioprotective adipocytokine apelin

scientific article published in December 2007

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

article published in 2009

Ten Commandments of Formal Methods… Ten Years On

Ten commandments revisited

Test conditions for fault classes in Boolean specifications

The Development of Science Museum Web Sites

article

The Impact of Alan Turing: Formal Methods and Beyond

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

The Turing Guide

2017 book on Alan Turing

The World Wide Web Virtual Library of museums

article

The World Wide Web and the Virtual Library museums pages

scholarly article by Jonathan Bowen published January 1997 in European Review

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

article

The ethics of safety-critical systems

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

The specification of computer programs

The virtual museum

article published in 2000

Towards Correct Executable Semantics for Z

Towards a provably correct hardware implementation of occam

Turing’s Genius – Defining an apt microcosm

Typed Assembler for a RISC Crypto-Processor

Using formal specifications to support testing

article

Virtual Collaboration and Community

Virtual Collaboration and Community

Visiteurs virtuels et musées virtuels

Weaving the museum web: the Virtual Library museums pages

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

article published in 2004

What does autonomic arousal tell us about locomotor learning?

scientific article published on 8 July 2010

X: Why Z?

Z

Z and HOL

Z on the Web Using Java

Z: A Formal Specification Notation

article