author : David Till

Contents

• Constance Heitmeyer.

Formal Methods: Panacea or Academic Poppycock?

• Bill Stoddart.

The Event Calculus

• M. A. Hewitt, Colin M. O'Halloran, Chris T. Sennett.

Experiences with PiZA, an animator for Z

• Steffen Helke, Thomas Neustupny, Thomas Santen.

Automating Test Case Generation from Z Specifications with Isabelle

• Mark Saaltink.

The Z/EVES System

• J. Anthony Hall.

Taking Z Seriously

(extended abstract)

• Klaus Achatz, Wolfram Schulte.

A Formal OO Method inspired by Fusion and Object-Z

• Jon G. Hall, Andrew Martin.

W Reconstructed

• Ina Kraan.

Using the Rippling Heuristic in Set Membership Proofs

• Egon Borger, S. Mazzanti.

A Practical Method for Rigorously Controllable Hardware Design

• Kevin C. Lano, Stephen J. Goldsack, Juan C. Bicarregui, Stuart J. H. Kent.

Integrating VDM++ and Real-Time System Design

• Michael J. Butler.

An Approach to the Design of Distributed Systems with B AMN

• Kevin C. Lano.

Specifying Reactive Systems in B AMN

• Andy S. Evans.

An Improved Recipe for Specifying Reactive Systems in Z

• Mark d'Inverno, Michael Hu.

A Z Specification of the Soft-Link Hypertext Model

• Jonathan Jacky, Jonathan Unger, Michael Patrick, David Reid, Ruedi Risler.

Experience with Z developing a Control Program for a Radiation Therapy Machine

• John C. Knight, Susan S. Brilliant.

Preliminary Evaluation of a Formal Approach to User Interface Specification

• Paolo Ciancarini, Cecilia Mascolo.

Analysing and Refining an Architectural Style

• John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen.

Weak Refinement in Z