Visualisation of refinements

Animation tools have proven to be effective as a means of visualising formal specifications. Specifications that might otherwise be impenetrable can be communicated to a wide range of people involved in the software development process. Here we argue that animation can also aid understanding of formal program development, or refinement. We examine two case studies that demonstrate the effectiveness of visualisations generated from a specification animation tool for improving the understanding of refinements