Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
The Cathedral and the Bazaar
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Unit Testing of Z Specifications
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Tool Support for the Circus Refinement Calculus
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Mechanised Translation of Control Law Diagrams into Circus
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
Implementing and Applying the Stocks-Carrington Framework for Model-Based Testing
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Automation of Model-Based Testing through Model Transformations
TAIC-PART '09 Proceedings of the 2009 Testing: Academic and Industrial Conference - Practice and Research Techniques
ZML: XML support for standard Z
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
CATS '09 Proceedings of the Fifteenth Australasian Symposium on Computing: The Australasian Theory - Volume 94
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Formal analysis in model management: exploiting the power of CZT
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
Automatic translation from Circus to Java
FM'06 Proceedings of the 14th international conference on Formal Methods
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Hi-index | 0.01 |
Community 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.