This flashcard is just one of a free flashcard set. See all flashcards!

    *  Z ist eine Notation für konstruktive Mengenlehre und Prädikatenlogik.
    * Mit Object-Z lässt sich Software formal spezifizieren.
          o Ein Z-Dokument besteht primär aus erklärendem Text
          o und sekundär aus einem formalen Anteil.