Support Tools for Z?

Thread View: comp.specification

2 messages

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

2 total messages Started by Betty Cheng Mon, 31 Dec 1990 23:51

#307

Author: Betty Cheng
Date: Mon, 31 Dec 1990 23:51

10 lines
747 bytes

Are there existing support tools for using Z? 
If so, have there been any projects that used the support tools?

thanks,

Betty Cheng

Michigan State University
Computer Science Department
chengb@cpswh.cps.msu.edu

Re: Support Tools for Z?

#310

Author: Jonathan Bowen
Date: Thu, 03 Jan 1991 17:09

31 lines
1643 bytes

In article <1990Dec31.235106.16021@msuinfo.cl.msu.edu>
 chengb@pleiades.cps.msu.edu (Betty Cheng) writes:
>Are there existing support tools for using Z? 
>If so, have there been any projects that used the support tools?

The following reference includes a list of Z-related tools on pp255-257:

@proceedings{Z:Z90,
  editor = {John E. Nicholls},
  title = {{Z} User Workshop, Oxford 1989},
  publisher = {Springer-Verlag},
  address = {Oxford, UK},
  series = {Workshops in Computing},
  length = {288},
  year = {1990},
  keywords = {ZBIB.},
  isbn = {3-540-19627-7},
  price = {\pounds24.00 soft cover (BCS members \pounds19.00)},
  annote = {Proc.\ Fourth Annual Z User Meeting,
    15 December 1989, Oxford, UK.
    Published in collaboration with the British Computer Society.}
}

This year's proceedings, to be published later in 1991, will include
information about more recent tools, in particular on CADiZ, a UNIX
troff based tool from York University, UK, and the zedB tool at BP
Research, UK.

--
Jonathan Bowen, <Jonathan.Bowen@prg.oxford.ac.uk>
Oxford University Computing Laboratory.

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