Z User Studio: An integrated support tool for Z specifications

Author

Huaikou, MIAO ; Ling, Liu ; Chuanjiang, Yu ; Jijun, Ming ; Li, Li

Author_Institution

Shanghai Univ., China

fYear

2001

fDate

4-7 Dec. 2001

Firstpage

437

Lastpage

444

Abstract

This paper introduces an integrated Z support tool, Z User Studio (ZUS), which was developed by the Formal Methods Research Group of Shanghai University. ZUS is an 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 and 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).

Keywords

software tools; specification languages; MS-Windows; Z User Studio; Z specification documents; computer aided test cases generator; graphical editor; hierarchical structure directory; integrated Z support tool; interactive single-user tool; syntax parser; text-based editor; type checker; Books; Buildings; Computer displays; Computer industry; Hardware; Performance analysis; Production; Testing; Typesetting; Windows;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Engineering Conference, 2001. APSEC 2001. Eighth Asia-Pacific

ISSN

1530-1362

Print_ISBN

0-7695-1408-1

Type

conf

DOI

10.1109/APSEC.2001.991512

Filename

991512