Programming from specifications (2nd ed.)
Programming from specifications (2nd ed.)
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
A classical mind
MFPS '92 Selected papers of the meeting on Mathematical foundations of programming semantics
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
The Theory and Practice of Concurrency
The Theory and Practice of Concurrency
Towards a Time Model for Circus
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Towards Mobile Processes in Unifying Theories
SEFM '04 Proceedings of the Software Engineering and Formal Methods, Second International Conference
ZML: XML support for standard Z
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
A concurrent language for refinement
IW-FM'01 Proceedings of the 5th Irish conference on Formal Methods
Type Checking Circus Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Z2SAL - Building a Model Checker for Z
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Alchemy: transmuting base alloy specifications into implementations
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Mechanised Translation of Control Law Diagrams into Circus
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
Using formal methods for security in the Xenon project
Proceedings of the Sixth Annual Workshop on Cyber Security and Information Intelligence Research
Software—Practice & Experience
Issues in implementing a model checker for z
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
| Hi-index | 0.00 |
Community Z Tools (CZT) is an integrated framework for the Z formal specification language. In this paper, we show how it is also designed to support extensions of Z, in a way that minimises the work required to build a new Z extension. The goals of the framework are to maximise extensibility and reuse, and minimise code duplication and maintenance effort. To achieve these goals, CZT uses a variety of different reuse mechanisms, including generation of Java code from a hierarchy of XML schemas, XML templates for shared code, and several design patterns for maximising reuse of Java code. The CZT framework is being used to implement several integrated formal methods, which add object-orientation, real-time features and process algebra extensions to Z. The effort required to implement such extensions of Z has been dramatically reduced by using the CZT framework.