Z User Group

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.[1][2] It was formally constituted on 14 December 1992 during the ZUM'92 Z User Meeting[3] in London, England.

Meetings and conferences

ZUG has organised a series of Z User Meetings approximately every 18 months initially.[4][3][5] From 2000, these became the ZB Conference (jointly with the B-Method, co-organized with APCB), and from 2008 the ABZ Conference (with Abstract State Machines as well). In 2010, the ABZ Conference also includes Alloy, a Z-like specification language with associated tool support.[6]

The Z User Group participated at the FM'99 World Congress on Formal Methods in Toulouse, France, in 1999.[7]

Chair and secretary

Successive chairs have been:

Successive secretaries have been:

See also

References

  1. Bowen, J.P. (September 1993). "Z User Group activities". JFIT News. 46: 5.
  2. Bowen, J.P. (1994). "Z User Meeting Activities". High Integrity Systems. 1 (1): 93–94.
  3. Bowen, J.P.; Nicholls, J.E., eds. (1993). Z User Workshop, London 1992. Workshops in Computing. Springer.
  4. Nicholls, J.E., ed. (1992). Z User Workshop, York 1991. Workshops in Computing. Springer.
  5. Bowen, J.P.; Hall, J.A., eds. (1994). Z User Workshop, Cambridge 1994. Workshops in Computing. Springer. ISBN 3-540-19884-9.
  6. Frappier, M., Glässer, U.; , Khurshid, S., Laleau, R., and Reeves, S. (eds.), Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, February 22–25, 2010, Proceedings, Springer-Verlag, Lecture Notes in Computer Science, Volume 5977, 2010. ISBN 978-3-642-11810-4.
  7. "Z User Group Meeting (ZUG)". FM'99 World Congress. Toulouse, France. 20–24 September 1999. Archived from the original on July 6, 2007.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.