A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
This paper proposes a formal specification supporting tool. It is designed on the basis of the specification reusability and the convenience to construct specification repository. The tool, called ZEditor, is designed for supporting the Z specification Two remarkable features of ZEditor are as follows. Firstly, focus attention on some specification construction units so that ZEditor provides several specified input screens.for them. Specifications described by can be saved as the format or thedoi:10.1109/compsac.2005.34 dblp:conf/compsac/000305 fatcat:f4ucavat35e27bt5u4qyzcvmse