Z-группа пользователей

Z-группа пользователей
Аббревиатура	ТРЕНИРОВАТЬСЯ
Назван в честь	Z-обозначение
Формирование	14 декабря 1992 г .; 31 год назад
Основатель	Джон Николлс
Основан в	Лондон , Англия
Тип	Группа пользователей
Цель	Поддержка деятельности по Z-нотации, особенно встреч.
Расположение	Оксфорд , Великобритания ;
Обслуживаемый регион	Международный
Услуги	Организация конференции
Методы	Z-обозначение
Поля	Информатика , программная инженерия , формальные методы.
Официальный язык	Английский
Стул	Стив Ривз
Секретарь	Рэндольф Джонсон
Ключевые люди	Джон Николлс; Джонатан Боуэн ; Майк Хинчи ; Стив Кинг
Главный орган	Материалы конференции
Принадлежности	Формальные методы Европа
Веб-сайт	zuser.org

Группа пользователей Z ( ZUG ) была создана в 1992 году для содействия использованию и развитию нотации Z , формального языка спецификаций для описания и рассуждений о компьютерных системах. ^{[ 3 ]}^{[ 4 ]}^{[ 5 ]} Официально он был учрежден 14 декабря 1992 года во время собрания пользователей ZUM'92 Z. ^{[ 6 ]} в Лондоне , Англия . ^{[ 7 ]}

Встречи и конференции

Первоначально ZUG организовал серию встреч пользователей Z примерно каждые 18 месяцев. ^{[ 8 ]}^{[ 6 ]}^{[ 9 ]} С 2000 года они стали конференцией ZB (совместно с B-Method , организованной совместно с APCB ), а с 2008 года — конференцией ABZ с абстрактными государственными автоматами ( также ). В 2010 году на конференции ABZ также будет представлен Alloy , Z-подобный язык спецификаций с поддержкой соответствующих инструментов. ^{[ 10 ]}

Группа пользователей Z приняла участие во Всемирном конгрессе FM'99 по формальным методам в Тулузе, Франция, в 1999 году. ^{[ 11 ]} Группа и связанное с ней обозначение Z изучались как сообщество практиков . ^{[ 12 ]}

Список разбирательств

Группа пользователей Z подготовила следующие материалы: ^{[ 13 ]}^{[ 14 ]}

Боуэн, JP; Николлс, Дж. Э., ред. (1993). Семинар пользователей Z, Лондон, 1992 г., Материалы седьмого ежегодного собрания пользователей Z, 14–15 декабря 1992 г. . Спрингер, Семинары по вычислительной технике. ISBN 978-0387198187
Боуэн, JP; Холл, Дж. А., ред. (1994). Семинар пользователей Z, Кембридж, 1994 г., Материалы восьмого ежегодного собрания пользователей Z, 29–30 июня 1994 г. Спрингер, Семинары по вычислительной технике. ISBN 978-3540198840
Боуэн, JP; Хинчи, М.Г., ред. (1995). ZUM '95: Нотация формальной спецификации Z, 9-я Международная конференция пользователей Z, Лимерик, Ирландия, 7–9 сентября 1995 г. Спрингер, Конспект лекций по информатике, том 967. ISBN 978-3540602712
Боуэн, JP; Хинчи, МГ; Тилль, Д., ред. (1997). ZUM '97: Формальная спецификация Z, 10-я Международная конференция пользователей Z, Ридинг, Великобритания, 3–4 апреля 1997 г. Спрингер, Конспект лекций по информатике, том 1212. ISBN 978-3540627173
Боуэн, JP; Фетт, А.; Хинчи, М.Г., ред. (1998). ZUM '98: Нотация формальной спецификации Z, 11-я Международная конференция пользователей Z, Берлин, Германия, 24–26 сентября 1998 г. Спрингер, Конспекты лекций по информатике, том 1493. ISBN 978-3540650706

Следующие материалы конференции ZB были подготовлены совместно с Ассоциацией пилотажных конференций B (APCB), охватывая обозначение Z и соответствующий B-метод : ^{[ 13 ]}

