Spezifikation und Modellierung

Semester:

SS 2017

Modul:

CS4020-KP06,

CS4020SJ14

Lecturer:

Spezifikationen und Modelle werden in frühen Phasen des Softwareentwiclungsprozesses 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, Basismodul Theoretische Informatik
Medizinische Informatik Master, Basismodul Informatik, Wahlpflicht
Medieninformatik Master, Informatik, Wahlpflicht

Materialien zum Download und Ankündigungen im Moodle

Search form

You are here

Spezifikation und Modellierung