Re: Object Z references

Article View: comp.specification.z

Article #25

Back to comp.specification.z Previous Next

#25

From: "K." Lano
Date: Tue, 21 Jul 1992 09:21

7 lines
632 bytes


Yet another object-oriented Z is Z++, as summarised in a paper in 
the proceedings of ECOOP 92: ``Reasoning and Refinement in Object-Oriented 
Specification Languages", and given in detail in a report ``The Z++ Manual"
available from Dr H. Haughton, Lloyds Register of Shipping, 29 
Wellesly Rd., Croydon CRO 2AJ.

Technical Details

Message-ID: <7281.9207210921@redo4.aie.lreg.co.uk>

Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!uknet!ox-prg!tcskcl

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!uknet!ox-prg!tcskcl
From: tcskcl@aie.lreg.co.uk ("K." Lano)
Newsgroups: comp.specification.z
Subject: Re: Object Z references
Message-ID: <7281.9207210921@redo4.aie.lreg.co.uk>
Date: 21 Jul 92 09:21:17 GMT
Sender: daemon@comlab.ox.ac.uk
Lines: 7
X-Mailer: mail-news 2.0.3