Dauer:
1 Semester | Angebotsturnus:
Jedes Sommersemester | Leistungspunkte:
6 |
Studiengang, Fachgebiet und Fachsemester: - Master Medieninformatik 2020 (Wahlpflicht), Informatik, 3. Fachsemester
- Master Entrepreneurship in digitalen Technologien 2020 (Vertiefungsmodul), Technologiefach Informatik, Beliebiges Fachsemester
- Master Informatik 2019 (Basismodul), Theoretische Informatik, 1. oder 2. Fachsemester
- Master Medizinische Informatik 2019 (Wahlpflicht), Theoretische Informatik, 1. oder 2. Fachsemester
- Master IT-Sicherheit 2019 (Pflicht), Theoretische Informatik, 1. oder 2. Fachsemester
- Master Medizinische Informatik 2014 (Basismodul), Informatik, 1. oder 2. Fachsemester
- Master Medieninformatik 2014 (Wahlpflicht), Informatik, Beliebiges Fachsemester
- Master Entrepreneurship in digitalen Technologien 2014 (Basismodul), Technologiefach Informatik, 1. oder 2. Fachsemester
- Master Informatik 2014 (Wahlpflicht), Anwendungsfach IT-Sicherheit und Zuverlässigkeit, 2. oder 3. Fachsemester
- Master Informatik 2014 (Basismodul), Theoretische Informatik, 1. oder 2. Fachsemester
|
Lehrveranstaltungen: - CS4020-Ü: Spezifikation und Modellierung (Übung, 2 SWS)
- CS4020-V: Spezifikation und Modellierung (Vorlesung, 2 SWS)
| Workload: - 20 Stunden Eigenständige Projektarbeit
- 60 Stunden Präsenzstudium
- 80 Stunden Selbststudium und Aufgabenbearbeitung
- 20 Stunden Prüfungsvorbereitung
| |
Lehrinhalte: | - Einführung in Modellierung und Spezifikation
- Modellierungskonzepte (Daten, Ströme, Abläufe, Diagramme, Tabellen)
- Modellierung von Software-Komponenten (Zustand, Verhalten, Struktur, Schnittstelle)
- Modellierung von Nebenläufigkeit
- Algebraische Spezifikation
- Arbeiten mit Spezifikationen und Modellen (Komposition, Verfeinerung, Analyse, Transformation)
- Sprachen und Werkzeuge für Spezifikation und Modellierung
| |
Qualifikationsziele/Kompetenzen: - Die Studierenden können über die Rolle von Spezifikation und Modellierung in der Softwareentwicklung argumentieren.
- Sie können wichtige Spezifikations- und Modellierungstechniken charakterisieren, anwenden, anpassen und erweitern.
- Sie können einfache informatische Systeme angemessen modellieren und spezifizieren.
- Sie können ein System aus verschiedenen Sichten und auf verschiedenen Abstraktionsebenen beschreiben.
- Sie können Spezifikation und Modellierung in der Softwareentwicklung einsetzen.
- Sie können Spezifikationen und Modelle analysieren.
|
Vergabe von Leistungspunkten und Benotung durch: - Klausur oder mündliche Prüfung nach Maßgabe des Dozenten
|
Modulverantwortlicher: Lehrende: |
Literatur: - V.S. Alagar, K. Periyasamy: Specification of Software Systems - Springer 2013
- M. Broy, K. Stølen: Specification and Development of Interactive Systems - Springer 2001
- J. Loeckx, H.-D. Ehrich, M. Wolf: Specification of Abstract Data Types - John Wiley & Sons 1997
- D. Bjorner: Software Enginneering 1-3 - Springer 2006
- U. Kastens, H. Kleine Büning: Modellierung - Grundlagen und formale Methoden - Hanser 2005
|
Sprache: - Sowohl Deutsch- wie Englischkenntnisse nötig
|
Bemerkungen:Zulassungsvoraussetzungen zur Belegung des Moduls:
- Keine
Zulassungsvoraussetzungen zur Teilnahme an Modul-Prüfung(en):
- Erfolgreiche Bearbeitung von Übungsaufgaben gemäß Vorgabe am Semesteranfang
Modulprüfung(en):
- CS4020-L1: Spezifikation und Modellierung, Klausur, 90min, 100% der Modulnote |
Letzte Änderung: 1.2.2022 |
für die Ukraine