Z User Group
The Z User Group exists to promote use and development of the Z notation, a formal specification language for the description of and reasoning about computer-based systems. It was formally constituted on 14 December 1992 during the ZUM'92 Z User Meeting in London, England.
Meetings and conferences
ZUG has organised a series of Z User Meetings approximately every 18 months initially. 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.
The Z User Group participated at the FM'99 World Congress on Formal Methods in Toulouse, France, in 1999.
Chair and secretary
Successive chairs have been:
Successive secretaries have been:
- Mike Hinchey (1994–2011)
- Randolph Johnson (2011–)
- Bowen, J.P. (September 1993). "Z User Group activities". JFIT News. 46. p. 5.
- Bowen, J.P. (1994). "Z User Meeting Activities". High Integrity Systems. 1 (1). pp. 93–94.
- Bowen, J.P.; Nicholls, J.E., eds. (1993). Z User Workshop, London 1992. Workshops in Computing. Springer.
- Nicholls, J.E., ed. (1992). Z User Workshop, York 1991. Workshops in Computing. Springer.
- Bowen, J.P.; Hall, J.A., eds. (1994). Z User Workshop, Cambridge 1994. Workshops in Computing. Springer. ISBN 3-540-19884-9.
- 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.
- "Z User Group Meeting (ZUG)". FM'99 World Congress. Toulouse, France. 20–24 September 1999.
|This article about an organisation in the United Kingdom is a stub. You can help Wikipedia by expanding it.|