Modulbeschreibung

Automatische Generierung von Sourcecode aus formaler Beschreibung

Übersicht über den aktuellen Stand der Forschung zur automatischen Codegenerierung

Beispielhaftes Umsetzen der Kenntnisse anhand des KMIP-Protokolls.

Erarbeiten der theoretischen Grundlagen.

Umsetzen der Theorie und Erstellen eines Programms, das für das KMIP-Protokoll Source-Code erstellt.

Verifikation der Korrektheit.

Projekt mit undefined Lektionen pro Woche

Übersicht erarbeiten über den Stand der Wissenschaft.

Selbststudium mit undefined Lektionen pro Woche

Diese Beschreibung ist rechtlich nicht verbindlich! Weitere Informationen finden Sie in der detaillierten Modulbeschreibung.