Report - AG Datenbank- und Informationssysteme · Anforderungen, Modell des ... Mit OCL lassen sich Invarianten über die Struktur von Modellen spezifizieren ... (auch Zustandsautomat genannt)

Please pass captcha verification before submit form