Report copyright - 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