MH Master Lehramt an Berufsbildenden Schulen
MH Master Lehramt an Berufsbildenden Schulen
MH Master Lehramt an Berufsbildenden Schulen
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
M.Ed. <strong>Lehramt</strong> <strong>an</strong> berufsbildenden <strong>Schulen</strong> – Modulh<strong>an</strong>dbuch<br />
Studieng<strong>an</strong>g:<br />
Fachrichtung:<br />
Modul:<br />
Learning Outcomes:<br />
<strong>Master</strong> of Education <strong>Lehramt</strong> <strong>an</strong> berufsbildenden <strong>Schulen</strong><br />
Informationstechnik (IT)<br />
Schwerpunkt II Systeminformatik: Spezifikationstechnik (Wahlpflichtmodul); Angebot im<br />
SoSe; Dauer: 1 Semester<br />
Die Studierenden<br />
− beschreiben charakteristische Methoden der formalen Spezifikation<br />
− können <strong>an</strong> Beispiel unterschiedlicher Software-Artefakte aufzeigen, w<strong>an</strong>n der Einsatz formaler Spezifikation<br />
sinnvoll ist.<br />
− wenden ihre Kenntnisse über Potentiale und Grenzen formaler Methoden auf ausgewählte<br />
Problemstellungen <strong>an</strong> und entwickeln geeignete Problemlösungsstrategien<br />
Inhalt:<br />
−<br />
−<br />
−<br />
−<br />
−<br />
Formale versus informale Spezifikation<br />
Spezifikation, Validierung, Verifikation, Generierung<br />
Spezifikation abstrakter Datentypen<br />
Spezifikation von zeitlichen Abläufen und Prozessen, Anwendungsbeispiel: Protokollspezifikation<br />
Konkrete Spezifikationssprachen und Werkzeuge<br />
Lehrformen:<br />
Voraussetzung für die Teilnahme:<br />
Präsenzzeit/Lernzeit/Arbeitsaufw<strong>an</strong>d:<br />
Leistungsnachweise:<br />
Modulabschlussprüfung:<br />
Credits:<br />
Modulver<strong>an</strong>twortlicher:<br />
Vorlesung, Übung<br />
Einführung in die Informatik, Algorithmen und Datenstrukturen<br />
4 SWS; 56h/94h/150h<br />
Klausur<br />
5 CP<br />
FIN/ITI; Jun.-Prof. Dr. Fr<strong>an</strong>k Ortmeier<br />
31
Change language