[comp.specification] wanted-for-TeXMacros-of-Z

kaiya@cs.titech.ac.jp (Haruhiko Kaiya) (04/14/91)

Our group in Tokyo-Institue-of-Technology study software-specification
, software process and empirical study of software development.

We (do or will) use specification languages: LOTOS, VDM and Z.

The notation of LOTOS and VDM is simple for TeX or LaTeX
documentation, but Z notation is quite complex.

So, I want to get TeX-Macro for Z notation.
Does someone know it?

					kaiya@cs.titech.ac.jp
					Japan
						Tokyo

kaiya@cs.titech.ac.jp (Haruhiko Kaiya) (04/15/91)

Thanks for mail from:

     04/14  3783 nishio@kuis.kyoto  Re: wanted-for-TeXMacros-of-Z<<Reference -
     04/15  2583 neville@cosc.cant  LaTex Z macros<<Here are some Latex macros
     04/15   731 anthony@citrus.ci  TeXmacros for Z<<The University of Queensl
     04/15  1116 brendan@cs.uq.oz.  Re: wanted-for-TeXMacros-of-Z<<Mike Spivey
     04/15  1326 pjm@pandanus.ntu.  Z tex macros.<<Dear kaiya, You probably ha
     04/15  1555 king@cs.uq.oz.au   Re: wanted-for-TeXMacros-of-Z<<In comp.spe

<neville@cosc.cant> sent me "oz.sty" and its example.
This macros was made by <king@cs.uq.oz.au>, he advised me in his mail.

<anthony@citrus.ci> 
and <nishio@kuis.kyoto> in japan told me usefull information.

<brendan@cs.uq.oz.au> introduced me  "fuzz",
that is a commercial product and costs a couple of hundred pounds.

<pjm@pandanus.ntu.edu.au (Phil Maker)> told me
two macroses

	* Mike Spiveys macros for plain Z
	* Paul King macros for object oriented Z (oz.sty)

I will study software-engineering with this macros!!
Thanks
					kaiya@cs.titech.ac.jp
					Japan Tokyo