A GUI based editor for Z specifications

被引：0

作者：

Ishikawa, H ^{[1
]}

机构：

[1] Fukuyama Univ, Dept Informat Proc Engn, Fukuyama, Hiroshima 7290292, Japan

来源：

8TH WORLD MULTI-CONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL IV, PROCEEDINGS: INFORMATION SYSTEMS, TECHNOLOGIES AND APPLICATIONS: I | 2004年

关键词：

Z specification; (LTEX)-T-A; XML; GUI based editor;

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

Describing the formal Z notation using a standard text editor is problematic because of the non-standard fonts and the special symbols used in Z, making it difficult to write Z documents. This paper presents a solution to this problem. A GUI based editor for Z specifications, named ZEditor, is developed. Using ZEditor, Z documents are described as LATEX documents with the package for type-setting Z specifications. Using our editor, it is convenient to create and save Z documents in LATEX form or XML one. The documents created by our system may be used to create high quality documents, to browse on the Web, and to create specification repository for reuse.

引用

页码：470 / 474

页数：5