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.