Visual representation of algebraic specifications: A user-oriented approach
D.S. Neary, Martin R. Woodward · 2002
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.