Z and Set-based Speciication 4.1 Overview


    The speciication language Z (pronounced \Zed") has goals similar to those of Larch, but based on the model of set theory. In Z, everything is a set. Sets, with the usual operations of union, intersection, and membership, familiar from high-school math and introductory Discrete Math courses, are pushed to the limit and augmented by adding new notations, so… (More)

    1 Figure or Table


    • Presentations referencing similar topics