Newsgroups: fj.archives.answers,fj.lang.misc
Path: galaxy.trc.rwcp.or.jp!coconuts.jaist!wnoc-tyo-news!infoweb-news!news.tokyo.infoweb.or.jp!fgwnews!fdmnews!flabnews!sutra!ugai
From: ugai@syslab.iias.flab.fujitsu.co.jp (Takanori Ugai)
Subject: comp.specification.z Frequently Asked Questions (Monthly)
Message-ID: <UGAI.95Sep5114841@indigo.syslab.iias.flab.fujitsu.co.jp>
Followup-To: fj.lang.misc
Lines: 497
Sender: usenet@iias.flab.fujitsu.co.jp
Nntp-Posting-Host: indigo.syslab.iias.flab.fujitsu.co.jp
Reply-To: ugai@iias.flab.fujitsu.co.jp
Organization: FUJITSU LABORATORIES, IIAS, Japan
Date: Tue, 5 Sep 1995 02:48:41 GMT
Xref: galaxy.trc.rwcp.or.jp fj.archives.answers:463 fj.lang.misc:1001
X-originally-archived-at: http://galaxy.rwcp.or.jp/text/cgi-bin/newsarticle2?ng=fj.lang.misc&nb=1001&hd=a
X-reformat-date: Mon, 18 Oct 2004 15:18:22 +0900
X-reformat-comment: Tabs were expanded into 4 column tabstops by the Galaxy's archiver. See http://katsu.watanabe.name/ancientfj/galaxy-format.html for more info.


