Repository | Book | Chapter
(1999) Visual representations and interpretations, Dordrecht, Springer.
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.
Publication details
DOI: 10.1007/978-1-4471-0563-3_39
Full citation:
Neary, D. S. , Woodward, M.R. (1999)., Visualisation of the obj term re-writing process, in R. Paton & I. Neilson (eds.), Visual representations and interpretations, Dordrecht, Springer, pp. 351-356.
This document is unfortunately not available for download at the moment.