wanted-for-TeXMacros-of-Z

Thread View: comp.specification

2 messages

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

2 total messages Started by Haruhiko Kaiya Sun, 14 Apr 1991 07:59

#363

Author: Haruhiko Kaiya
Date: Sun, 14 Apr 1991 07:59

14 lines
931 bytes

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

Re: wanted-for-TeXMacros-of-Z

#365

Author: Haruhiko Kaiya
Date: Mon, 15 Apr 1991 08:00

29 lines
1729 bytes

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

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