DocumentCode
1112002
Title
Specification scheme for the visualisation of data structures
Author
Lu, X.-B. ; Stetter, F.
Author_Institution
Lehrstuhl fur Praktische Inf. I, Mannheim Univ., Germany
Volume
9
Issue
3
fYear
1994
fDate
5/1/1994 12:00:00 AM
Firstpage
127
Lastpage
133
Abstract
The paper describes a general principle for program visualisation, based on the concept of structure models. We propose a specification scheme that can be used to implement the general principle without requiring a change of the program code. Two aspects of the scheme are discussed in detail; the specification of critical entities and their graphical representations. Its use is illustrated by means of a specification for the visualisation of a program which calculates the convex hull of a finite set of points
Keywords
data structures; data visualisation; formal specification; visual programming; convex hull; critical entities; data structures visualisation; graphical representations; program visualisation; specification scheme; structure models;
fLanguage
English
Journal_Title
Software Engineering Journal
Publisher
iet
ISSN
0268-6961
Type
jour
Filename
295065
Link To Document