Z User Group

Z User Group
AbbreviationZUG[1]
Named afterZ notation
Formation14 December 1992; 31 years ago (1992-12-14)
FounderJohn Nicholls
Founded atLondon, England
TypeUser group
PurposeSupport for Z notation activities, especially meetings
Location
Region served
International[2]
ServicesConference organization
MethodsZ notation
FieldsComputer science, software engineering, formal methods
Official language
English
Chair
Steve Reeves
Secretary
Randolph Johnson
Key people
John Nicholls; Jonathan Bowen; Mike Hinchey; Steve King
Main organ
Conference proceedings
AffiliationsFormal Methods Europe
Websitezuser.org

The Z User Group (ZUG) was established in 1992 to promote use and development of the Z notation, a formal specification language for the description of and reasoning about computer-based systems.[3][4][5] It was formally constituted on 14 December 1992 during the ZUM'92 Z User Meeting[6] in London, England.[7]

  1. ^ Sayeed, Ahmed (2021). Abbreviations. Sankalp Publication. p. 371. ISBN 978-9390636693.
  2. ^ Yearbook of International Organizations. Vol. 1. Union of International Associations. 2017.
  3. ^ Bowen, J.P. (September 1993). "Z User Group activities". JFIT News. 46: 5.
  4. ^ Bowen, J.P. (1994). "Z User Meeting Activities". High Integrity Systems. 1 (1): 93–94.
  5. ^ Tucker, Allen B., ed. (2004). Computer Science Handbook. CRC Press. pp. 106–24. ISBN 978-0203494455.
  6. ^ Cite error: The named reference ZUM92 was invoked but never defined (see the help page).
  7. ^ "Z User Group (ZUG)". Global Civil Society Database. UIA. Retrieved 8 June 2022.