|
Formale Methoden der Softwareentwicklung (FMSoft)5 ECTS (englische Bezeichnung: Formal Methods of Software Development)
Modulverantwortliche/r: Lutz Schröder Lehrende:
Lutz Schröder
Startsemester: |
WS 2012/2013 | Dauer: |
1 Semester | Turnus: |
jährlich (SS) |
Präsenzzeit: |
60 Std. | Eigenstudium: |
90 Std. | Sprache: |
Deutsch |
Lehrveranstaltungen:
Verwendbarkeit des Moduls / Einpassung in den Musterstudienplan: Das Modul ist im Kontext der folgenden Studienfächer/Vertiefungsrichtungen verwendbar:
- Informatik (Bachelor of Science)
(Po-Vers. 2009s | Praktika und Wahlpflichtbereich (5. und 6. Semester) | Wahlpflichtmodule | Vertiefungsmodul Theoretische Informatik)
- Informatik (Bachelor of Science)
(Po-Vers. 2009w | Praktika und Wahlpflichtbereich (5. und 6. Semester) | Wahlpflichtmodule | Vertiefungsmodul Theoretische Informatik)
- Informatik (Master of Science)
(Po-Vers. 2010 | Wahlpflichtbereich | Säule der theoretisch orientierten Vertiefungsrichtungen | Vertiefungsmodul Theoretische Informatik)
Studien-/Prüfungsleistungen:
Formale Methoden der Softwareentwicklung (Prüfungsnummer: 676030)
- Prüfungsleistung, mehrteilige Prüfung, benotet
- Anteil an der Berechnung der Modulnote: 100.0 %
- weitere Erläuterungen:
Die Modulnote setzt sich zu 30% aus dem Ergebnis einer 20-minütigen mündlichen Prüfung am Semesterende und zu 70% aus der Bewertung der Leistungen aus dem Übungsbetrieb zusammen.
- Erstablegung: WS 2012/2013, 1. Wdh.: SS 2013 (nur für Wiederholer), 2. Wdh.: keine Wiederholung
|
|
|
|
UnivIS ist ein Produkt der Config eG, Buckenhof |
|
|