Object-Z references wanted

Thread View: comp.specification

3 messages

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

3 total messages Started by Chris Flatters Fri, 07 Jun 1991 23:05

#443

Author: Chris Flatters
Date: Fri, 07 Jun 1991 23:05

10 lines
798 bytes

Could someone point me towards a description (or descriptions) of
object-Z, please.



-- 
======================================================================
Chris Flatters                  |  cflatter@nrao.edu
AIPS Scientific Programmer      |
======================================================================

Re: Object-Z references wanted

#444

Author: 24122-Haim Kilov(L028)m000
Date: Mon, 10 Jun 1991 02:02

10 lines
796 bytes

Roger Duke from Queensland University (Australia) had presented a tutorial
on Object Z in Paris, at TOOLS'91. He had published several papers on Object Z.


Hope this helps.


-Haim Kilov
haim@bcr.cc.bellcore.com

Re: Object-Z references wanted

#446

Author: Formal Mthds Grp
Date: Wed, 12 Jun 1991 03:29

21 lines
1196 bytes

In comp.text.tex, Chris Flatters writes:

>   Could someone point me towards a description (or descriptions) of
>   object-Z, please.

Object-Z is a model-oriented specification language (like Z, VDM and the
Relational Notation of S. Lam and A.U. Shankar).  Object-Z is an extension
to Z which supports an object-oriented style of specification.

The Version 1 reference manual for Object-Z can be obtained by
emailing your normal mail address to the Formal Methods Group librarian
at the Department of Computer Science, University of Queensland:

fmg@cs.uq.oz.au

-----------------
Formal Methods Group librarian
Department of Computer Science
University of Queensland
AUSTRALIA 4072

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