RE: Object Z references

Thread View: comp.specification.z

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by ana Thu, 23 Jul 1992 23:30

#28

Author: ana
Date: Thu, 23 Jul 1992 23:30

39 lines
1384 bytes

 
The ZIP report "Comparative Study of Object Orientation in Z" presents MooZ
(Modular Object Oriented Z), a Z extension aimed at large software systems
specifications. It was originally proposed in
 
@inproceedings{MC90,
   author = {S. R. L. Meira and A. L. C. Cavalcanti},
   address = {Oxford - UK},
   booktitle = {Workshop on Computing Series},
   editor = {Prof.\  C. J. van Rijsbergen},
   month = dec,
   pages = {173 -- 192},
   publisher = {Springer-Verlag},
   title = {{Modular Object-Oriented Z Specifications}},
   year = {1990}
}
 
The latest reference is
 
@techreport{MC92b,
   author = {S. R. L. Meira and A. L. C. Cavalcanti},
   address = {Recife - PE},
   institution = {Universidade Federal de Pernambuco,
                  Departamento de Inform\'atica},
   title = {{The MooZ Specification Language}},
   year = {1992}
}
 
which can be get via ftp from
 
machine: gctc.itep.br (150.161.1.2)
user: anonymous
directory: pub/MooZ
file: MooZ.ps.Z
 
or by e-mailing me a request.
 
Ana Lucia Cavalcanti

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads