You are here

Home › Teaching › SS 2018 ›

Spezifikation und Modellierung

Semester: 
SS 2018
Modul: 
CS4020-KP06,
CS4020SJ14
Lecturer: 
Dr. rer. nat. Annette Stümpel
Assistants: 
Dr. rer. nat. Annette Stümpel

Spezifikationen und Modelle werden in frühen Phasen des Softwareentwicklungsprozesses erstellt, um z.B. später zu überprüfen, ob eine Realisierung die Spezifikation erfüllt. In der Vorlesung werden formale Spezfikationstechniken behandelt, wie Relationen, Mengen, Funktionen, algebraische Spezifikationen, zustandsbasierte Spezifikationen und die Spezifikation von Prozessen.

Umfang: 2V + 2Ü
Punkte: 6 ECTS
Zertifikat: Typ A

Studienplan:
Informatik Master, Basismodul Theoretische Informatik
Informatik Master, Anwendungsfach IT-Sicherheit und Zuverlässigkeit, Wahlpflicht
Entrepreneurship in digitalen Technologien Master, Fachspezifisches Wahlmodul
Medizinische Informatik Master, Basismodul Informatik, Wahlpflicht
Medieninformatik Master, Informatik, Wahlpflicht

Materialien zum Download und Ankündigungen im Moodle