Spezifikation und Modellierung

Semester: 
Modul: 
CS4020-KP06,
CS4020SJ14

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.