Path: utzoo!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!swrinde!zaphod.mps.ohio-state.edu!uakari.primate.wisc.edu!aplcen!uunet!mcsun!ukc!strath-cs!cs.glasgow.ac.uk!kww From: kww@cs.glasgow.ac.uk (Mr Kevin Waite) Newsgroups: comp.cog-eng,comp.lang.visual Subject: Re: Literature about visualization of data structures Summary: Reference to Work on Visualising Formally-Specified ADTs Keywords: visualization Message-ID: <4705@vanuata.cs.glasgow.ac.uk> Date: 2 Mar 90 11:01:38 GMT References: Distribution: comp Organization: Computing Sci, Glasgow Univ, Scotland Lines: 20 In response to your news message: I have just finished building a system (in Smalltalk) for visualising and visually programming algebraically-specified abstract data types as part of my doctoral research. My thesis has just been submitted and so is not yet in the public domain. However, a summary of this system (called VISAGE) is contained in the paper: "A Graphical Environment Supporting the Algebraic Specification of Abstract Data Types" in Kilgour, A. and Earnshaw, R. (Editors) "Graphic Tools for Software Engineers" published by Cambridge University Press 1989. I hope this is of interest. -- Email: kww@uk.ac.glasgow.cs (JANET) kww%cs.glasgow.ac.uk@nsfnet-relay.ac.uk (INTERNET) Address: Dept. of Computing Science, University of Glasgow, 17 Lilybank Gardens, Glasgow, United Kingdom. G12 8QQ