chengb@cpswh.cps.msu.edu (Betty Cheng) (01/01/91)
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
bowen@prg.ox.ac.uk (Jonathan Bowen) (01/04/91)
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.