OOZE: An Object Oriented Z Envirnoment

OOZE is an object oriented environment for Z, built on top of the FOOPS system, which in turn is built in top of the OBJ system.

Sorry! This page is still under construction....

To Systems index page
To Joseph Goguen homepage
Maintained by Joseph Goguen
Last modified 23 February 1999