MooZ Case Studies
MooZ is defined in [Meira and Cavalcanti 1991] and [Meira and Cavalcanti 1992]. The language extends Z with a number of features that provide support for object-oriented design and management of very large specifications. It is related to Object-Z, but it has a simpler semantic model.
Unable to display preview. Download preview PDF.