Z Kullanıcı Grubu - Z User Group

Z Kullanıcı Grubu kullanımını ve geliştirilmesini teşvik etmek için var Z notasyonu, bir resmi şartname bilgisayar tabanlı sistemlerin açıklaması ve muhakemesi için dil.[1][2] Resmi olarak 14 Aralık 1992'de ZUM'92 sırasında oluşturuldu. Z Kullanıcı Toplantısı[3] içinde Londra, İngiltere.

Toplantılar ve konferanslar

ZUG bir dizi düzenledi Z Kullanıcı Toplantıları başlangıçta yaklaşık 18 ayda bir.[4][3][5] 2000 yılından itibaren bunlar ZB Konferansı (ile birlikte B-Metodu ile birlikte organize edildi APCB ) ve 2008'den itibaren ABZ Konferansı (ile Soyut Durum Makineleri yanı sıra). 2010 yılında, ABZ Konferansı şunları da içerir: Alaşım, ilişkili araç desteğiyle birlikte Z benzeri bir belirtim dili.[6]

Z Kullanıcı Grubu katıldı FM'99 Dünya Biçimsel Yöntemler Kongresi 1999'da Toulouse, Fransa'da.[7]

Başkan ve sekreter

Birbirini izleyen sandalyeler şunlar olmuştur:

Ardıl sekreterler:

Ayrıca bakınız

Referanslar

  1. ^ Bowen, J.P. (Eylül 1993). "Z Kullanıcı Grubu etkinlikleri". JFIT Haberleri. 46: 5.
  2. ^ Bowen, J.P. (1994). "Z Kullanıcı Toplantısı Etkinlikleri". Yüksek Bütünlüklü Sistemler. 1 (1): 93–94.
  3. ^ a b Bowen, J.P .; Nicholls, J.E., eds. (1993). Z Kullanıcı Atölyesi, Londra 1992. Hesaplamada Atölyeler. Springer.
  4. ^ Nicholls, J.E., ed. (1992). Z Kullanıcı Atölyesi, York 1991. Hesaplamada Atölyeler. Springer.
  5. ^ Bowen, J.P .; Hall, J.A., eds. (1994). Z Kullanıcı Atölyesi, Cambridge 1994. Hesaplamada Atölyeler. Springer. ISBN  3-540-19884-9.
  6. ^ Frappier, M., Glässer, U .; , Khurshid, S., Laleau, R. ve Reeves, S. (eds.), Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Kanada, 22–25 Şubat 2010, Bildiriler, Springer-Verlag, Bilgisayar Bilimlerinde Ders Notları, Cilt 5977, 2010. ISBN  978-3-642-11810-4.
  7. ^ "Z Kullanıcı Grubu Toplantısı (ZUG)". FM'99 Dünya Kongresi. Toulouse, Fransa. 20–24 Eylül 1999. Arşivlenen orijinal 6 Temmuz 2007.

Dış bağlantılar