|
Home >> Computers >> Programming >> Languages >> Z |
|
|
The Z Notation The formal specification notation Z is based on Zermelo-Fraenkel set theory and first order predicate logic. Entry from World Wide Web Virtual Library; descriptions, many links. 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. Z from FOLDOC Entry with links to several related concepts to aid learning. Community Z Tools Initiative: CZT Proposed to Z community, now under discussion. Mail list archive, proposals, comments, responses. 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 exhibitions. Object-Z Page Object-oriented extension of Z formal specification language, developed by research team at University of Queensland. Brief description, links, FAQ, tool support, publications, book reference. TCOZ Page Timed Communicating Object-Z integrates Object-Z and Timed CSP, for modeling state, concurrent events, real-time behavior, and structuring and decomposing systems to control complexity. Description, publications, book list. Z Family on the Web with Their UML Photos Treats building lightweight tools such as Web browser systems for formal specifications and methods. School of Computing, National University of Singapore. January, 2001; as postcript, and pdf files. Standard for Z Notation International Z Notation standardization effort finished in 2002 and yielded The ISO/IEC Z Standard. Brief description, links to ISO, panel members, meeting minutes, FAQ, committee drafts. ZB2002 The 2nd International Z and B Conference, Grenoble, France, 23-25 January 2002. The 13th International Z User Meeting, The 4th International Conference on the B Method. Proceedings, Tutorials and Education Session, RCS'02 Workshop. |
|
© 2005 GeneralAnswers.org