Suvarna Garge (Editor)

Z User Group

Updated on
Edit
Like
Comment
Share on FacebookTweet on TwitterShare on LinkedInShare on Reddit

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.

Contents

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:

  • John Nicholls (1992–1994)
  • Jonathan Bowen (1994–2011)
  • Steve Reeves (2011–)
  • Successive secretaries have been:

  • Mike Hinchey (1994–2011)
  • Randolph Johnson (2011–)
  • References

    Z User Group Wikipedia


    Similar Topics