Z User Studio: An Integrated Support Tool for Z Specifications

  • Authors:

  • Huaikou Miao;Ling Liu;Chuanjiang Yu;Jijun Ming;Li LI

  • Affiliations:

  • -;-;-;-;-

  • Venue:
  • APSEC '01 Proceedings of the Eighth Asia-Pacific on Software Engineering Conference
  • Year:
  • 2001

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper introduces an integrated Z support tool, ZUser Studio (ZUS), which was developed by the FormalMethods Research Group of Shanghai University. ZUS isan interactive, single-user tool, running under MS-Windows and NT.It supports the production of well-formed Z specifications by providing facilities for building, editing, checking an viewing Z specification documents.It displays the Z constructs and symbols, as they would appear in most popular book on Z.ZUS has two modes for editing specifications,text-based editor and graphical editor.The graphical editor provides a hierarchical structure directory for every current Z specification.ZUS implements a computer aided test cases generator (TCG).