MooZ Case Studies

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

Abstract

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.

Keywords

Dick 

Preview

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