MooZ Case Studies

  • Silvio Lemos Meira
  • Ana Lúcia C. Cavalcanti
Conference paper
Part of the Workshops in Computing book series (WORKSHOPS COMP.)


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.


State Component General Quadrilateral Mouse Button Type Constructor Class Message 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag London 1992

Authors and Affiliations

  • Silvio Lemos Meira
    • 1
  • Ana Lúcia C. Cavalcanti
    • 2
  1. 1.Departamento de InformáticaUniversidade Federal de PernambucoRecife-PEBrazil
  2. 2.Grupo de Ciência e Tecnologia da ComputaçãoFundação Instituto Tecnológico do Estado de PernambucoRecife-PEBrazil

Personalised recommendations