Modulbeschreibung
Automatische Generierung von Sourcecode aus formaler Beschreibung
Kürzel:
Durchführungszeitraum:
ECTS-Punkte:
Lernziele:
Übersicht über den aktuellen Stand der Forschung zur automatischen Codegenerierung
Beispielhaftes Umsetzen der Kenntnisse anhand des KMIP-Protokolls.
Verantwortliche Person:
Standort (angeboten):
Vorausgesetzte Module:
Modultyp:
ECTS-Punkte pro Kategorie
Modulbewertung
Bewertungsart:
Leistungsbewertung
Während des Semesters:
Im Kurs "Automatische Generierung von Sourcecode aus formaler Beschreibung“ wird ein Projekt mittels Bericht und Präsentation bewertet. Im Kurs "Übersicht erarbeiten über den Stand der Technik“ wird ein Fachvortrag bewertet.
Bewertungsart:
Gewichtung:
Im Kurs "Automatische Generierung von Sourcecode aus formaler Beschreibung“ wird ein Projekt mittels Bericht und Präsentation (Gewicht 80%) bewertet. Im Kurs "Übersicht erarbeiten über den Stand der Technik“ wird ein Fachvortrag (Gewicht 20%) bewertet.
Bemerkungen:
Kurse in diesem Modul
Automatische Generierung von Sourcecode aus formaler Beschreibungkmip4j
Kürzel:
Arbeitsaufwand:
Semester:
Lernziele:
Beispielhaftes Umsetzen der Kenntnisse über die automatische Generierung von Sourcecode aus einer formalen Spezifikation anhand des KMIP-Protokolls.
Plan und Lerninhalt:
Erarbeiten der theoretischen Grundlagen.
Umsetzen der Theorie und Erstellen eines Programms, das für das KMIP-Protokoll Source-Code erstellt.
Verifikation der Korrektheit.
Kursart:
Durchführung gemäss Stundenplan
Übersicht erarbeiten über den Stand der Technik
Kürzel:
Arbeitsaufwand:
Semester:
Lernziele:
Übersicht erarbeiten über den Stand der Wissenschaft.
Plan und Lerninhalt:
Übersicht erarbeiten über den Stand der Wissenschaft.
Kursart:
Durchführung gemäss Stundenplan