Z Benutzergruppe - Z User Group
Die Z User Group ( ZUG ) wurde 1992 gegründet, um die Verwendung und Entwicklung der Z-Notation zu fördern , einer formalen Spezifikationssprache für die Beschreibung und Argumentation computergestützter Systeme. Es wurde am 14. Dezember 1992 während des ZUM'92 Z User Meeting in London , England, offiziell gegründet .
Tagungen und Konferenzen
ZUG hat zunächst etwa alle 18 Monate eine Reihe von Z-User-Meetings organisiert . Ab 2000 wurde dies die ZB-Konferenz (gemeinsam mit der B-Methode , gemeinsam mit APCB organisiert ) und ab 2008 die ABZ-Konferenz (auch mit Abstract State Machines ). Im Jahr 2010 umfasst die ABZ-Konferenz auch Alloy , eine Z-ähnliche Spezifikationssprache mit zugehöriger Toolunterstützung.
Die Z User Group nahm 1999 am FM'99-Weltkongress für formale Methoden in Toulouse, Frankreich, teil.
Vorsitzender und Sekretär
Aufeinanderfolgende Stühle waren:
- John Nicholls (1992–1994)
- Jonathan Bowen (1994–2011)
- Steve Reeves (2011–)
Aufeinanderfolgende Sekretäre waren:
- Mike Hinchey (1994–2011)
- Randolph Johnson (2011–)
Siehe auch
Verweise
Externe Links
Dieser Artikel über eine Organisation in Großbritannien ist ein Stummel . Sie können Wikipedia helfen, indem Sie es erweitern . |