Z skupina uživatelů - Z User Group

The Z skupina uživatelů existuje na podporu využívání a rozvoje Z notace, a formální specifikace jazyk pro popis a uvažování o počítačových systémech.[1][2] Formálně byla založena dne 14. prosince 1992 během ZUM'92 Z Setkání uživatelů[3] v Londýn, Anglie.

Setkání a konference

ZUG uspořádal řadu Z Uživatelská setkání zpočátku přibližně každých 18 měsíců.[4][3][5] Od roku 2000 se z nich staly Konference ZB (společně s B-metoda, spoluorganizátor s APCB ) a od roku 2008 Konference ABZ (s Abstraktní státní stroje také). V roce 2010 zahrnuje také konference ABZ Slitina, jazyk specifikace typu Z s přidruženou podporou nástrojů.[6]

Skupina uživatelů Z se účastnila konference FM'99 World Congress on Formal Methods ve francouzském Toulouse v roce 1999.[7]

Židle a sekretářka

Postupné židle byly:

Postupnými sekretáři byli:

Viz také

Reference

  1. ^ Bowen, J.P. (Září 1993). "Z aktivity skupiny uživatelů". Novinky JFIT. 46: 5.
  2. ^ Bowen, J.P. (1994). Msgstr "Aktivity uživatele Z". Systémy vysoké integrity. 1 (1): 93–94.
  3. ^ A b Bowen, J.P .; Nicholls, J.E., eds. (1993). Z User Workshop, London 1992. Workshopy v oboru výpočetní techniky. Springer.
  4. ^ Nicholls, J.E., ed. (1992). Z User Workshop, York 1991. Workshopy v oboru výpočetní techniky. Springer.
  5. ^ Bowen, J.P .; Hall, J.A., eds. (1994). Z User Workshop, Cambridge 1994. Workshopy v oboru výpočetní techniky. Springer. ISBN  3-540-19884-9.
  6. ^ Frappier, M., Glässer, U .; Khurshid, S., Laleau, R. a Reeves, S. (eds.), Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, 22. – 25. Února 2010, sborník, Springer-Verlag, Přednášky z informatiky, Svazek 5977, 2010. ISBN  978-3-642-11810-4.
  7. ^ „Z User Group Meeting (ZUG)“. FM'99 World Congress. Toulouse, Francie. 20. – 24. Září 1999. Archivovány od originál 6. července 2007.

externí odkazy