OOZE(ID:1700/ooz001)

for An Object Oriented Z Envirnoment
Object oriented environment for Z, built on top of the FOOPS system, which in turn is built in top of the OBJ system.




Structures:
Related languages
FOOPS => OOZE   Based on
References:
  • "Object Orientation in Z", S. Stepney et al eds, Springer 1992. view details