Visualisation of Refinements

Abstract

Animation tools have proven to be effective as a means of visualising formal specijcations. Specijcations that might otherwise be impenetrable can be communicated to a wide range of people involved in the s o w a r e development p m cess. Here we argue that animation can also aid understanding of formal program development, or rejnement. We examine two case… (More)
DOI: 10.1109/ASWEC.2001.948518

6 Figures and Tables

Topics

  • Presentations referencing similar topics