The Z notation: a reference manual
The Z notation: a reference manual
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Pattern languages of program design 3
Pattern languages of program design 3
The Object-Z specification language
The Object-Z specification language
IEEE Transactions on Software Engineering
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Characters + Mark-up = Z Lexis
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Automated Boundary Testing from Z and B
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
ZML: XML support for standard Z
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Ten commandments revisited: a ten-year perspective on the industrial application of formal methods
Proceedings of the 10th international workshop on Formal methods for industrial critical systems
Type Checking Circus Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
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
Precise scenarios: a customer-friendly foundation for formal specifications
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Validating Z specifications using the PROB animator and model checker
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Model-based testing and the UML testing profile
Semantics and algebraic specification
CATS '09 Proceedings of the Fifteenth Australasian Symposium on Computing: The Australasian Theory - Volume 94
A four-way framework for validating a specification
SAICSIT '10 Proceedings of the 2010 Annual Research Conference of the South African Institute of Computer Scientists and Information Technologists
Saoithín: a theorem prover for UTP
UTP'10 Proceedings of the Third international conference on Unifying theories of programming
Software—Practice & Experience
MDA-Based re-engineering with object-z
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Taking our own medicine: applying the refinement calculus to state-rich refinement model checking
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
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
Refinement-oriented models of Stateflow charts
Science of Computer Programming
Hi-index | 0.00 |
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 SO Standard for Z.