Z 사용자 그룹

Z User Group

Z 사용자 그룹(ZUG)은 컴퓨터 기반 시스템에 대한 설명과 추론을 위한 공식 사양 언어인 Z 표기법의 사용과 개발을 촉진하기 위해 1992년에 설립되었다.[1][2]1992년 12월 14일 영국 런던에서 열린 ZUM'92 Z 사용자 회의에서[3] 정식으로 구성되었다.

회의 및 회의

ZUG는 초기에 약 18개월마다 일련의 Z 사용자 회의를 조직했다.[4][3][5]2000년부터는 ZB 콘퍼런스(B-Method와 공동조직, APCB와 공동조직), 2008년부터는 ABZ 콘퍼런스(추상적 상태 기계도 포함)가 되었다.2010년에 ABZ 컨퍼런스는 또한 관련 도구 지원을 포함하는 Z 유사 규격 언어인 합금을 포함한다.[6]

Z 사용자 그룹은 1999년 프랑스 툴루즈에서 열린 FM'99 세계 공식 메소드에 참가했다.[7]

의장 및 비서

연속적인 의자는 다음과 같다.

후임 비서관은 다음과 같다.

참고 항목

참조

  1. ^ Bowen, J.P. (September 1993). "Z User Group activities". JFIT News. 46: 5.
  2. ^ Bowen, J.P. (1994). "Z User Meeting Activities". High Integrity Systems. 1 (1): 93–94.
  3. ^ a b Bowen, J.P.; Nicholls, J.E., eds. (1993). Z User Workshop, London 1992. Workshops in Computing. Springer.
  4. ^ Nicholls, J.E., ed. (1992). Z User Workshop, York 1991. Workshops in Computing. Springer.
  5. ^ Bowen, J.P.; Hall, J.A., eds. (1994). Z User Workshop, Cambridge 1994. Workshops in Computing. Springer. ISBN 3-540-19884-9.
  6. ^ Frappier, M., Glässer, U.; , Khurshid, S., Laleau, R., and Reeves, S. (eds.), Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, February 22–25, 2010, Proceedings, Springer-Verlag, Lecture Notes in Computer Science, Volume 5977, 2010.ISBN 978-3-642-11810-4
  7. ^ "Z User Group Meeting (ZUG)". FM'99 World Congress. Toulouse, France. 20–24 September 1999. Archived from the original on July 6, 2007.

외부 링크

Stub icon

영국의 한 조직에 관한 이 기사는 단조롭다.위키피디아를 확장하여 도울 수 있다.