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