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 "K." Lano Tue, 21 Jul 1992 09:21

#25

Author: "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.

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