Website
Modulhandbuch vor WS 2014/15

Modul CS4020

Spezifikation und Modellierung (SpezMod)

Dauer:


1 Semester
Angebotsturnus:


Jedes Wintersemester
Leistungspunkte:


4
Studiengang, Fachgebiet und Fachsemester:
  • Master Mathematik in Medizin und Lebenswissenschaften 2010 (Wahl), Informatik, Beliebiges Fachsemester
  • Master Informatik 2012 (Pflicht), Informatik-Pflichtveranstaltungen, 1. Fachsemester
Lehrveranstaltungen:
  • CS4020-V: Spezifikation und Modellierung (Vorlesung, 2 SWS)
  • CS4020-Ü: Spezifikation und Modellierung (Übung, 1 SWS)
Workload:
  • 15 Stunden Prüfungsvorbereitung
  • 60 Stunden Selbststudium und Aufgabenbearbeitung
  • 45 Stunden Präsenzstudium
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.
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 2011
  • 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
Letzte Änderung:
17.7.2019

Modulhandbuch online

Zur Liste aller Module

Modulhandbuch als PDF