The Z notation: a reference manual
The Z notation: a reference manual
Object-oriented modeling and design for database applications
Object-oriented modeling and design for database applications
Hi-index | 0.00 |
This paper introduces the analysis, design and realization of the visual editor which supports Z language. It makes a detail of key technologies, including the input and output of special characters, the input and output of schema, the superscript and subscript and the optimized display of the text; the editor not only supports the processing of standard Z language but also provides input and output of a variety of graphics, simplifying editing and typesetting of Z language.