[
Date Prev][
Date Next][
Thread Prev][
Thread Next][
Date Index][
Thread Index]
[
List Home]
|
Re: [stellation-res] Sorry for the
|
----- Original Message -----
From: "Jim Wright - IBM Research" <jwright@xxxxxxxxxxxxxx>
To: <stellation-res@xxxxxxxxxxxxxxx>
Sent: Thursday, August 28, 2003 3:13 PM
Subject: Re: [stellation-res] Sorry for the
> At 02:08 PM 8/28/2003, Jonathan Gossage wrote:
> >Subject: Re: [stellation-res] Sorry for the
> >
> >
> > > More information about Z is available here:
> > > http://www.zuser.org/z/
> > >
> >
> >I tried the site several times but could get no response.
>
> Odd..... I visited it this morning, but also cannot access it presently.
> I found the site by Googling on "Z specification language" and looking
> for promising/recommended hits. There were some other
> likely sites as well:
>
> http://www.rbjones.com/rbjpub/cs/csfm03.htm
> http://www.comlab.ox.ac.uk/archive/z.html
>
> Both are accessible as I write this; the second (UK) site seems
> to be particularly good.
>
> Mark recommended this book to me:
> The Way of Z: Practical Programming with Formal Methods, Jonathan Jacky.
> Cambridge University Press, 1997.
>
> The book has a web site: http://staff.washington.edu/~jon/z-book/
>
I also found those sites with the exact same Google spec :-) but the book
reference was what I was really looking for. Are you considering the
original Z or are you thinking of Object Z which I also found references to
and which looks to be closer to what we might want to do.
Regards
Jonathan
