他にはどこで Z に関して話し合われているか?
BCS FACS (British Computer Society Formal Aspects of Computer Science special
interest group) と FME (Formal Methods Europe) は一般的に形式的手法に興味を持
つ組織です。詳しいことは 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>
) に聞いてく
ださい。"FACS Europe" のニュースレターはFACS と FME のメンバーに配られていま
す。Z のコラムの編集員 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>
) に出版可能なものを送ってください。
comp.specification.z
のニュースグループの記事からも興味深いものに関しては(可能
ならば許可を得て)載せることもあります。もし何らかの理由で再配布されると困る人
は
comp.specification.z
の記事に投稿者がそう書いておいてくれると助かります。
Next: VDM は Z とくらべてどうなの?