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