Modulbeschreibung

Automatische Generierung von Sourcecode aus formaler Beschreibung

Kurzzeichen:

M_VP_19815

ECTS-Credits:

Leitidee:

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

Beispielhaftes Umsetzen der Kenntnisse anhand des KMIP-Protokolls.

Modulverantwortung:

Grun Rolf

Standort (angeboten):

Buchs

Vorausgesetzte Module:

Weiterentwicklung und Ergänzung der kmip4j (M_VP_18724, HS/18)

Modultyp:

Wahlpflicht-Modul für MSE Master of Science in Engineering BB STD_08 (BU)(Keine Semesterempfehlung)Kategorie:Fachliche Vertiefung (MSE-FachV)

Wahlpflicht-Modul für MSE Master of Science in Engineering BB STD_13 (BU)(Keine Semesterempfehlung)Kategorie:Fachliche Vertiefung (MSE-FachV)

Wahlpflicht-Modul für MSE Master of Science in Engineering BB STD_16 (BU)(Keine Semesterempfehlung)Kategorie:Fachliche Vertiefung (MSE-FachV)

Wahlpflicht-Modul für MSE Master of Science in Engineering VZ STD_08 (BU)(Keine Semesterempfehlung)Kategorie:Fachliche Vertiefung (MSE-FachV)

Wahlpflicht-Modul für MSE Master of Science in Engineering VZ STD_13 (BU)(Keine Semesterempfehlung)Kategorie:Fachliche Vertiefung (MSE-FachV)

Wahlpflicht-Modul für MSE Master of Science in Engineering VZ STD_16 (BU)(Keine Semesterempfehlung)Kategorie:Fachliche Vertiefung (MSE-FachV)

Wahlpflicht-Modul für Technik und IT MSE_20(Keine Semesterempfehlung)Kategorie:Fachliche Vertiefung (MSE-FachV)

Modulbewertung:

Note von 1 - 6

Leistungsnachweise und deren Gewichtung

Während der Unterrichtsphase:

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:

Note von 1 - 6

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:

Inhalte

Angestrebte Lernergebnisse (Abschlusskompetenzen):

Beispielhaftes Umsetzen der Kenntnisse über die automatische Generierung von Sourcecode aus einer formalen Spezifikation anhand des KMIP-Protokolls.

Modul- 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.