Z++
     
         An {object-oriented} extension of {Z}.
     
        ["Z++, an Object-Oriented Extension to Z", Lano, Z User
        Workshop, Oxford 1990, Springer Workshops in Computing, 1991,
        pp.-172].
     
        (1995-04-22)
     
     

Z
     
        /zed/  1. (After {Zermelo-Frankel set  theory}) A {specification language} developed by the
        {Programming Research Group} at Oxford University around 1980.
        Z is used for describing and modelling computing systems.  It
        is based on {axiomatic set theory} and {first order predicate  logic}.  Z is written using many non-{ASCII} symbols.  It was
        used in the {IBM} {CICS} project.
     
        See also {Z++}.
     
        ["Understanding Z", J.M. Spivey, Cambridge U Press 1988].
     
        2.  A {stack}-based, complex arithmetic
        {simulation} language from {ZOLA Technologies}.
     
        (1995-08-11)