A Specification Construction Unit-Based Editor for Z

H. Ishikawa
29th Annual International Computer Software and Applications Conference (COMPSAC'05)  
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 the
more » ... the format or the XML one from each input screen. In each input screen, syntax and type checking of specifications can be also available. Secondly, the author can construct and edit an appropriate specification from some specification construction units which passed syntax and type checking. ZEditor make it possible to describe specifications easily, to reuse correct specification construction units, and to constructing specification repository.
doi:10.1109/compsac.2005.34 dblp:conf/compsac/000305 fatcat:f4ucavat35e27bt5u4qyzcvmse