---

Add URL

My Sites

My Account

Contact Us

Search only in Z   Search the Web

 Home » Programming » Languages » Z

Categories

Books (17)

 Related Categories:
    Computers » Programming » Languages » Garbage Collected
    Computers » Programming » Languages » Specification  (18)
    Computers » Software » Software Engineering  (181)

Web Pages    1 - 10   {18}

1 - Professor Jonathan Bowen   ZUG webmaster; Computing Professor, South Bank University, heads Centre for Applied Formal Methods. Interests: FM, safety-critical systems, Z, provably correct systems, and rapid prototyping via logic programming. 1994 Babbage Premium award winner. http://www.jpbowen.com/   [more pages from this URL]     2 - 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/   [more pages from this URL]     3 - 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. http://www-lsr.imag.fr/zb2002/   [more pages from this URL]     4 - Z/EVES   Front-end to EVES verification system, integrates leading specification notation and state-of-art automated deduction. Descriptions, documents, screenshots, download, links, User Group; Z Browser for use under Windows and using web browsers. http://www.ora.on.ca/z-eves/   [more pages from this URL]     5 - The Z Notation   The World Wide Web Virtual Library entry for the Z formal specification language, providing links to resources around the world. http://www.zuser.org/z/   [more pages from this URL]     6 - 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/   [more pages from this URL]     7 - Community Z Tools Initiative: CZT   Proposed to Z community, now under discussion. Mail list archive, proposals, comments, responses. http://web.comlab.ox.ac.uk/oucl/work/andrew.martin/CZT/   [more pages from this URL]     8 - 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. http://www.comp.nus.edu.sg/~dongjs/tcoz.html   [more pages from this URL]     9 - 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. http://www.afm.sbu.ac.uk/z/   [more pages from this URL]     10 - 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. http://www.itee.uq.edu.au/~smith/objectz.html   [more pages from this URL]

1  2  Next »»

E-Mail Add URL