Modul CS4020-KP06, CS4020SJ14
Spezifikation und Modellierung (SpezMod14)
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, fachspezifisch, 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 Prüfungsvorbereitung
- 80 Stunden Selbststudium und Aufgabenbearbeitung
- 60 Stunden Präsenzstudium
- 20 Stunden Eigenständige Projektarbeit
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
Modulverantwortliche:
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 Änderungen:
06.01.2025