Z_User_Group
Zユーザーグループ（ツーク）の使用と発展を促進するために1992年に設立されたZ言語、形式仕様のコンピュータベースのシステムについての説明と推論のための言語を。 1992年12月14日、イギリスのロンドンで開催されたZUM’92Zユーザーミーティングで正式に構成されました。
コンテンツ
1 会議や会議
2 議長および秘書
3 も参照してください
4 参考文献
5 外部リンク
会議や会議
ZUGは、最初は約18か月ごとに一連のZユーザーミーティングを開催しました。 2000年から、これらはZB会議（B-Methodと共同で、APCBと共催）になり、2008年からはABZ会議（抽象ステートマシンも使用）になりました。2010年のABZ会議には、関連するツールサポートを備えたZのような仕様言語であるAlloyも含まれています。
Zユーザーグループは、1999年にフランスのトゥールーズで開催された形式手法に関するFM’99世界会議に参加しました。
議長および秘書
歴代の議長は次のとおりです。
ジョン・ニコルズ（1992–1994）
ジョナサン・ボーエン（1994–2011）
スティーブリーブス（2011–）
歴代の秘書は次のとおりです。
マイク・ヒンチェイ（1994–2011）
ランドルフ・ジョンソン（2011–）
も参照してください
形式手法
参考文献
^ ボーエン、JP（1993年9月）。「Zユーザーグループの活動」。JFITニュース。46：5。
^ Bowen、JP（1994）。「Zユーザーミーティング活動」。高整合性システム。1（1）：93–94。
^ Bowen、JP; ニコルズ、JE、編 （1993）。Zユーザーワークショップ、ロンドン1992。コンピューティングのワークショップ。スプリンガー。
^ Nicholls、JE、ed。（1992）。Zユーザーワークショップ、ヨーク1991。コンピューティングのワークショップ。スプリンガー。
^ ボーエン、JP; ホール、JA、編 （1994）。Zユーザーワークショップ、ケンブリッジ1994。コンピューティングのワークショップ。スプリンガー。ISBN 3-540-19884-9。
^ Frappier、M.、Glässer、U。; 、Khurshid、S.、Laleau、R。、およびReeves、S。（eds。）、 Abstract State Machines、Alloy、B and Z：Second International Conference、ABZ 2010、Orford、QC、Canada、2010年2月22〜25日、議事録、シュプリンガー・フェアラーク、コンピュータサイエンスの講義ノート、ボリューム5977、2010
ISBN 978-3-642-11810-4。 ^ 「Zユーザーグループミーティング（ZUG）」。FM’99世界会議。フランス、トゥールーズ。1999年9月20〜24日。2007年7月6日のオリジナルからアーカイブ。
外部リンク
Zユーザーグループ
英国の組織に関するこ
“