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/ 
|
|
|