Группа пользователей Z - Z User Group
В Группа пользователей Z существует для содействия использованию и развитию Обозначение Z, а формальная спецификация язык для описания и рассуждений о компьютерных системах.[1][2] Он был официально образован 14 декабря 1992 г. во время ZUM'92. Встреча пользователей Z[3] в Лондон, Англия.
Встречи и конференции
ZUG организовала серию Встречи пользователей Z примерно каждые 18 месяцев изначально.[4][3][5] С 2000 года они стали ZB Конференция (совместно с B-метод, совместно с APCB ), а с 2008 г. Конференция ABZ (с участием Абстрактные государственные машины также). В 2010 году конференция ABZ также включает Сплав, Z-подобный язык спецификаций с соответствующей поддержкой инструментов.[6]
Группа пользователей Z приняла участие в FM'99 Всемирный конгресс по формальным методам в Тулузе, Франция, в 1999 году.[7]
Председатель и секретарь
Последовательные стулья были:
- Джон Николлс (1992–1994)
- Джонатан Боуэн (1994–2011)
- Стив Ривз (2011–)
Последовательные секретари были:
- Майк Хинчи (1994–2011)
- Рэндольф Джонсон (2011–)
Смотрите также
использованная литература
- ^ Боуэн, Дж. (Сентябрь 1993 г.). «Действия группы пользователей Z». Новости JFIT. 46: 5.
- ^ Боуэн, Дж. П. (1994). «Действия пользователей Z на собраниях». Системы высокой надежности. 1 (1): 93–94.
- ^ а б Bowen, J.P .; Николлс, Дж. Э., ред. (1993). Z User Workshop, Лондон, 1992 г.. Мастерские по вычислительной технике. Springer.
- ^ Николлс, Дж. Э., изд. (1992). Z User Workshop, Йорк 1991. Мастерские по вычислительной технике. Springer.
- ^ Bowen, J.P .; Холл, Дж. А., ред. (1994). Мастерская пользователей Z, Кембридж, 1994 г.. Мастерские по вычислительной технике. Springer. ISBN 3-540-19884-9.
- ^ Frappier, M., Glässer, U .; , Хуршид, С., Лалеу, Р., и Ривз, С. (ред.), Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, 22-25 февраля 2010 г., Труды, Springer-Verlag, Конспект лекций по информатике, Том 5977, 2010. ISBN 978-3-642-11810-4.
- ^ "Встреча группы пользователей Z (ZUG)". FM'99 Всемирный Конгресс. Тулуза, Франция. 20–24 сентября 1999 г. Архивировано с оригинал 6 июля 2007 г.
внешние ссылки
Эта статья об организации в объединенное Королевство это заглушка. Вы можете помочь Википедии расширяя это. |