VDM は Z とくらべてどうなの?
VDM と Z の違いを理解するためには
ftp.cs.man.ac.uk:/pub/TR/UMCS-93-8-1.ps.Z のManchester のオンライン
Technical Report として手に入れることができるI.J.Hayes, C.B.Jones &
J.E.Nicholls による FACS Europe, series I, 1(1):7-30, Autumn 1993 とI.J.Hayes,
VDM and Z: A comparative case study, Formal Aspects of Computing, 4(1):76-99,
1992 を見てください。VDM は (unmoderated な) VDM FORUM というメーリングリスト
で議論が行なわれています。 "join vdm-forum < name >" で
< name > に本当の
名前を入れて
< mailbase@mailbase.ac.uk >
にメッセージを送ってください。
このメーリングリストの管理者の連絡先は、the University of Newcastle upon Tyne,
England の John Fitzgerald でe-mail アドレスは
< vdm-forum-request@mailbase.ac.uk >
です。
Next is
もし間違いや足りないものに気づいたら?