Repository | Book | Chapter

COPR BookmarkLink
188311

(1999) Visual representations and interpretations, Dordrecht, Springer.

Visualisation of the obj term re-writing process

Duncan S. Neary , Martin R Woodward

pp. 351-356

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.