Боуэн, JP; Данн, С.; Галлоуэй, А.; Король. С., ред. (2000). ZB 2000: Формальная спецификация и развитие Z и B, Первая международная конференция пользователей B и Z, Йорк, Великобритания, 29 августа – 2 сентября 2000 г. Спрингер, Конспекты лекций по информатике, том 1878 г. ISBN 978-3540679448
Берт, Д.; Боуэн, JP; Хенсон, MC; Робинсон, К., ред. (2002). ZB 2002: Формальная спецификация и развитие в Z и B: 2-я Международная конференция пользователей B и Z, Гренобль, Франция, 23–25 января 2002 г. Спрингер, Конспекты лекций по информатике, том 2272. ISBN 978-3540431664
Берт, Д.; Боуэн, JP; Кинг, С.; Уолден, М., ред. (2003). ZB 2003: Формальная спецификация и разработка в Z и B: Третья международная конференция пользователей B и Z, Турку, Финляндия, 4–6 июня 2003 г. Спрингер, Конспекты лекций по информатике, том 2651. ISBN 978-3540402534
Трехарн, Х.; Кинг, С.; Хенсон, MC; Шнайдер, С., ред. (2005). ZB 2005: Формальная спецификация и развитие Z и B: 4-я Международная конференция пользователей B и Z, Гилфорд, Великобритания, 13–15 апреля 2005 г. Спрингер, Конспекты лекций по информатике, том 3455. ISBN 978-3540255598

С 2008 года конференции ZB были расширены до конференции ABZ, в которую также вошли абстрактные конечные автоматы. ^{[ 15 ]}

Председатель и секретарь

Последовательными председателями были:

Джон Николлс (1992–1994)
Джонатан Боуэн (1994–2011)
Стив Ривз (2011–)

Последующими секретарями были:

Майк Хинчи (1994–2011)
Рэндольф Джонсон (2011–)

См. также

Формальные методы

Ссылки

^ Саид, Ахмед (2021). Аббревиатуры . Публикация Санкальпа. п. 371. ИСБН 978-9390636693 .
^ Ежегодник международных организаций . Том. 1. Союз международных ассоциаций . 2017.
^ Боуэн, JP (сентябрь 1993 г.). «Действия группы пользователей Z». Новости JFIT . 46 :5.
^ Боуэн, JP (1994). «Действия по собраниям пользователей Z». Системы высокой целостности . 1 (1): 93–94.
^ Такер, Аллен Б., изд. (2004). Справочник по информатике . ЦРК Пресс . стр. 106–24. ISBN 978-0203494455 .
^ Перейти обратно: ^а ^б Боуэн, JP; Николлс, Дж. Э., ред. (1993). Семинар пользователей Z, Лондон, 1992 г. Семинары по информатике. Спрингер.
^ «Группа пользователей Z (ZUG)» . Глобальная база данных гражданского общества . МАУ . Проверено 8 июня 2022 г.
^ Николлс, Дж. Э., изд. (1992). Семинар пользователей Z, Йорк, 1991 г. Семинары по информатике. Спрингер.
^ Боуэн, JP; Холл, Дж. А., ред. (1994). Семинар пользователей Z, Кембридж, 1994 г. Семинары по информатике. Спрингер. ISBN 3-540-19884-9 .
^ Фраппье, М., Глассер, У.; Хуршид С., Лало Р. и Ривз С. (ред.), Абстрактные государственные машины, сплавы B и Z: Вторая международная конференция, ABZ 2010, Орфорд, Квебек, Канада, 22–25 февраля 2010 г., Труды , Springer-Verlag , Конспекты лекций по информатике , том 5977, 2010. ISBN 978-3-642-11810-4 .
^ «Собрание группы пользователей Z (ZUG)» . Всемирный конгресс FM'99 . Тулуза, Франция. 20–24 сентября 1999 г. Архивировано из оригинала 6 июля 2007 г.
^ Боуэн, Япония ; Ривз, С. (2011). «От сообщества практиков к совокупности знаний: пример сообщества формальных методов». В Батлере, М .; Шульте, В. (ред.). FM 2011: Формальные методы . Конспекты лекций по информатике . Том. 6664. Берлин, Гейдельберг: Springer . стр. 308–322. дои : 10.1007/978-3-642-21437-0_24 .
^ Перейти обратно: ^а ^б «Международная конференция по абстрактным государственным автоматам, сплавам, B, TLA, VDM и Z (ABZ) - Международная конференция пользователей B и Z (ZB) - Международное собрание пользователей Z (ZUM) - Семинар пользователей Z» . ДБЛП . Проверено 28 июля 2022 г.
^ Боуэн, Джонатан (июль 2022 г.). «Группа пользователей Z: тридцать лет спустя» (PDF) . ФАКТЫ ФАКС . № 2022–2. БКС-ФАКС . стр. 50–56 . Проверено 3 августа 2022 г.
^ Бёргер, Э.; Батлер, MJ; Боуэн, JP; Бока, П., ред. (2008). Абстрактные государственные машины, B и Z, Первая международная конференция, ABZ 2008, Лондон, Великобритания, 16–18 сентября 2008 г. Спрингер, Конспект лекций по информатике, том 5238. ISBN 978-3540876021

Внешние ссылки