Modul CS4020-KP06, CS4020SJ14

Spezifikation und Modellierung (SpezMod14)

Dauer:

1 Semester

Angebotsturnus:

Jedes Sommersemester

Leistungspunkte:

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:

Prof. Dr. Martin Leucker

Lehrende:

Institut für Softwaretechnik und Programmiersprachen

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