Grupo de usuarios Z
Grupo para promover la notación Z

Grupo de usuarios Z
AbreviaturaZug [1]
Llamado en honor aNotación Z
Formación14 de diciembre de 1992 ; hace 31 años ( 14 de diciembre de 1992 )
FundadorJuan Nicholls
Fundada enLondres , Inglaterra
TipoGrupo de usuarios
ObjetivoApoyo a las actividades de notación Z, especialmente reuniones
Ubicación
Región atendida
Internacional [2]
ServiciosOrganización de conferencias
MétodosNotación Z
CamposCiencias de la computación , ingeniería de software , métodos formales
Idioma oficial
Inglés
Silla
Steve Reeves
Secretario
Randolph Johnson
Personas clave
John Nicholls; Jonathan Bowen ; Mike Hinchey ; Steve King
Órgano principal
Actas de congresos
AfiliacionesMétodos Formales Europa
Sitio webes.zuser.org

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 razonamiento sobre sistemas informáticos. [3] [4] [5] Se constituyó formalmente el 14 de diciembre de 1992 durante la Reunión de Usuarios Z ZUM'92 [6] en Londres , Inglaterra . [7]

Reuniones y conferencias

Inicialmente, ZUG organizó una serie de reuniones de usuarios de Z aproximadamente cada 18 meses. [8] [6] [9] A partir de 2000, estas se convirtieron en la Conferencia ZB (junto con el Método B , coorganizada con APCB ), y desde 2008 en la Conferencia ABZ ( también con máquinas de estados abstractos ). En 2010, la Conferencia ABZ también incluye Alloy , un lenguaje de especificación similar a Z con soporte de herramientas asociado. [10]

El Grupo de Usuarios Z participó en el Congreso Mundial FM'99 sobre Métodos Formales en Toulouse, Francia, en 1999. [11] El grupo y la notación Z asociada se han estudiado como una comunidad de práctica . [12]

Lista de procedimientos

Las siguientes actas fueron elaboradas por el Grupo de Usuarios Z: [13] [14]

  • Bowen, JP; Nicholls, JE, eds. (1993). Taller de usuarios de Z, Londres 1992, Actas de la séptima reunión anual de usuarios de Z, 14-15 de diciembre de 1992. Springer, Talleres de informática. ISBN  978-0387198187
  • Bowen, JP; Hall, JA, eds. (1994). Taller de usuarios de Z, Cambridge 1994, Actas de la octava reunión anual de usuarios de Z, 29-30 de junio de 1994. Springer, Talleres de informática. ISBN 978-3540198840 
  • Bowen, JP; Hinchey, MG, eds. (1995). ZUM '95: The Z Formal Specification Notation, 9.ª Conferencia Internacional de Usuarios de Z, Limerick, Irlanda, 7-9 de septiembre de 1995. Springer, Lecture Notes in Computer Science, Volumen 967. ISBN 978-3540602712 
  • Bowen, JP; Hinchey, MG; Till, D., eds. (1997). ZUM '97: The Z Formal Specification Notation, 10.ª Conferencia Internacional de Usuarios de Z, Reading, Reino Unido, 3 y 4 de abril de 1997. Springer, Lecture Notes in Computer Science, Volumen 1212. ISBN 978-3540627173 
  • Bowen, JP; Fett, A.; Hinchey, MG, eds. (1998). ZUM '98: The Z Formal Specification Notation, 11.ª Conferencia Internacional de Usuarios de Z, Berlín, Alemania, 24-26 de septiembre de 1998. Springer, Lecture Notes in Computer Science, Volumen 1493. ISBN 978-3540650706 

