| 词条 | Z User Group |
| 释义 |
The Z User Group exists to promote use and development of the Z notation, a formal specification language for the description of and reasoning about computer-based systems.[1][2] It was formally constituted on 14 December 1992 during the ZUM'92 Z User Meeting[3] in London, England. Meetings and conferencesZUG has organised a series of Z User Meetings approximately every 18 months initially.[3][4][5] From 2000, these became the ZB Conference (jointly with the B-Method, co-organized with APCB), and from 2008 the ABZ Conference (with Abstract State Machines as well). In 2010, the ABZ Conference also includes Alloy, a Z-like specification language with associated tool support.[6] The Z User Group participated at the FM'99 World Congress on Formal Methods in Toulouse, France, in 1999.[7] Chair and secretarySuccessive chairs have been:
Successive secretaries have been:
See also
References1. ^{{cite article| first=J.P. | last=Bowen | authorlink=Jonathan Bowen | title=Z User Group activities| journal=JFIT News | volume=46 | page=5 | date=September 1993 }} 2. ^{{cite article| first=J.P. | last=Bowen | title=Z User Meeting Activities | journal=High Integrity Systems | volume=1 | number=1 | pages=93–94 | year=1994 }} 3. ^{{cite book| title=Z User Workshop, York 1991 | url=https://books.google.com/books?isbn=1447132033 | editor-first=J.E. | editor-last=Nicholls | year=1992 | publisher=Springer | series=Workshops in Computing }} 4. ^1 {{cite book| title=Z User Workshop, London 1992 | url=https://books.google.com/books?isbn=1447135563 | editor-first1=J.P. | editor-last1=Bowen | editor-first2=J.E. | editor-last2=Nicholls | year=1993 | publisher=Springer | series=Workshops in Computing }} 5. ^{{cite book| title=Z User Workshop, Cambridge 1994 | url=https://books.google.com/books?isbn=1447134524 | ISBN=3-540-19884-9 | editor-first1=J.P. | editor-last1=Bowen | editor-first2=J.A. | editor-last2=Hall | year=1994 | publisher=Springer | series=Workshops in Computing }} 6. ^Frappier, M., Glässer, U.; , Khurshid, S., Laleau, R., and Reeves, S. (eds.), [https://www.springer.com/computer/theoretical+computer+science/book/978-3-642-11810-4 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. ^{{cite web| url=https://web.archive.org/web/20070706210024/vl.fmnet.info/fm99/usergroups/zug.html | title=Z User Group Meeting (ZUG) | work=FM'99 World Congress | location=Toulouse, France | date=20–24 September 1999 }} External links
6 : 1992 establishments in the United Kingdom|Organizations established in 1992|Formal methods organizations|Z notation|User groups|Computer clubs in the United Kingdom |
| 随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。