Visualisation of the obj term re-writing process
pp. 351-356
in: Ray Paton, Irene Neilson (eds), Visual representations and interpretations, Berlin, Springer, 1999Abstract
Algebraic specifications have been promoted as an aid to the software development process. However, their usefulness has been restricted by a perceived unapproachability. This paper introduces an approach to the simplification of the algebraic specification language OBJ through visualisation and, more specifically, it focuses on the use of animation to represent the OBJ term re-writing process by which expressions are evaluated.