RoZ v2.0

RoZ (pronounce it "Rosette") is named after the Rosetta stone. It links graphical and formal notations by translating a class diagram annotated by formal assertions, written in the Z specification language, into a Z specification. There are two major versions of RoZ:

RoZ is used in combination with JazaGUI, a user interface for the jaza Z animator.

In this web page, you will find several versions of RoZ and JazaGUI, associated with documentation and examples.

Version zip archive Examples
2022beta Documentation