CoboCards App FAQ & Wünsche Feedback
Sprache: Deutsch Sprache
Kostenlos registrieren  Login

Zu dieser Karteikarte gibt es einen kompletten Satz an Karteikarten. Kostenlos!

Alle Oberthemen / Informatik / Softwaretechnik / Softwaretechnik 1
86
84. Was ist Object-Z?
    *  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.
Neuer Kommentar
Karteninfo:
Autor: noobMan
Oberthema: Informatik
Thema: Softwaretechnik
Veröffentlicht: 02.02.2010

Abbrechen
E-Mail

Passwort

Login    

Passwort vergessen?
Deutsch  English