|
Modulnummer:
| 12507
- Modul nicht mehr im Angebot ab WS 2023/24 |
| Modultitel: | Praktikum Software-Validation |
| |
Laboratory Software Validation
|
| Einrichtung: |
Fakultät 1 - MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik
|
| Verantwortlich: | -
Prof. Dr. rer. nat. Lambers, Leen
|
| Lehr- und Prüfungssprache: | Deutsch |
| Dauer: | 1 Semester |
| Angebotsturnus: |
jedes Semester
|
| Leistungspunkte: |
4
|
| Lernziele: | Der Studierende erwirbt grundlegende Fertigkeiten beim praktischen Einsatz formaler Modelle für die systematische Konstruktion nebenläufiger Systeme sowie Erfahrungen, mit welchen Analysetechniken welche Systemeigenschaften anhand des jeweiligen Modells analysiert werden können. |
| Inhalte: | Praktische Auseinandersetzung mit einem Werkzeug zur modell-basierten Analyse nebenläufiger Systeme. Dazu werden sowohl kleinere bereitgestellte Modelle nachvollzogen als auch ein größeres Abschlussmodell selbst entwickelt und analysiert. |
| Empfohlene Voraussetzungen: | Kenntnis des Stoffes des Moduls
- 12407: Einführung in die Nebenläufigkeit
|
| Zwingende Voraussetzungen: | keine |
| Lehrformen und Arbeitsumfang: | -
Praktikum
/ 2 SWS
-
Selbststudium
/ 90 Stunden
|
| Unterrichtsmaterialien und Literaturhinweise: | Wird zu Beginn ausgegeben. |
| Modulprüfung: | Continuous Assessment (MCA) |
| Prüfungsleistung/en für Modulprüfung: | - lauffähiger und getesteter Prototyp (50% Punkteanteil)
- vollständige Dokumentation der Programmierung (20% Punkteanteil)
- erfolgreiche Zwischenpräsentation der Ergebnisse (10% Punkteanteil)
- erfolgreiche Endpräsentation der Ergebnisse (20% Punkteanteil)
Der Umfang der Teilleistungen ist aufgabenabhängig und wird in der ersten Veranstaltung bekannt gegeben. Das Modul ist bestanden, wenn 75% der Punkte erreicht sind. |
| Bewertung der Modulprüfung: | Studienleistung - unbenotet |
| Teilnehmerbeschränkung: | keine |
| Zuordnung zu Studiengängen: | - keine Zuordnung vorhanden
|
| Bemerkungen: | - Studiengang Informatik M.Sc.: Wahlpflichtmodul im Komplex „Seminare oder Praktika“
(Niveaustufe 500) - Studiengang Informations- und Medientechnik M.Sc.: Wahlpflichtmodul im Komplex „Zuverlässige HW/SW-Systeme“ (Praktikum)
- Studiengang Künstliche Intelligenz Technologie M.Sc.: Wahlpflichtmodul im Komplex „Software-basierte Systeme“
|
| Veranstaltungen zum Modul: | - 128140 Praktikum Software-Validation
|
| Veranstaltungen im aktuellen Semester: | - keine Zuordnung vorhanden
|
| Nachfolgemodul/e: |
Auslaufmodul ab: 20.01.2023
|
