A retrospective on CZT

descriptionPublicationkeyboard_double_arrow_right Article 23 Jan 2011 English Publisher:WileyJournal:Software: Practice and Experience, volume 41, pages 179-188 (issn: 0038-0644, eissn: 1097-024X,

Copyright policy )

Authors: Petra Malik;

doi: 10.1002/spe.1015

A retrospective on CZT

- Summary
- Metrics

Abstract

AbstractCommunity Z Tools (CZT) is an open‐source Java framework for building formal methods tools for the specification language Z and extensions of Z. This paper gives an overview of CZT: its history, architecture, and development process. Extensibility is core to CZT and the main aims of this paper are to encourage and enable formal methods tool developers to utilize, extend, and contribute to CZT. The paper is also of value to people interested in open‐source or formal methods software in general since many of the techniques and practices described are not specific to CZT and could be applied to other frameworks. Copyright © 2011 John Wiley & Sons, Ltd.

Related Organizations

Victoria University of Wellington
New Zealand

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	3
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average