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

    *  Man verwendet Object-Z zur formalen Spezifikation
          o eine Alternative wär eine natürlichsprachliche Spezifikation