El Grupo de Usuarios Z ( ZUG ) se estableció en 1992 para promover el uso y desarrollo de la notación Z , un lenguaje de especificación formal para la descripción y el razonamiento sobre sistemas basados en computadora. [1] [2] Se constituyó formalmente el 14 de diciembre de 1992 durante la ZUM'92 Z User Meeting [3] en Londres , Inglaterra .
Reuniones y conferencias
ZUG ha organizado una serie de Z User Meetings aproximadamente cada 18 meses inicialmente. [4] [3] [5] A partir de 2000, estos se convirtieron en la Conferencia ZB (junto con el Método B , coorganizada con APCB ), y desde 2008 la Conferencia ABZ (con Abstract State Machines también). En 2010, la Conferencia ABZ también incluye Alloy , un lenguaje de especificación similar a Z con soporte de herramientas asociado. [6]
El Grupo de Usuarios Z participó en el Congreso Mundial FM'99 sobre Métodos Formales en Toulouse, Francia, en 1999. [7]
Presidente y secretaria
Las sucesivas sillas han sido:
- John Nicholls (1992-1994)
- Jonathan Bowen (1994-2011)
- Steve Reeves (2011–)
Los sucesivos secretarios han sido:
- Mike Hinchey (1994-2011)
- Randolph Johnson (2011–)
Ver también
Referencias
- ^ Bowen, JP (septiembre de 1993). "Actividades del grupo de usuarios Z". Noticias JFIT . 46 : 5.
- ^ Bowen, JP (1994). "Actividades de la reunión de usuarios Z". Sistemas de alta integridad . 1 (1): 93–94.
- ^ a b Bowen, JP; Nicholls, JE, eds. (1993). Taller de usuarios Z, Londres 1992 . Talleres de Informática. Saltador.
- ^ Nicholls, JE, ed. (1992). Taller de usuarios Z, York 1991 . Talleres de Informática. Saltador.
- ^ Bowen, JP; Hall, JA, eds. (1994). Taller de usuarios Z, Cambridge 1994 . Talleres de Informática. Saltador. ISBN 3-540-19884-9.
- ↑ Frappier, M., Glässer, U .; , Khurshid, S., Laleau, R. y Reeves, S. (eds.), Abstract State Machines, Alloy, B y Z: Second International Conference, ABZ 2010, Orford, QC, Canadá, 22 al 25 de febrero de 2010 , Actas , Springer-Verlag , Lecture Notes in Computer Science , Volumen 5977, 2010. ISBN 978-3-642-11810-4 .
- ^ "Reunión del grupo de usuarios Z (ZUG)" . Congreso Mundial FM'99 . Toulouse, Francia. 20-24 de septiembre de 1999. Archivado desde el original el 6 de julio de 2007.