Abbreviation | ZUG[1] |
---|---|
Named after | Z notation |
Formation | 14 December 1992 |
Founder | John Nicholls |
Founded at | London, England |
Type | User group |
Purpose | Support for Z notation activities, especially meetings |
Location | |
Region served | International[2] |
Services | Conference organization |
Methods | Z notation |
Fields | Computer 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 |
Affiliations | Formal Methods Europe |
Website | zuser.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]
ZUM92
was invoked but never defined (see the help page).