Top: Computers: Programming: Languages: Z:
Z (27)
Z User Group: ZUG
- Promotes use and development of Z formal specification language. History, activities, constitution, committee members, officers, large archive, tools, standardization, descriptions, meeting and conference notices, many links.
- http://www.zuser.org/
ZETA System - Environment to develop Z specification documents; integrated tool framework to edit, analyze, animate specifications, and formalisms mapped to Z; 5 tools (ESZ Checker, ZAP Compiler, Adaptors: LaTeX, HOL-Z, SMV), 2 GUIs (Emacs, Java). [Open Source, GPL] - http://uebb.cs.tu-berlin.de/zeta/
ZB2003 - The 3rd International Conference of B and Z Users, 4-6 June 2003, Turku, Finland. The 14th International Z User Meeting, The 5th International Conference on the B Method. Theme, speakers, call for papers, submissions, location, committees, tools and exhib - http://www.tucs.fi/zb2003/
|
|
|