Edge Rewrite
restyle Source code View original
// HTMLRewriter · presentation

This page was redesigned at the edge.

Cloudflare fetched the original article and streamed it through HTMLRewriter to apply an entirely new visual system without rebuilding the source page.

Jump to content

Z User Group

Add links
From Wikipedia, the free encyclopedia

Z User Group
AbbreviationZUG[1]
Named afterZ notation
Formation14 December 1992; 33 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]

Meetings and conferences

[edit]

In 1985, the Z Users Meeting series was instigated by Ib Holm Sørensen [dk] (1949–2012), initially at Rewley House in Oxford.[8] In 1991, the meeting moved to be organized by the University of York.[9] From 1992, on its establishment, ZUG continued this series as a regular Z User Workshop (aka Z User Meeting, ZUM), approximately every 18 months initially.[6][10] 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.[11]

In 1999, the Z User Group participated in the FM'99 World Congress on Formal Methods in Toulouse, France.[12] The group and the associated Z notation have been studied as a community of practice.[13]

List of proceedings

[edit]

The following proceedings were produced by the Z User Group:[14][8]

  • Bowen, J.P.; Nicholls, J.E., eds. (1993). Z User Workshop, London 1992, Proceedings of the Seventh Annual Z User Meeting, 14–15 December 1992. Springer, Workshops in Computing. ISBN 978-0387198187
  • Bowen, J.P.; Hall, J.A., eds. (1994). Z User Workshop, Cambridge 1994, Proceedings of the Eighth Annual Z User Meeting, 29–30 June 1994. Springer, Workshops in Computing. ISBN 978-3540198840
  • Bowen, J.P.; Hinchey, M.G, eds. (1995). ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Users, Limerick, Ireland, September 7–9, 1995. Springer, Lecture Notes in Computer Science, Volume 967. ISBN 978-3540602712
  • Bowen, J.P.; Hinchey, M.G.; Till, D., eds. (1997). ZUM '97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, April 3–4, 1997. Springer, Lecture Notes in Computer Science, Volume 1212. ISBN 978-3540627173
  • Bowen, J.P.; Fett, A.; Hinchey, M.G., eds. (1998). ZUM '98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24–26, 1998. Springer, Lecture Notes in Computer Science, Volume 1493. ISBN 978-3540650706

The following ZB conference proceedings were jointly produced with the Association de Pilotage des Conférences B (APCB), covering the Z notation and the related B-Method:[14]

  • Bowen, J.P.; Dunne, S.; Galloway, A.; King. S., eds. (2000). ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29 – September 2, 2000. Springer, Lecture Notes in Computer Science, Volume 1878. ISBN 978-3540679448
  • Bert, D.; Bowen, J.P.; Henson, M.C.; Robinson, K., eds. (2002). ZB 2002: Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23–25, 2002. Springer, Lecture Notes in Computer Science, Volume 2272. ISBN 978-3540431664
  • Bert, D.; Bowen, J.P.; King, S.; Walden, M., eds. (2003). ZB 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 4–6, 2003. Springer, Lecture Notes in Computer Science, Volume 2651. ISBN 978-3540402534
  • Treharne, H.; King, S.; Henson, M.C.; Schneider, S., eds. (2005). ZB 2005: Formal Specification and Development in Z and B: 4th International Conference of B and Z Users, Guildford, UK, April 13–15, 2005. Springer, Lecture Notes in Computer Science, Volume 3455. ISBN 978-3540255598

From 2008, the ZB conferences were expanded to be the ABZ conference, also including abstract state machines.[15]

Chair and secretary

[edit]

Successive chairs have been:

Successive secretaries have been:

See also

[edit]

References

[edit]
  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. 1 2 Bowen, J.P.; Nicholls, J.E., eds. (1993). Z User Workshop, London 1992. Workshops in Computing. Springer.
  7. ↑ "Z User Group (ZUG)". Global Civil Society Database. UIA. Retrieved 8 June 2022.
  8. 1 2 Bowen, Jonathan (July 2022). "The Z User Group: Thirty Years After" (PDF). FACS FACTS. No. 2022–2. BCS-FACS. pp. 50–56. Retrieved 6 June 2026.
  9. ↑ Nicholls, J.E., ed. (1992). Z User Workshop, York 1991. Workshops in Computing. Springer.
  10. ↑ Bowen, J.P.; Hall, J.A., eds. (1994). Z User Workshop, Cambridge 1994. Workshops in Computing. Springer. ISBN 3-540-19884-9.
  11. ↑ 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.
  12. ↑ "Z User Group Meeting (ZUG)". FM'99 World Congress. Toulouse, France. 20–24 September 1999. Archived from the original on 6 July 2007.
  13. ↑ Bowen, J.P.; Reeves, S. (2011). "From a Community of Practice to a Body of Knowledge: A Case Study of the Formal Methods Community". In Butler, M.; Schulte, W. (eds.). FM 2011: Formal Methods. Lecture Notes in Computer Science. Vol. 6664. Berlin, Heidelberg: Springer. pp. 308–322. doi:10.1007/978-3-642-21437-0_24.
  14. 1 2 "International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ) – International Conference of B and Z Users (ZB) – International Z User Meeting (ZUM) – Z User Workshop". DBLP. Retrieved 28 July 2022.
  15. ↑ Börger, E.; Butler, M.J.; Bowen, J.P.; Boca, P., eds. (2008). Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16–18, 2008. Springer, Lecture Notes in Computer Science, Volume 5238. ISBN 978-3540876021
[edit]
Retrieved from "https://en.wikipedia.org/w/index.php?title=Z_User_Group&oldid=1360185347"