ZCREATOR - JAVA APPLICATION FOR CREATING Z SPECIFICATION DISPLAYS

This application has been written in Java, meaning it is, in theory, a platform independent application. Specifications are created by selecting specification blocks from a menu. When a block is created a button is created to access that block. Clicking on the button displays the text it contains. The text can be edited simply by typing (Unfortunately newlines cause problems). Symbols can be added by clicking on buttons represented by a picture of of the Z symbols. The specifications can then be saved as text files and opened and edited at will. Currently only deletion of blocks is supported for overall editing.

An HTML document can then be saved that will display the specification from the file. Alternatively an HTML document can be saved with the specification as a parameter (as some browsers security will not allow files to be loaded even from the originating host). The size of applet is automatically calculated.

Features to be added

• Insertion of blocks
• New lines allowed in text (?)

e-mail comments or suggestions to : ssu95dlc@reading.ac.uk