Book chapter
CZT: A framework for Z tools
ZB 2005: Formal Specification and Development in Z and B, pp.65-84
International Conference of Z and B Users (ZB), 4th (Guildford, United Kingdom, 13-Apr-2005–15-Apr-2005)
Lecture Notes in Computer Science (LNCS), 3455, Springer Berlin Heidelberg
2005
Abstract
The Community Z Tools (CZT) project is an open-source Java framework for building formal methods tools for Z and Z dialects. It also includes a set of tools for parsing, typechecking, transforming and printing standard Z specifications in LATEX, Unicode or XML formats. This paper gives an overview of the CZT framework, including an introduction to its visitor design pattern that makes it possible to write new Z transformation tools in just a few lines of Java code. The paper also discusses several problems and challenges that arose when attempting to build tools based on the ISO Standard for Z. © Springer-Verlag Berlin Heidelberg 2005.
Details
- Title
- CZT: A framework for Z tools
- Authors
- Petra Malik (Author) - University of Waikato, New ZealandMark Utting (Author) - University of Waikato, New Zealand
- Contributors
- H Treharne (Editor)S King (Editor)M Henson (Editor)Steve Schneider (Editor)
- Publication details
- ZB 2005: Formal Specification and Development in Z and B, pp.65-84
- Conference details
- International Conference of Z and B Users (ZB), 4th (Guildford, United Kingdom, 13-Apr-2005–15-Apr-2005)
- Series
- Lecture Notes in Computer Science (LNCS); 3455
- Publisher
- Springer Berlin Heidelberg
- Date published
- 2005
- DOI
- 10.1007/11415787_5
- Organisation Unit
- School of Science and Engineering - Legacy; University of the Sunshine Coast, Queensland
- Language
- English
- Record Identifier
- 99449837502621
- Output Type
- Book chapter
Metrics
2 File views/ downloads
502 Record Views