Title :
Visual representation of algebraic specifications: A user-oriented approach
Author :
Neary, Duncan S. ; Woodward, Martin R.
Author_Institution :
Dept. of Comput. Sci., Liverpool Univ., UK
Abstract :
This paper introduces a series of graphical notations for the visualisation of algebraic specifications, concentrating on a suitable representation of the equations that are a characteristic feature of such specifications. A user-oriented process was central both to the design of the notations and to the selection of a notation to implement. Details of this process are outlined
Keywords :
algebraic specification; algebraic specifications; graphical notations; user-oriented process; visualisation; Animation; Buildings; Computer science; Education; Equations; Mathematical model; Software quality; Testing; Visualization;
Conference_Titel :
Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on
Conference_Location :
Stresa
Print_ISBN :
0-7803-7198-4
DOI :
10.1109/HCC.2001.995239