Las siguientes actas de la conferencia ZB se produjeron conjuntamente con la Association de Pilotage des Conférences B (APCB) y cubren la notación Z y el método B relacionado : [13]

  • Bowen, JP; Dunne, S.; Galloway, A.; King. S., eds. (2000). ZB 2000: Formal Specification and Development in Z and B, Primera Conferencia Internacional de Usuarios de B y Z, York, Reino Unido, 29 de agosto – 2 de septiembre de 2000. Springer, Lecture Notes in Computer Science, Volumen 1878. ISBN 978-3540679448 
  • Bert, D.; Bowen, JP; Henson, MC; Robinson, K., eds. (2002). ZB 2002: Especificación formal y desarrollo en Z y B: 2.ª conferencia internacional de usuarios de B y Z, Grenoble, Francia, 23-25 ​​de enero de 2002. Springer, Lecture Notes in Computer Science, volumen 2272. ISBN 978-3540431664 
  • Bert, D.; Bowen, JP; King, S.; Walden, M., eds. (2003). ZB 2003: Especificación formal y desarrollo en Z y B: Tercera conferencia internacional de usuarios de B y Z, Turku, Finlandia, 4-6 de junio de 2003. Springer, Lecture Notes in Computer Science, Volumen 2651. ISBN 978-3540402534 
  • Treharne, H.; King, S.; Henson, MC; Schneider, S., eds. (2005). ZB 2005: Especificación formal y desarrollo en Z y B: 4.ª conferencia internacional de usuarios de B y Z, Guildford, Reino Unido, 13-15 de abril de 2005. Springer, Lecture Notes in Computer Science, volumen 3455. ISBN 978-3540255598 

A partir de 2008, las conferencias ZB se ampliaron para convertirse en la conferencia ABZ, incluyendo también máquinas de estados abstractos. [15]

Presidente y secretario

Los sucesivos presidentes han sido:

Los secretarios sucesivos han sido:

Véase también

Referencias

  1. ^ Sayeed, Ahmed (2021). Abreviaturas . Publicación Sankalp. p. 371. ISBN 978-9390636693.
  2. ^ Anuario de Organizaciones Internacionales . Vol. 1. Unión de Asociaciones Internacionales . 2017.
  3. ^ Bowen, JP (septiembre de 1993). "Actividades del grupo de usuarios Z". JFIT News . 46 : 5.
  4. ^ Bowen, JP (1994). "Actividades de reuniones de usuarios Z". Sistemas de alta integridad . 1 (1): 93–94.
  5. ^ Tucker, Allen B., ed. (2004). Manual de Ciencias de la Computación . CRC Press . Págs. 106-24. ISBN. 978-0203494455.
  6. ^ ab Bowen, JP; Nicholls, JE, eds. (1993). Taller de usuarios Z, Londres 1992. Talleres de informática. Springer.
  7. ^ "Z User Group (ZUG)". Base de datos mundial de la sociedad civil . UIA . Consultado el 8 de junio de 2022 .
  8. ^ Nicholls, JE, ed. (1992). Taller de usuario Z, York 1991. Talleres en informática. Springer.
  9. ^ Bowen, JP; Hall, JA, eds. (1994). Taller de usuario Z, Cambridge 1994. Talleres de informática. Springer. ISBN 3-540-19884-9.
  10. ^ Frappier, M., Glässer, U.; Khurshid, S., Laleau, R. y Reeves, S. (eds.), Abstract State Machines, Alloy, B y Z: Segunda Conferencia Internacional, 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 . 
  11. ^ "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.
  12. ^ Bowen, JP ; Reeves, S. (2011). "De una comunidad de práctica a un cuerpo de conocimiento: un estudio de caso de la comunidad de métodos formales". En Butler, M. ; Schulte, W. (eds.). FM 2011: Métodos formales . Apuntes de clase en informática . Vol. 6664. Berlín, Heidelberg: Springer . págs. 308–322. doi :10.1007/978-3-642-21437-0_24.
  13. ^ ab "Conferencia internacional sobre máquinas de estados abstractos, Alloy, B, TLA, VDM y Z (ABZ) – Conferencia internacional de usuarios de B y Z (ZB) – Reunión internacional de usuarios de Z (ZUM) – Taller de usuarios de Z". DBLP . Consultado el 28 de julio de 2022 .
  14. ^ Bowen, Jonathan (julio de 2022). "El grupo de usuarios Z: treinta años después" (PDF) . FACS FACTS . N.º 2022–2. BCS-FACS . págs. 50–56 . Consultado el 3 de agosto de 2022 .
  15. ^ Börger, E.; Butler, MJ; Bowen, JP; Boca, P., eds. (2008). Abstract State Machines, B and Z, Primera Conferencia Internacional, ABZ 2008, Londres, Reino Unido, 16-18 de septiembre de 2008. Springer, Lecture Notes in Computer Science, Volumen 5238. ISBN 978-3540876021 
  • Grupo de usuarios Z
Obtenido de "https://es.wikipedia.org/w/index.php?title=Grupo_de_usuarios_Z&oldid=1200013418"