Zユーザーグループ

Z User Group ( ZUG ) は、コンピュータベースのシステムの記述と推論のための形式仕様言語である Z 表記法の使用と開発を促進するために 1992 年に設立されました。[3][4][5] 正式には、1992年^{12月14日にイギリスのロンドンで}開催されたZUM'92 Z User Meeting ^{[ 6 ]}で設立されました。^{[ 7 ]}

1985年、Zユーザーミーティングシリーズは、イブ・ホルム・ソーレンセン（1949-2012）によって、当初はオックスフォードのルーリーハウスで開始されました。^{[ 8 ]} 1991年、ミーティングはヨーク大学が主催するようになりました。^{[ 9 ]} 1992年に設立されたZUGは、このシリーズを定期的なZユーザーワークショップ（別名Zユーザーミーティング、ZUM ）として継続し、当初はおよそ18か月ごとに開催していました。^{[ 6 ] [ 10 ]} 2000年からは、これらはZBカンファレンス（ Bメソッドと共同で、 APCBと共催）となり、2008年からはABZカンファレンス（抽象状態機械も含む）となりました。2010年には、ABZカンファレンスには、関連ツールサポートを備えたZライクな仕様言語であるAlloyも含まれるようになりました。 ^{[ 11 ]}

1999年、Zユーザーグループはフランスのトゥールーズで開催されたFM'99形式手法世界会議に参加した。^{[ 12 ]}このグループと関連するZ記法は、実践共同体として研究されてきた。^{[ 13 ]}

以下の議事録はZユーザーグループによって作成されました：^{[ 14 ] [ 8 ]}

• Bowen, JP; Nicholls, JE 編 (1993). Z User Workshop, London 1992, Proceedings of the Seventh Annual Z User Meeting, 14–15 December 1992. Springer, Workshops in Computing. ISBN 978-0387198187
• Bowen, JP; Hall, JA 編 (1994). Z User Workshop, Cambridge 1994, Proceedings of the Eighth Annual Z User Meeting, 29–30 June 1994. Springer, Workshops in Computing. ISBN 978-3540198840
• Bowen, JP; Hinchey, MG 編 (1995). ZUM '95: Z形式仕様表記法、第9回Zユーザー国際会議、アイルランド、リムリック、1995年9月7日～9日。Springer、Lecture Notes in Computer Science、第967巻。ISBN 978-3540602712
• Bowen, JP; Hinchey, MG; Till, D. 編 (1997). ZUM '97: Z形式仕様表記法、第10回Zユーザー国際会議、英国レディング、1997年4月3～4日。Springer、Lecture Notes in Computer Science、第1212巻。ISBN 978-3540627173
• Bowen, JP; Fett, A.; Hinchey, MG 編 (1998). ZUM '98: Z形式仕様表記法、第11回Zユーザー国際会議、ドイツ、ベルリン、1998年9月24日～26日。Springer、Lecture Notes in Computer Science、第1493巻。ISBN 978-3540650706

以下のZB会議議事録は、Association de Pilotage des Conférences B (APCB) と共同で作成され、Z表記法と関連するBメソッドを扱っています。^{[ 14 ]}

• Bowen, JP; Dunne, S.; Galloway, A.; King, S. 編 (2000). ZB 2000: Z および B における形式仕様と開発、第 1 回 B および Z ユーザー国際会議、英国ヨーク、2000 年 8 月 29 日～9 月 2 日。Springer、Lecture Notes in Computer Science、第 1878 巻。ISBN 978-3540679448
• Bert, D.、Bowen, JP、Henson, MC、Robinson, K. 編 (2002). ZB 2002: Z および B における形式仕様と開発: 第 2 回 B および Z ユーザー国際会議、フランス、グルノーブル、2002 年 1 月 23 ～ 25 日. Springer、Lecture Notes in Computer Science、第 2272 巻. ISBN 978-3540431664
• Bert, D.、Bowen, JP、King, S.、Walden, M. 編 (2003). ZB 2003: Z および B における形式仕様と開発: 第 3 回 B および Z ユーザー国際会議、フィンランド、トゥルク、2003 年 6 月 4 ～ 6 日. Springer、Lecture Notes in Computer Science、第 2651 巻。ISBN 978-3540402534
• Treharne, H.、King, S.、Henson, MC、Schneider, S. 編 (2005). ZB 2005: Z および B における形式仕様と開発: 第 4 回 B および Z ユーザー国際会議、ギルフォード、英国、2005 年 4 月 13 ～ 15 日. Springer、Lecture Notes in Computer Science、第 3455 巻。ISBN 978-3540255598

2008年から、ZB カンファレンスは抽象状態機械も含む ABZ カンファレンスに拡大されました。^{[ 15 ]}

歴代議長は以下の通りです。

• ジョン・ニコルズ（1992年～1994年）
• ジョナサン・ボーウェン（1994年～2011年）
• スティーブ・リーブス（2011年～）

歴代の長官は以下の通りです。

• マイク・ヒンチー（1994年～2011年）
• ランドルフ・ジョンソン（2011年～）

• 形式手法

• Zユーザーグループ