Ziele: Eigenschaften von Programmobjekten spezifizieren
im Vorlesungsteil:
nachlesen: PDL-Dokumentation