Z $B$N%"!<%+%$%V$N%3%T!<$rCV$$$F$"$k>l=j$,JQ99$K$J$j$^$7$?(B.
$B$4Cm0U$/$@$5$$(B.

Summary: Information about the Z formal specification notation
Archive-name: z-faq.japanese
Last-modified: 27 July 1995
Maintainer: Jonathan Bowen <bowen@comlab.ox.ac.uk>
URL: file://ftp.comlab.ox.ac.uk/pub/Zforum/faq
Tranlated by : Takanori Ugai <ugai@iias.flab.fujitsu.co.jp>

NAME:     comp.specification.z
STATUS:   unmoderated
$BL\E*(B: $B7A<0E*;EMM5-=R8@8l(B Z $B$K$+$s$9$kOCBj(B

$B@h7n$+$iJQ99$N$"$C$?ItJ,$O(B,$B9THx$K(B | $B$,$"$j$^$9!%(B

Note: 1995 $BG/(B 4 $B7n$+$i(B UK $B$NEEOCHV9f$N@hF,$K(B "1" $B$,$D$/$h$&$K$J$j$^$7$?(B.

$BLu<TCm(B : $BF|K\8lHG$G$bD>$7$?$D$b$j$G$9$,(B, $B4V0c$$$,$"$j$^$7$?$i(B,
ugai@iias.flab.fujitsu.co.jp $B$K$*CN$i$;2<$5$$(B.

$B@_Ld$O9TF,$+$i(B "Subject:" $B$G;O$^$k$h$&$K$J$C$F$$$^$9(B.  $B$3$N(B ($B%*%j%8%J(B
$B%k$N(B) FAQ $B$O(B World Wide Web (WWW) $B$G%*%s%i%$%s$GMxMQ$9$k$3$H$b2DG=$G(B
$B$9!%(Bhttp://www.cis.ohio-state.edu/hypertext/faq/usenet/zfaq/faq.html 
$B$,FI$_$d$9$$$h$&$KJ,3d$7$F$"$j$^$9!%(B

$BLu<TCm(B : $B$3$NF|K\8lLu(BFAQ $B$b(B
http://saeki-www.cs.titech.ac.jp/~ugai/Z/z-faq.html
$B$GMxMQ2DG=$G$9(B. $B$J$*(B,
http://saeki-www.cs.titech.ac.jp/~ugai/FDT-j.html
$B$GF|K\9qFb$N(BFDT$B$K4X$9$k8&5f$K$D$$$F>pJs$r=8$a$F$$$^$9(B.
$B>pJsDs6!$K$46(NO2<$5$$(B.


Subject: $B$J$K(B,$B$=$l$O(B?

Z ("zed" $B$HH/2;$7$^$9(B) $B$O=89g$H0l3,=R8lO@M}$K4pAC$rCV$/7A<0;EMM5-=R8@(B
$B8l$G$9(B. $B$3$l$O(B Oxford University Computing Laboratory (OUCL) $B$N(B 
Programming Research Group $B$d$=$NB>$G(B 1970 $BG/Be8eH>$K3+H/$5$l$^$7$?(B.
$B8=:_$G$O(B, UK, US $B$d$=$NB>$NCO0h$G$G%=%U%H%&%'%"(B ($B$H%O!<%I%&%'%"(B) $B3+H/(B
$B$N0lIt$H$7$F;:6H3&$G;H$o$l$F$$$^$9(B.  $B8=:_(B, $B9q:]E*$K(B ISO $B$GI8=`2=$r9T$J(B
$B$C$F$$$^$9(B.

USENET $B$N%K%e!<%9%0%k!<%W$G$"$k(B comp.specification.z $B$O(B 1991 $BG/(B 6 $B7n$K(B
$B3+@_$5$l(B,Z $B$K4X$9$kOCBj$r07$C$F$$$^$9(B.  $B@$3&Cf$G(B 30,000 $B?MDx$,FI$s$G(B
$B$$$k$H8+@Q$b$i$l$F$$$^$9(B.comp.sprcification.z $B$O(B Z $B$K4X$7$F$N:G6a$N8&(B
$B5f$d;H$$J}$K4X$9$k5DO@$N$?$a$N>l$rDs6!$7$F$$$^$9(B.$B?7$7$$K\$dO@J8$N>R2p(B
$B$O(B,$B$H$/$K4?7^$7(B,$B$3$3$G>R2p$5$l$?$b$N$O(B ($B$"$H$G=R$Y$k(B) Z $BJ88%%j%9%H$K(B
$B:\$;$i$l$^$9(B.

Subject: USENET news $B$K%"%/%;%9$G$-$J$$?M$O$I$&$9$l$P$$$$$N(B?

Z FORUM $B%a!<%j%s%0%j%9%H$,$"$j$^$9(B.1986 $BG/(B 1 $B7n$K(B Ruaridh Macdonald,
RSRE, UK. $B$K$h$C$F3+@_$5$l$^$7$?(B.$B5-;v$O8=:_(B comp.specification.z $B$H(B 
USENET $B$K%"%/%;%9$G$-$J$$?M$N$?$a$N%a!<%j%s%0%j%9%H$NN>J}$K<+F0E*$KEj(B
$B9F$5$l$k$h$&$K$J$C$F$$$^$9(B.$B$3$l$O(B,$B$H$/$K<BL3$G$N(B Z $B%f!<%6$K5DO@$K;2(B
$B2C$7(B,$B$=$N7P83$rEj9F$7$F$b$i$&$3$H$r?d>)$9$k$?$a$N$b$N$G$9(B.$B%a!<%j%s%0(B
$B%j%9%H$K;22C$9$k$?$a$K$O(B,$BL>A0(B,$B=;=j(B,$BEE;R%a!<%k%"%I%l%9$r(B
<zforum-request@comlab.ox.ac.uk> $B$X$*CN$i$;2<$5$$(B.($BEE;R%a!<%k%"%I%l%9(B
$B$,JQ$o$C$?$H$-$d:o=|$7$F$b$i$$$?$$$H$-$b$3$3$K$*CN$i$;2<$5$$(B.) $BFI$_<j(B
$B$NJ}$O2DG=$J$i(B, Z FORUM $B%a!<%j%s%0%j%9%H$h$j$b(B comp.specification.z 
$B$rFI$`$h$&$K$7$F$/$@$5$$(B.  Z FORUM $B%a!<%j%s%0%j%9%H$H(B 
comp.specification.z $B$N%K%e!<%9%0%k!<%W$X$NDs0F$N%a%C%;!<%8$O$I$A$i$b(B
<zforum@comlab.ox.ac.uk>$B$KAw$C$F$/$@$5$$(B.  comp.specification.z $B$KEj9F(B
$B$5$l$?5-;v$N$9$Y$F$,(B PRG $B$KFO$/$o$1$G$O$J$$$N$G(B,$B2q5D$N%"%J%&%s%9$N$h(B
$B$&$J=EMW$J5-;v$K4X$7$F$O(B,$BFC$K$3$N$h$&$JJ}K!$GEj9F$9$k$N$,NI$$$G$7$g(B
$B$&(B.
  Z User Meeting $B$N650iLdBjJ,2J2q(B $B$N%a!<%j%s%0%j%9%H$,(B Neville Dean,
Anglia Polytechnic University, UK $B$K$h$C$FN)$A>e$2$i$l$F$$$^$9!%(B $B6=L#(B
$B$N$"$k?M$O(B<zugeis-request@comlab.ox.ac.uk> $B$K%a!<%k$rAw$C$F>\$7$$$3$H(B
$B$rJ9$$$F;22C$7$F2<$5$$!%(B
  $B9=B$2=K!(B SSASM $B$H(B Z $B$NAH9g$;$G$"$k(B SAZ $B$K$D$$$FOC$79g$&%a!<%j%s%0%j(B
$B%9%H$b$"$j$^$7$?(B. $B$7$+$7(B, $B8=:_Dd;_$7$F$$$^$9(B.


Subject: $BEE;R%a!<%k$K%"%/%;%9$G$-$J$$?M$O(B?

$BM9JX$G(B Z $B$N%a!<%j%s%0%j%9%H$K;22C$7$?$$?M$O(B,Amanda Kingscote, Praxis
plc, 20 Manvers Street, Bath BA1 1PX, UK (tel +44-1225-444700, fax
+44-1225-465205, email <ark@praxis.co.uk>) $B$K=;=j$rAw$C$F2<$5$$!%$3$&(B
$B$9$k$3$H$K$h$C$FEE;R%a!<%k$K%"%/%;%9$G$-$J$$?M$N$?$a$N(B Z $B2q5D$N>\:Y$J(B
$B$I$r<u$1<h$k$3$H$,$G$-$^$9(B.

Subject: $B$I$&$9$l$P;22C$G$-$k$N(B?

$B8=:_$"$J$?$,(B Z $B$r;H$C$F$$$k$J$i$P(B,$B%K%e!<%9%0%k!<%W$d(BZ FORUM $B$N%a!<%j(B
$B%s%0%j%9%H$G<+8J>R2p$r$7$F(B Z $B$K4X$9$k$"$J$?$N;E;v$d$3$3$K$+$+$l$F$$$J(B
$B$$$h$&$J$b$N$G$"$J$?$,9M$($F$$$kLdBj$r=q$$$F2<$5$$(B.Z $B$K4X78$9$k$"$J$?(B
$B$d$*Cg4V$NCx=R$r@kEA$9$k$N$G$b9=$$$^$;$s(B.$B$=$l$i$O(B ($B$"$H$G=R$Y$k(B) OUCL 
$B$G0];}$5$l$F$$$k(B Z $BJ88%%j%9%H$K2C$($i$l$^$9(B.

Subject: Z $B$K4X$9$k%U%!%$%k$O$I$3$K$"$j$^$9$+(B?

World Wide Web (WWW) $B$G$N>pJs$O(B 
http://www.comlab.ox.ac.uk/archive/z.html$B$N%Z!<%8$+$iMxMQ$G$-$^$9!%(B 
http://www.comlab.ox.ac.uk/archive/formal-methods.html $B$K0lHLE*$J%U%)(B
$B!<%^%k%a%=%C%I$N>pJs$,$"$j$^$9!%(B WWW $B$N%O%$%Q!<%F%-%9%H$N%7%9%F%`$O(B, "
netscape", "mosaic" $B$d(B " lynx" $B$J$I$N%W%m%0%i%`$+$iMxMQ2DG=$G$9!%$"$J(B
$B$?$N%7%9%F%`$+$i(BWWW $B$,MxMQ$G$-$J$$>l9g$O%7%9%F%`4IM}<T$KAjCL$7$F$/$@$5(B
$B$$!%(B

$B%"!<%+%$%V$O%$%s%?!<%M%C%H$rDL$7$F(B,anonymous FTP $B$G$bMxMQ2DG=$G$9(B. "
ftp ftp.comlab.ox.ac.uk" ($B$"$k$$$O$&$^$/$$$+$J$1$l$P(B"ftp 163.1.27.2") 
$B$H%3%^%s%I$rF~NO$7$F2<$5$$(B.$B%m%0%$%s(BID $B$H$7$F(B "anonymous"$B%Q%9%o!<%I$H(B
$B$7$F$"$J$?$NEE;R%a!<%k%"%I%l%9$rF~NO$7$F2<$5$$(B."cd /pub/ZForum" $B$HF~(B
$BNO$9$k$3$H$K$h$C$F(B Z $B$N%"!<%+%$%V%G%#%l%/%H%j$K9T$/$3$H$,$G$-$^$9(B. $B0l(B
$BHLE*$J>pJs$O(B ftp.comlab.ox.ac.uk:/pub/ZFforum/README $B%U%!%$%k$+$i(B,$B%U(B
$B%!%$%k$N0lMw$O(B ftp.comlab.ox.ac.uk:/pub/Zforum/00index $B$+$iF@$k$3$H$,(B
$B$G$-$^$9(B.($B$3$l$i$N%U%!%$%k$O(B,$BNc$($P(B "get README" $B$H$$$&%3%^%s%I$r;H(B
$B$C$F<j$KF~$l$k$3$H$,$G$-$^$9(B.)

$BLu<TCm(B : $BF|K\9qFb$G$O(B
ftp.cs.titech.ac.jp:/wwfs/sa-ftp/pub/z/zforum
$B$K%3%T!<$,$"$j$^$9(B.$B1Q9q$O(B network $BE*$K1s$$$N$G$3$A$i$r$4MxMQ2<$5$$(B.

$B%a!<%k%Y!<%9$N<+F0%"!<%+%$%V%5!<%P$,(B PRG $B$K$"$C$F(B,$B$=$3$K$O(B Z FORUM $B$d(B 
comp.specification.z $B$N2a5n$N@.2L$d5-;v$,$"$j$^$9(B.$B$^$?(B,$BB>$N(B Z $B4XO"$N(B
$B%U%!%$%k$b$$$/$D$+CV$$$F$"$j$^$9(B.$B%5!<%P$N;H$$J}$K$b$C$H>\$7$/CN$j$?$$(B
$B>l9g$O(B<archive-server@comlab.ox.ac.uk> $B$K(B "help" $B$H$$$&%3%^%s%I$r4^$`(B
$B5-;v$rAw$C$F2<$5$$(B. "index z" $B$H$$$&%3%^%s%I$K$h$C$F(BZ $B4XO"$N%U%!%$%k(B
$B$N%j%9%H$r<u$1<h$k$3$H$,$G$-$^$9(B.email $B$r;H$C$F%U%!%$%k$r<u$1<h$k$?$a(B
$B$K$O(B "send z <file1> <file2> ..."  $B$H$$$&%3%^%s%I$r4^$`5-;v$r(B 
<archive-server@comlab.ox.ac.uk> $B$KAw$C$F$/$@$5$$(B.  $B%"!<%+%$%V%5!<%P$K(B
$BIU$$$F2?$+LdBj$,$"$C$?$i(B,<archive-management@comlab.ox.ac.uk> $B$KO"Mm(B
$B$r2<$5$$(B.

Subject: $B$I$N$h$&$J%D!<%k$,MxMQ$G$-$^$9$+(B?

Z $B$G$N%U%)!<%^%C%H(B,$B7?%A%'%C%/$d>ZL@$r=u$1$F$/$l$k$h$&$J%D!<%k$,$$$/$D(B
$B$+$"$j$^$9(B.$B%U%j!<$N(B LaTeX $B$N%9%?%$%k%U%!%$%k$dJ8=q$,(B PRG $B$N%"!<%+%$%V(B
$B%5!<%P$+$i<j$KF~$l$k$3$H$,$G$-$^$9(B.
ftp://ftp.comlab.ox.ac.uk/pub/Zforum/zed.sty $B$H(B
ftp://ftp.comlab.ox.ac.uk/pub/Zforum/zguide.tex $B$H$$$&%U%!%$%k$K%"%/%;(B
$B%9$7$F$/$@$5$$(B. $BF1$8>l=j$+$i(B "csp_zed.sty" $B$H$$$&$h$j?7$7$$%9%?%$%k%U(B
$B%!%$%k$,F~<j2DG=$G$9(B. $B$3$l$O$"$?$i$7$$%U%)%s%H$NA*BrJ}K!$r;H$C$F$$$F(B
CSP $B$H(B Z $B$N%7%s%\%k$r;H$($k$h$&$K$J$C$F$$$^$9(B. Object-Z $B$K$D$$$F$O(B"
oz.sty", $B$=$N%,%$%I$H$7$F(B "oz.tex" $B$,MxMQ2DG=$G$9(B. LaTeX2e $B$N%f!<%6$O(B,
"zed-csp.sty" $B$H(B "zed2e.tex" $B$,MxMQ$G$-$^$9(B.

$BJ8K!$d7?$N%A%'%C%+$d(B LaTeX $B$N%9%?%$%k%U%!%$%k$d%U%)%s%H$J$I$N%Q%C%1!<(B
$B%8$G$"$k(Bfuzz $B$O(BSpivey Partnership, 10 Warneford Road, Oxford OX4 1LU,
UK$B$+$i<j$KF~$l$k$3$H$,$G$-$^$9(B.$B$3$l$O(B, Spivey $B$N(B Z $B$N%j%U%!%l%s%9%^(B
$B%K%e%"%k$NBh(B2$BHG$K=`5r$9$k$b$N$G$9(B.
ftp://ftp.comlab.ox.ac.uk/pub/Zforum/fuzz $B$+$i>\$7$$>pJs$H%*!<%@!<%U%)!<%`(B
$B$r<j$KF~$l$k$3$H$,$G$-$^$9(B.$B$h$j>\$7$$$3$H$O(B Mike Spivey
<mike@comlab.oxford.ac.uk> $B$HO"Mm$r<h$C$F$/$@$5$$(B.

CADiZ $B$O(B Z $B$N;EMM$N%A%'%C%/$d%?%$%W%;%C%F%#%s%0$N$?$a$N(B Unix $B%Y!<%9$N(B
$B%D!<%k=8$G$9(B.  CADiZ $B$G$O;EMM$rBPOCE*$KD4$Y$?$j(B, $B8+$?$j$9$k$3$H$,$G$-(B
$B$^$9(B.  York Software Engineering, University of York, York YO1 5DD, UK
(tel +44-1904-433741, fax +44-1904-433744) $B$+$i<j$KF~$l$k$3$H$,$G$-$^(B
$B$9(B.  CADiZ $B$O(B Z Base Standard (Version 1.0) $B$r4pK\$K%5%]!<%H$r9T$J$$$^(B
$B$9(B.  $B$"$k;EMM$rJL$NJ8=q$K<h$j9~$s$@$j(B, $B$=$NJ8=q$HF1MM$N?t3XE*%D!<%k$r(B
$B<h$j9~$s$@$j$9$k3HD%$r9T$J$C$F$$$^$9!%%?%$%W%;%C%F%#%s%0$O(B, troff $B$H(B 
LaTeX $B$,MxMQ2DG=$G$9(B. $B%V%i%&%8%s%0A`:n$G$O(B,$B%?%$%W%A%'%C%+!<$G?dO@$7$?(B
$B>pJs(B ($B<0$N7?(B, $BJQ?t$N;HMQ(B) $B$d%9%-!<%`$NE83+(B, pre-, post- $B>r7o$N7W;;(B,
one-point rule $B$K$h$k4JC12=$rI=<($9$k$3$H$b2DG=$G$9(B.  $B8=:_(B, Z $B$N;EMM$r(B
$B%W%m%0%i%`3+H/K!$d>ZL@$NAH9g$;$G(B Ada $B$N%W%m%0%i%`$X$N%j%U%!%$%a%s%H$r(B
$B9T$J$&$3$H$r;Y1g$7$h$&$H$7$F$$$^$9(B.  $B>\$7$$$3$H$O(B York $B$N(B David Jordan
<yse@minster.york.ac.uk> $B$HO"Mm$r<h$C$F2<$5$$(B.

ProofPower $B$O9b3,O@M}(B (HOL) $B$d(B Z $B$G$N;EMM5-=R$d>ZL@$N;Y1g$r9T$J$C$F$/(B
$B$l$k%D!<%k=8$G$9(B. ProofPower-Z $B$NC;4|%3!<%9$,MW5a$,$"$l$P<u$1$i$l$^(B
$B$9(B.<ProofPower-server@win.icl.co.uk> $B$K%a!<%k$rAw$l$P(B ProofPower $B$K4X(B
$B$9$k>pJs$,<+F0E*$KAw$i$l$FMh$^$9(B.  $B$5$i$K>\$7$$$3$H$rCN$j$?$1$l$P(B,
R.B. Jones, International Computers Ltd, Eskdale Road, Winnersh,
Wokingham, BERKS RG11 5TT, UK (tel +44-1734-693131 ext 6536, fax
+44-1734-697636, email <rbj@win.icl.co.uk> ) $B$HO"Mm$r<h$C$F2<$5$$(B.

Zola $B$O(B Z $B$K$h$k;EMM$N:n@.$H%?%$%W%;%C%F%#%s%0$r;Y1g$7$F$/$l$k%D!<%k$G(B
$B$"$j(B,$B7?%A%'%C%+$H(B Tactical Proof System $B$r;}$C$F$$$^$9(B.$B$3$l$O>&6HE*(B
$B$KHNGd$5$l$F$$$F(B,$B650i5!4X$N%f!<%6$K$O(B,$BFCJL$J3d0z$r9T$J$C$F$$$^$9(B.$B$5(B
$B$i$K>\$7$$$3$H$rCN$j$?$1$l$P(B,K. Ashoo, Imperial Software Technology,
62-74 Burleigh Street, Cambridge CB1 1DJ, UK (tel +44-1223-462400, fax
+44-1223-462500, email <ka@ist.co.uk>) $B$HO"Mm$r<h$C$F2<$5$$(B.

  ZTC $B$3$l$O650iL\E*$N>l9g$HHs1DMxMxMQ$N>l9g$N$_L5NA$GMxMQ2DG=$J(BZ $B$N7?(B 
$B%A%'%C%+$G$9(B. $B$3$l$O(B Spivery $B$N(B Z Reference Manual $B$NBh(B2$BHG$K=`5r$7$F$$(B
$B$^$9(B. zed $B$d(B oz $B$N(B LaTeX $B$N%9%?%$%k$H(B Z $B$N(B ASCII $BHG$N(B ZSL $B$r<u$1IU$1$k(B
$B$h$&$K$J$C$F$$$^$9(B.  ZANS $B$O(B Z$B$N%"%K%a!<%?$G$9(B. $B$3$l$O$^$?Hs>o$KAFLn$J(B
$B:n$j$G(B, $B8&5fCJ3,$N;n:nIJ$G$9(B. ZTC $B$H(B ZANS $B$NN>J}$H$b(B Linux, SunOS 4.x,
Solaris 2.x, HP-UX 9.0, Dos $B$H(B extended DOS $B$GF0:n$7$^$9(B. $B$3$l$i$O(B
ftp://ise.cs.depaul.edu/pub/$B$N(B ZANS-x.xx $B$H(B ZTC-x.xx $B$G(Bx.xx $B$K$O%P!<%8(B
$B%g%sHV9f$,F~$j$^$9(B. $B>\:Y$K$D$$$F$O(B Xiaoping Jia <jia@cs.depaul.edu> $B$H(B
$BO"Mm$r<h$C$F$/$@$5$$(B.

Formaliser $B$OJ8K!;X8~$N(B WYSIWYG $B$N(BZ $B$N%(%G%#%?$G7?%A%'%C%/$r9T$J$&$3$H(B
$B$,$G$-$F(BMicrosoft Windows $B$GF0$-$^$9(B.$B$3$l$O(B Logiza Cambridge $B$+$iF~<j(B
$B2DG=$G$9(B.$B>\$7$$$3$H$O(B,Susan Stepney, Logica Cambridge Limited,
Betjeman House, 104 Hills Road, Cambridge CB2 1LQ, UK (tel
+44-1223-66343, email <susan@logcam.co.uk>) $B$HO"Mm$r<h$C$F$/$@$5$$(B.

  DST-fuzz $B$O(B Mike Spivey $B$K$h$k(B fuzz $B$N%Q%C%1!<%8$r$b$H$K$7$?%D!<%k%;(B
$B%C%H$G!$(BMotif $B%Y!<%9$N%f!<%6%$%s%?!<%U%'%$%9$G(B LaTeX $B$N%W%j%F%#%W%j%s(B
$B%H(B, $BJ8K!$H7?$N%A%'%C%/$r9T$$$^$9!%(B CASE $B%D!<%k%$%s%?!<%U%'%$%9$K$h$C$F(B
Z$B$N%"%W%j%1!<%7%g%s$H9=B$2=;EMM$H$r$D$J$2$k$3$H$,$G$-$^$9!%$3$l$i$N%D(B
$B!<%k$O(B SoftBench $B$G3+H/$5$l$F$$$^$9!%>\$7$$$3$H$O(BHans-Martin Hoercher,
DST Deutsche System-Techik GmbH, Edisonstr. 3, D-24145 Kiel, Germany
(tel +49-431-7109-478, fax +49-431-7109-503, email
<hmh@informatik.uni-kiel.d400.de>) $B$HO"Mm$r$H$C$F$/$@$5$$!%(B

B-Tool $B$O(B Z $B$K$h$k;EMM$NItJ,ItJ,$N4X78$N>ZL@$K%A%'%C%/$K;H$o$l$^$9(B.$B$3(B
$B$l$O(B,Edinburgh Portable Compilers Ltd, 17 Alva Street, Edinburgh EH2
4PH, UK (tel +44-131-225-6262, fax +44-131-225-6644) $B$K$h$C$F%i%$%;%s(B
$B%9$5$l$F$$$^$9(B.$B99$K>\$7$/CN$j$?$$$+$?$O(B,<support@epc.ed.ac.uk> $B$NG[(B
$BI[@UG$<T$KO"Mm$r<h$C$F2<$5$$(B.

B-Toolkit $B$O7A<0E*3+H/K!(B B-Method$B$rA4$F%5%]!<%H$9$k%D!<%k$N=8$^$j$G$9(B.
B-Core (UK) Limited, Magdalen Centre, The Oxfor Science Park, Oxford OX4
4GA, UK. $B$+$iF~<j2DG=$G$9(B.$B99$K>\:Y$K$D$$$FCN$j$?$$?M$O(B, Ib Sorensen (tel
+44-1865-784520, fax +44-1865-784518, email <Ib.Sorensen@comlab.ox.ac.uk>) 
$B$HO"Mm$r<h$C$F$/$@$5$$(B.

MS Windows $B$H(B Machintosh $B$N$?$a$N(B Z $B$N%U%)%s%H$,MxMQ2DG=$G$9(B.  $B$3$l$i(B
$B$H(B Z $B$N%D!<%k$N%j%=!<%9$X$N%O%$%Q!<%j%s%/$K4X$7$F$O(B,
http://www.comlab.ox.ac.uk/archive/z.html#tools $B$N%Z!<%8$r;2>H$7$F$/$@(B
$B$5$$(B.

Z $B$N%D!<%k$K4X$9$k%5!<%Y%$$O(B Colin Parker,Systems Process Department,
W376C, British Aerospace, Warton Aerodrome, Warton, Preston PR4 1AX,
UK $B$K$h$C$F(B 1991 $BG/$K:n@.$5$l$?$b$N$,$"$j$^$9(B.

Subject: $B$I$&$d$C$F(B Z $B$K$D$$$F3X$Y$P$h$$$G$9$+(B?

$B<BL3(B,$B650i5!4X$G(B Z $B$K4X$9$kB?$/$N9V:B$,$"$j$^$9(B.Oxford University $B$G(B
$B$O(B Z $B$r$D$+$C$F<BL3E*$JC;$$9V:B$rDs6!$7$F$$$^$9(B.$BF3F~E*$J9V:B$N$[$+$K(B
$B:G6a$N$b$N$G$O(B,$B>ZL@$d%j%U%!%$%s%a%s%H(B,B $B%D!<%kEy$K4X$9$k(B Z $B$K4p$E$/(B
$B9bEY$J9V:B$b9T$J$C$F$$$^$9(B.$B9V:B$O(B Oxford $B$d4uK>$,$"$l$P$=$l0J30$N4k6H(B
$B$G$b9T$J$$$^$9(B.$B$5$i$K>\$7$$$3$H$rCN$j$?$$?M$O(B,Jim Woodcock
<Jim.Woodcock@comlab.ox.ac.uk> (tel +44-1865-283514, fax
+44-1865-273839) $B$HO"Mm$r<h$C$F2<$5$$(B.

Logica $B$O;d4k6H$KBP$7$F(B Z $B$K$+$s$7$F(B 5 $BF|4V$N9V:B$rDs6!$7$F$$$^$9(B.
Logica Cambridge Limited, Betjeman House, 104 Hills Road, Cambridge
CB2 1LQ, UK. $B$N(BRosalind Barden (tel +44-1223-66343 ext 4859, fax
+44-1223-322315, email <rosalind@logcam.co.uk>) $B$KLd$$9g$o$;$F2<$5$$(B.

Praxis Systems $B$O$$$/$D$+$N(B Z $B$N9V:B$rDs6!$7$F$$$^$9(B.$B>\$7$/$O(B Anthony
Hall +44-1225-444700 $B$^$?$O(B <jah@praxis.co.uk> $B$K$*Ld$$9g$o$;2<$5$$(B.

Formal Systems (Europe) Ltd $B$,(B Z,CSP $B$d$=$NB>$N7A<0E*<jK!$N9V:B$r4pK\(B
$BE*$K$O(B US $B$G(B Jim Wookcock $B$d(B Bill Roscoe ($BN>J}$H$b(B PRG $B$N9V;U(B) $B$N$h$&(B
$B$J9V;U$G9T$J$C$F$$$^$9(B.$B;~4|$dCMCJ$K4X$7$F$O(B, Formal Systems (Europe)
Limited, 3 Alfred Street, Oxford OX1 4EH, UK. $B$N(B Kate Pearson (tel
+44-1865-728460, fax +44-1865-201114)$B$HO"Mm$r$H$C$F$/$@$5$$(B.

  DST Deutsche System-Technik $B$O(B Z $B$H(B CSP $B$N%3!<%9$r3+@_$7$F$$$^$9!%$*(B
$B$b$K%I%$%D8l$G9T$o$l$^$9!%$3$l$i$N%3!<%9$O7A<0E*<jK!$H(B Z $B$NF~LgE*$JH>(B
$BF|$+$i(B1 $B=54V$N>e5i<T%3!<%9$^$G$"$j$^$9!%(BDST $B$dB>$N>l=j$G$b9T$J$o$l$^(B
$B$9(B.  $B>\$7$$$3$H$O(BHans-Martin Hoercher, DST Deutsche System-Techik
GmbH, Edisonstr. 3, D-24145 Kiel, Germany (tel +49-(0)431-7109-478,
fax +49-(0)431-7109-503, email <hmh@informatik.uni-kiel.d400.de>)$B$HO"(B
$BMm$r$H$C$F$/$@$5$$!%(B

Subject: Z $B$K$D$$$F4)9T$5$l$?$b$N$O$"$j$^$9$+(B?

$B%*%s%i%$%s$N(BZ$B$N;29MJ88%=8$O(B, World-Wide Web $B$N(B
http://www.comlab.ox.ac.uk/archive/z/bib.html $B$G(B BibTex $B$N7A<0$G8!:w$9(B
$B$k;v$,$G$-$^$9(B. WWW $B$rMxMQ$G$-$J$$?M$N$?$a$K$d$d8E$$$b$N$,05=L$5$l$F(B
PRG $B$N%"!<%+%$%V%5!<%P$N(B ftp.comlab.ox.ac.uk:/pub/Zforum/z.bib.Z
(ftp.comlab.ox.ac.uk:/pub/Zforum/z.ps.Z $B$K(B PostScript $B7A<0(B) $B$+$i<j$KF~(B
$B$l$k$3$H$,$G$-$^$9(B. Oxfort University Programming Research Group (PRG) 
$B$N(B Technical Monographs$B$d(B Report $B$rHk=q(B (tel +44-1865-273837, fax
+44-1865-273839, email <library@comlab.ox.ac.uk>) $B$+$i<j$KF~$l$k$3$H$,(B
$B$G$-$^$9(B.

1993 $BG/(B 3 $B7n$K(B S.Austin $B$H(B G.I.Parkin $B$K$h$C$F=q$+$l$?(B "Formal
Methods: A Survey" $B$O<BL3$d650i5!4X$G$N(B Z $B$N;H$$J}$H65$($+$?$,$+$$$F$"(B
$B$j$^$9(B.$B%3%T!<$K4X$7$F$O(B DITC Office, Formal Methods Survey, National
Laboratory, Teddington, Middlesex TW11 0LW, UK (tel +44-181-943-7002,
fax +44-181-977-7091) $B$HO"Mm$r<h$C$F2<$5$$(B.

$B0J2<$NK\$O<g$K(B Z $B$K4X$9$k$b$N$G(B,$B=PHG$5$l$?(B,$B$"$k$$$O=PHG$5$l$k(B
$BM=Dj$N$b$N$G$9(B.($B$[$\G/Be=g(B)

  I.Hayes (ed.), Specification Case Studies, Prentice Hall International
      Series in Computer Science, 1987. (2nd ed., 1993)
  J.M.Spivey, Understanding Z: A specification language and its formal
      semantics, Cambridge University Press, 1988.
  D.Ince, An Introduction to Discrete Mathematics, Formal System
      Specification and Z, Oxford University Press, 1988. (2nd ed., 1993)
  J.C.P.Woodcock & M.Loomes, Software Engineering Mathematics: Formal
      Methods Demystified, Pitman, 1998. (Also Addision-Wesley, 1989)
  J.M.Spivey, The Z Notation: A reference manual, Prentice Hall
      International Series in Computer Science, 1989. (2nd ed., 1992)
      [Widely used as a de facto standard for Z. Often known as ZRM2.]
  A.Diller, Z: An introduction to formal methods, Wiley, 1990.
  J.E.Nicholls (ed.), Z user workshop, Oxford 1989, Springer-Verlag,
      Workshops in Computing, 1990.
  B.Potter, J.Sinclair & D.Till, An Introduction to Formal Specification
      and Z, Prentice Hall International Series in Computer Science, 1991.
      ($BLuK\(B : $B%=%U%H%&%'%";EMM5-=R$N@h?J5;K!(B - Z $B8@8l(B,$B%H%C%Q%s(B)
  D.Lightfoot, Formal Specification using Z, MacMillan, 1991.
  A.Norcliffe & G.Slater, Mathematics for Software Construction,
      Ellis Horwood, 1991.
  J.E.Nicholls (ed.), Z User Workshop, Oxford 1990, Springer-Verlag,
      Workshops in Computing, 1991.
  I.Craig, The Formal Specification of Advanced AI Architectures,
      Ellis Horwood, 1991.
  M.Imperato, An Introduction to Z, Chartwell-Bratt, 1991.
  J.B.Wordsworth, Software Development with Z, Addison-Wesley, 1992.
  S.Stepney, R.Barden & D.Cooper (eds.), Object Orientation in Z,
      Springer-Verlag, Workshops in Computing, August 1992.
  J.E.Nicholls (ed.), Z User Workshop, York 1991, Springer-Verlag,
      Workshops in Computing, 1992.
  D.Edmond, Information Modeling: Specification and implementation,
      Prentice Hall, 1992.
  J.P.Bowen & J.E.Nicholls (eds.), Z User Workshop, London 1992,
      Springer-Verlag, Workshops in Computing, 1993.
  S.Stepney, High Integrity Compilation: A case study, Prentice Hall, 1993.
  M.McMorran & S.Powell, Z Guide for Beginners, Blackwell Scientific, 1993.
  K.C.Lano & H.Haughton (eds.), Object-oriented Specification Case Studies,
      Prentice Hall International Object-Oriented Series, 1993.
  B.Ratcliff, Introducing Specification using Z: A practical case study
      approach, McGraw-Hill, 1994.
  A.Diller, Z: An introduction to formal methods, 2nd ed., Wiley, 1994.
  J.P.Bowen & J.A.Hall (eds.), Z User Workshop, Cambridge 1994,
      Springer-Verlag, Workshops in Computing, 1994.
  R.Barden, S.Stepney & D.Cooper, Z in Practice, Prentice Hall
      BCS Practitioner Series, 1994.
  D.Rann, J.Turner & J.Whitworth, Z: A beginner's guide. Chapman & Hall, 1994.
  D.Heath, D.Allum & L.Dunckley, Introductory Logic and Formal Methods.
      A.Waller, Henley-on-Thames, 1994.
  L.Bottaci and J.Jones, Formal Specification using Z: A modelling approach.
      International Thomson Publishing, 1995.
  D.Sheppard, An Introduction to Formal Specification with Z and VDM.
      McGraw Hill International Series in Software Engineering, 1995.
Announced:
  J.P.Bowen & M.G.Hinchey (eds.), ZUM'95 - 9th International Conference
      of Z Users, Springer-Verlag, Lecture Notes in Computer Science,
      September 1995.
  J.P.Bowen, Formal Specification and Documentation using Z: A Case Study    |
      Approach, International Thomson Publishing, October 1995.              |
  J.C.P.Woodcock & J.Davies, Using Z: Specification, proof and refinement,
      Prentice Hall International Series in Computer Science, 1995?
  C.N.Dean and M.G.Hinchey (eds.), Educational Issues of Formal Methods,
      Academic Press, London, March 1996.

$B0J2<$N(B Blackwells Bookshop $B$+$i%*%s%i%$%s$N(B Z $B$NK\$N%j%9%H$r<j$K$$$l$k(B
$B;v$,$G$-$^$9(B.  http://www.blackwell.co.uk/cgi-bin/bb_catsel?09_IBY

Subject: $B%*%V%8%'%/%H;X8~(B Z $B$C$F$J$s$G$9$+(B?

Z $B$N4v$D$+$N%*%V%8%'%/%H;X8~$N3HD%$,Ds0F$5$l$F$$$^$9(B.$B@hDx>R2p$7$?(B "
Object orientation in Z" $B$H$$$&K\$O(B, $B$$$/$D$+$N(BOOZ $B$N@\6a$KIU$$$F=q$+(B
$B$l$?O@J8$r=8$a$?$b$N$G$9(B. Hall, ZERO, MooZ, Object-Z, OOZE,
Schuman&Pitt, Z++, ZEST, Fresco (OO VDM method) $B$J$I$OJ}K!O@$N8&5f<T$K(B
$B$h$C$F<g$K=q$+$l$F$$$F(B,2 $B$D$NF1$8Nc$,<($5$l$F$$$k(B.$BF1$8$/@h$K>R2p$7$?(B "
Object-oriented specification case studies" $B$O%*%V%8%'%/%H;X8~$N7A<0E*(B
$B;EMM5-=R$N4pK\E*$JJ}K!$d8@8l$K$D$$$F$^$H$a$i$l$F$$$F(B, Z $B$K4p$E$$$?$b$N(B
$B$b4^$^$l$F$$$^$9(B.

Subject: $B$I$&$9$l$P(B Z $B$r<B9T$9$k$3$H$,$G$-$^$9$+(B?!

Z $B$O(B ($B0lHL$K<B9T2DG=$G$J$$(B) $B;EMM5-=R8@8l$G$9(B.$B$7$?$,$C$F(B Z $B$K$O%W%m%0(B
$B%i%_%s%08@8l$N$h$&$K%3%s%Q%$%i$d%j%s%+$J$I$N$h$&$J$b$N$O$"$j$^$;$s(B.$B%i(B
$B%T%C%I%W%m%H%?%$%T%s%0$N$?$a$K(B Z $B$N%5%V%;%C%H$rO@M}7?8@8l(B,$B4X?t7?8@8l(B
$B$K$h$C$FF0$+$7$F$$$k$b$N$b$"$j$^$9(B.$B$7$+$7(B,$B$3$l$i$OM=HwE*$J$b$N$G$"$C(B
$B$F(B, $BK\Ev$O(B Z $B$N<g4c$G$O$"$j$^$;$s(B.Z $B$N<g4c$O;EMM2=$5$l$?%7%9%F%`$NM}(B
$B2r@-$r$"$2$k$3$H$H7A<0E*$J?dO@$d3+H/$r2DG=$K$9$k$3$H$K$"$k$N$G$9(B.$B$7$+(B
$B$7$J$,$i(B, Prolog $B$O(B Z $B$N%W%m%H%?%$%W$N$?$a$KM-8z$J8@8l$G$"$k$H9M$($i(B
$B$l(B,$B@hDxNs5s$7$?J88%$N$J$+$G$b$$$/$D$+8+$k$3$H$,$G$-$^$9(B.

Subject: $BB>$N(B `Z' $B$N?M!9$O2?=h$K$$$k$N$G$7$g$&$+(B?

$BBh(B8$B2s$N(B Z User Meeting (ZUM'95) $B$,(B 1994 $BG/(B 6 $B7n(B 29-30 $BF|$K(B St. John's
College, University of Cambridge, UK $B$G(B BCS FACS $B$N6(;?$G9T$J$o$l$^$7(B
$B$?(B.  $BBh(B9$B2s(B Z User Meeting $B$O(B 1995 $BG/(B 9 $B7n(B 7-8 $BF|$K(BLimerick, Ireland $B$G(B
$B9T$J$o$l$kM=Dj$G$9(B. $B0lHLE*$J$3$H$O(BConference Chair $B$N(BJonathan Bowen
(tel +44-1865-283512, fax +44-1865-273839, email
<Jonathan.Bowen@comlab.ox.ac.uk>) $B$KJ9$$$F2<$5$$!%>\$7$$$3$H$O(B 
comp.specification.z $B$K$=$N$&$AN.$l$k$G$7$g$&(B.  Z User Meetings $B$NM=9F(B
$B=8$O(B Springer-Verlag Workshops in Computing series $B$G(B $BBh(B 4 $B2s$N(B 1989 
$BG/$N2q5D$+$i=PHG$5$l$F$$$^$9!%(BZUM'95 $B$K4X$9$k>pJs$O(B
http://www.comlab.ox.ac.uk/archive/z/zum95.html$B$+$i(B WWW $B$r$H$*$7$F(B
ftp.comlab.ox.ac.uk:/pub/Zforum/zum95 $B$+$i(Banonymous FTP $B$r$H$*$7$FF~<j(B
$B$9$k$3$H$,$G$-$^$9!%M=9F=8$O(B, Springer-Verlag LNCS $B%7%j!<%:$G:#G/=PHG(B
$B$5$l$kM=Dj$G$9(B.

$BBh(B 6 $B2s(B Refinement Workshop $B$O(B City University,London, UK $B$G(B1994 $BG/(B 1 
$B7n(B 5-7 $BF|$K9T$o$l$^$7$?(B.$B%W%m%0%i%`%A%'%"$O(B David Till,Dept of
Computer Science, City University, Northampton Square, London, EC1V
0HB, UK (tel +44-171-477-8552 email <till@cs.city.ac.uk>) $B$G$7$?(B.$BM=9F(B
$B=8$O(B Springer-Verlag Workshops in Computing series $B$G=PHG$5$l$kM=Dj$G(B
$B$9(B.

WIFT'95  (Workshop on Industrial-strength Formal specification Techniques)
$B$O(B Boca Raton, Florida, USA $B$G(B 5-7 April 1995 $B$K9T$J$o$l$^$9(B.
$B>\:Y$K$D$$$F$O(B, http://www.cse.fau.edu/WIFT/ $B$r8+$F2<$5$$(B.

FORTE $B$O(BEstelle, Lotos, SDL, ASN.1, Z $B$J$I$N$h$&$JJ,;6%7%9%F%`$KE,MQ2D(B
$BG=$J7A<0E*5;K!$H%F%9%H$NJ}K!O@$K>GE@$,$"$F$i$l$F$$$F$$$k(B.IFIP WG6.1
7th International Conference on Formal Description Techniques for
Distributed Systems and Communications Protocols (FORTE'94) $B$O(B 1994 $BG/(B 
10 $B7n(B 4-7 $BF|$K%9%$%9$N%Y%k%s$G9T$J$o$l$^$7$?(B.  $BBh(B8$B2s$N2q5D(B (FORTE'95)
$B$O(B 1995 $BG/(B 10 $B7n(B 17-20 $BF|$K%+%J%@$N%b%s%H%j%*!<%k(B($B%1%Y%C%/=#(B) $B$G9T$J$o(B
$B$l$^$9(B. $B>\:Y$K$D$$$F$O(B
http://www.comlab.ox.ac.uk/archive/formal-methods/conf/FORTE95.html$B$r(B
$B;2>H$7$F2<$5$$(B.

  Z2B - Z $B$H$=$N>-Mh(B ($B>pJs%7%9%F%`@_7W$K4X$7$F<BA)E*$J;v$dJ}K!O@$d%D!<(B
$B%k(B)$B$,(BNantes, 10-12 October 1995 $B$G9T$J$o$l$^$9(B.
http://www.comlab.ox.ac.uk/archive/formal-methods/conf/Z2B95.html$B$r;2(B
$B>H$7$F$/$@$5$$(B.

ICECCS'95 (IEEE International Conference on Engineering of Complex
Computer Systems) $B$K$O7A<0<jK!$N%H%i%C%/$,$"$j(B, Southern Florida, USA
$B$G(B 6-10 November 1995 $B$K3+:E$5$l$^$9(B.  $B>\:Y$K$D$$$F$O(B,
http://rtlab12.njit.edu:8000/rtcl_pub_html/Mosaic/act/iceccs95.html$B$r(B
$B8+$F2<$5$$(B.

$BBh(B2$B2s$N(B FME (Formal Methods Europe) $B%7%s%]%8%&%`$,(B 1994 $BG/(B 10 $B7n(B 24-28 
$BF|$K%9%Z%$%s(B, $B%P%k%;%m%J$G9T$J$o$l$^$7$?(B. $BM=9F=8$O(B Springer LNCS 873 
$B$H$7$FF~<j$9$k;v$,$G$-$^$9(B. $B<!$N(B FME $B%7%s%]%8%&%`$O(B 1996 $BG/(B St. Hugh's
College, Oxford, UK $B$G(B 18-22 March 1996 $B$K9T$J$o$l$^$9(B. $BEj9F$N!:@Z$O(B,
1995 $BG/(B 9 $B7n(B 11 $BF|$G$9(B. $B>\:Y$K$D$$$F$O(B
http://www.lri.fr/conferences/FME-96/ $B$r$_$F$/$@$5$$(B.  FME $B$NAH?%$N%A(B
$B%'%"%^%s$O(B Prof. Peter Lucas, TU Graz, Austria (email
<lucas@ist.tu-graz.ac.at>) $B$G$9(B.

Z $B$K4XO"$9$k2q5D$K$D$$$F$N>\:Y$OI,MW$K1~$8$F(B comp.specification.z $B$GO"(B
$BMm$5$l$^$9(B.$B>e5-$G=R$Y$?2q5D$O(B,$B$=$N$h$&$J7A$G2?2s$+7+$jJV$5$l$?O"Mm$5$l(B
$B$^$7$?(B. $B7A<0<jK!$K4X$9$k2q5D$N%j%9%H$O(B
http://www.comlab.ox.ac.uk/archive/formal-methods/meetings.html$B$r$_$F(B
$B$/$@$5$$(B.

Subject: Z User Group $B$C$F$J$s$G$9$+(B?

Z User Group $B$O(B 1992 $BG/$K(B Z $B$K4X$9$k3hF0(B,$B$H$/$K(B Z User Meeting $B$r4FFD(B
$B$9$k$?$a$K:n$i$l$^$7$?(B.comp.specification.z, ZFORUM $B$dM9JX$N%a!<%j%s(B
$B%0%j%9%H$X$N;22C<T$H$7$F$"$J$?<+?H$b(B Z User Group $B$N0l0w$G$"$k$H9M$($k(B
$B$3$H$,$G$-$^$9(B.$B8=:_$N$H$3$m(B,$B%a%s%P!<$K$O2?$NHqMQ$bM?$($i$l$F$$$^$;$s(B
$B$,(B,$BI,MW$H$"$i$P8+D>$9$Y$-LdBj$G$"$k$H9M$($F$$$^$9(B.$B>\$7$$$3$H$rCN$j$?(B
$B$$?M$O(B <zforum-request@comlab.ox.ac.uk> $B$HO"Mm$r<h$C$F2<$5$$(B.

Subject: $B$I$&$d$C$F(B Z standard $B$r<j$KF~$l$l$P$$$$$N(B?

 ISO/IEC JTC1/SC22 $B$GDs0F$5$l$F$$$k(B Z $B$NI8=`$,(BFTP $B$K$h$C$F(B*$B$N$_(B*
Oxford $B$N(BZ $B%"!<%+%$%V$+$i(BPostscript $B%U%)!<%^%C%H$GEE;RE*$KF~<j2DG=$G(B
$B$9(B.($BHs>o$KBg$-$$$N$G(B mail $B$G$N%5!<%S%9$O9T$J$C$F$$$^$;$s(B)$BI8=`$N%I%i%U(B
$B%H$N%P!<%8%g%s(B1.0 $B$O(B ftp.comlab.ox.ac.uk:/pub/Zforum/zstandard1.0.ps.Z 
$B$H(B ftp.comlab.ox.ac.uk:/pub/Zforum/zstandard-annex1.0.ps.Z $B$H$7$FF~<j(B
$B$9$k$3$H$,$G$-$^$9(B.Oxford University Computing Laboratory $B$N%i%$%V%i%j(B
$B%"%s(B (tel +44-1865-273837, fax +44-1865-273839, email
<library@comlab.ox.ac.uk>)$B$+$i(B Technical Monograph number PRG-107 $B$H$7(B
$B$F%W%j%s%H$5$l$?$b$N$rF~<j$9$k$3$H$b$G$-$^$9(B.

$BLu<TCm(B : $BF|K\9qFb$G$O(B
ftp.cs.titech.ac.jp:/wwfs/sa-ftp/pub/z/zstandard/zstandard1.0.ps.Z $B$H(B
ftp.cs.titech.ac.jp:/wwfs/sa-ftp/pub/z/zstandard/zstandard-annex1.0.ps.Z
$B$+$iF~<j2DG=$G$9!%(B

Subject: $BB>$K$O$I$3$G(B Z $B$K4X$7$FOC$79g$o$l$F$$$k$+(B?

BCS FACS (British Computer Society Formal Aspects of Computer Science
special interest group) $B$H(B FME (Formal Methods Europe) $B$O0lHLE*$K7A<0(B
$BE*<jK!$K6=L#$r;}$DAH?%$G$9(B.$B>\$7$$$3$H$O(B BCS FACS, Dept of Computer
Studies, Loughborough University of Technology, Loughborough,
Leicester LE11 3TU, UK (tel +44-1509-222676, fax +44-1509-211586,
email <FACS@lut.ac.uk>) $B$KJ9$$$F$/$@$5$$(B."FACS Europe" $B$N%K%e!<%9%l%?(B
$B!<$O(BFACS $B$H(B FME $B$N%a%s%P!<$KG[$i$l$F$$$^$9(B.Z $B$N%3%i%`$NJT=80w(B David
Till, Dept of Computer Science, City University,Northampton Square,
London, EC1V 0HB, UK (tel +44-171-477-8552 email <till@cs.city.ac.uk>) 
$B$K=PHG2DG=$J$b$N$rAw$C$F$/$@$5$$(B.comp.specification.z $B$N%K%e!<%9%0%k!<(B
$B%W$N5-;v$+$i$b6=L#?<$$$b$N$K4X$7$F$O(B($B2DG=$J$i$P5v2D$rF@$F(B)$B:\$;$k$3$H$b(B
$B$"$j$^$9(B.$B$b$72?$i$+$NM}M3$G:FG[I[$5$l$k$H:$$k?M$O(B comp.specification.z 
$B$N5-;v$KEj9F<T$,$=$&=q$$$F$*$$$F$/$l$k$H=u$+$j$^$9(B.

Subject: VDM $B$O(B Z $B$H$/$i$Y$F$I$&$J$N(B?

VDM $B$H(B Z $B$N0c$$$rM}2r$9$k$?$a$K$O(B 
ftp.cs.man.ac.uk:/pub/TR/UMCS-93-8-1.ps.Z $B$N(BManchester $B$N%*%s%i%$%s(B 
Technical Report $B$H$7$F<j$KF~$l$k$3$H$,$G$-$k(BI.J.Hayes, C.B.Jones &
J.E.Nicholls $B$K$h$k(B FACS Europe, series I, 1(1):7-30, Autumn 1993 $B$H(B
I.J.Hayes, VDM and Z: A comparative case study, Formal Aspects of
Computing, 4(1):76-99, 1992 $B$r8+$F$/$@$5$$(B.VDM $B$O(B (unmoderated $B$J(B) VDM
FORUM $B$H$$$&%a!<%j%s%0%j%9%H$G5DO@$,9T$J$o$l$F$$$^$9(B. "join vdm-forum
<name>" $B$G(B <name> $B$KK\Ev$NL>A0$rF~$l$F(B<mailbase@mailbase.ac.uk> $B$K%a%C(B
$B%;!<%8$rAw$C$F$/$@$5$$(B.$B$3$N%a!<%j%s%0%j%9%H$N4IM}<T$NO"Mm@h$O(B, the
University of Newcastle upon Tyne, England $B$N(B John Fitzgerald $B$G(Be-mail 
$B%"%I%l%9$O(B <vdm-forum-request@mailbase.ac.uk> $B$G$9(B.

Subject: $B$b$74V0c$$$dB-$j$J$$$b$N$K5$$E$$$?$i(B?

Updates: $B@5$7$$$b$N$rAw$C$F$/$l$k$+2q5D$dK\$d%D!<%k$J$I$K4X$9$k4XO">pJs$r(B
<zforum-request@comlab.ox.ac.uk> $B$KAw$C$F2<$5$$(B.
$B?7$7$$LdBj$d$=$NLOHO2rEz$bBg4?7^$G$9(B.

--
Jonathan Bowen, <Jonathan.Bowen@comlab.ox.ac.uk>
Programming Research Group, Oxford University Computing Laboratory, UK.

Translated by  Takanori Ugai, <ugai@syslab.iias.flab.fujitsu.co.jp>
Institute for  Social Information Science,FUJITSU LABORATORIES LTD. Chiba Japan
$B1-;t(B $B9'E5(B,$BIY;NDL8&5f=j(B $B>pJs<R2q2J3X8&5f=j(B
$Id: z-faq,v 1.18 1995/09/05 02:45:57 ugai Exp ugai $
