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 .
ZUG ha organizado una serie de Reuniones de Usuarios Z aproximadamente cada 18 meses inicialmente. [4] [3] [5] A partir de 2000, se convirtieron en la Conferencia ZB (conjuntamente con B-Method , coorganizada con APCB ), y desde 2008 en 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]
Este artículo acerca de una organización en el Reino Unido es un trozo . Puedes ayudar a Wikipedia expandiéndola .