On a GUI based editor for the Z notation

被引：0

作者：

Ishikawa, H ^{[1
]}

机构：

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

来源：

SERP '05: PROCEEDINGS OF THE 2005 INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2 | 2005年

关键词：

Z notation; (LTEX)-T-A; XML; GUI based editor; !text type='Java']Java[!/text;

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

It is problematic to describe the formal Z notation using a standard text editor. One of the reasons is to use the non-standard fonts and the special symbols in the Z notation, then making it difficult to write Z documents. This paper presents a solution to this problem. A prototype on GUI based editor for Z specifications, named ZEditor, is developed and improved. Using ZEditor, Z documents are described as LATEX documents with the package for typesetting Z specifications. Using our editor, it is convenient to describe Z documents consist of many different components such as Axiom, Generic Constant, Basic Type, and Schema. Furthermore, it can save Z documents not only in LATEX form but also 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.

引用

页码：273 / 279

页数：7

共 11 条

[1]

ANKRUM TS, 2003, ZML Z FORMAL SPECIFI

[2]

[Anonymous], 1986, 88791986 ISO

[3]

Bowen JP, 1998, LECT NOTES COMPUT SC, V1493, P66, DOI 10.1007/BFb0056026

[4]

ISHIKAWA H, 2004, P INT C SOFTW ENG RE, V1, P188

[5]

ISHIKAWA H, 2003, P ITC CSCC2003 2003, V1, P345

[6]

Spivey J.M., 1992, Z NOTATION REFERENCE

[7] A formal object approach to the design of ZML [J].

Sun, J ;

Dong, JS ;

Liu, J ;

Wang, H .

ANNALS OF SOFTWARE ENGINEERING, 2002, 13 (1-4) :329-356

[8]

TOYN I, XML DTD Z

[9]

Utting M, 2003, LECT NOTES COMPUT SC, V2651, P437

[10]

W3C, XSL TRANSF XSLT 1 0

← 1 2 →