Spezifikation und Modellierung

Semester: 
Modul: 
CS4020

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.

WS 2013/2014
Vorlesung
Thursday 10:15-11:45 AM S1

Übungsgruppe 1
Friday 11:00-11:45 Karp/Cook (Seminarraum Informatik 2/3)

Übungsgruppe 2
Friday 12:15-13:00 Karp/Cook (Seminarraum Informatik 2/3)

Vorlesung
Thursday October 24, 2013 10:15-11:45 (AM S1)
Thursday October 31, 2013 10:15-11:45 (AM S1)
Thursday November 7, 2013 10:15-11:45 (AM S1)
Thursday November 14, 2013 10:15-11:45 (AM S1)
Thursday November 21, 2013 10:15-11:45 (AM S1)
Thursday November 28, 2013 10:15-11:45 (AM S1)
Thursday December 5, 2013 10:15-11:45 (AM S1)
Thursday December 12, 2013 10:15-11:45 (AM S1)
Thursday December 19, 2013 10:15-11:45 (AM S1)
Thursday January 9, 2014 10:15-11:45 (AM S1)
Thursday January 16, 2014 10:15-11:45 (AM S1)
Thursday January 23, 2014 10:15-11:45 (AM S1)
Thursday January 30, 2014 10:15-11:45 (AM S1)
Thursday February 6, 2014 10:15-11:45 (AM S1)
Thursday February 13, 2014 10:15-11:45 (AM S1)

Übungsgruppe 1
Friday November 8, 2013 11:00-11:45 (Karp/Cook (Seminarraum Informatik 2/3))
Friday November 15, 2013 11:00-11:45 (Karp/Cook (Seminarraum Informatik 2/3))
Friday November 22, 2013 11:00-11:45 (Karp/Cook (Seminarraum Informatik 2/3))
Friday November 29, 2013 11:00-11:45 (Karp/Cook (Seminarraum Informatik 2/3))
Friday December 6, 2013 11:00-11:45 (Karp/Cook (Seminarraum Informatik 2/3))
Friday December 13, 2013 11:00-11:45 (Karp/Cook (Seminarraum Informatik 2/3))
Friday December 20, 2013 11:00-11:45 (Karp/Cook (Seminarraum Informatik 2/3))
Friday January 10, 2014 11:00-11:45 (Karp/Cook (Seminarraum Informatik 2/3))
Friday January 17, 2014 11:00-11:45 (Karp/Cook (Seminarraum Informatik 2/3))
Friday January 24, 2014 11:00-11:45 (Karp/Cook (Seminarraum Informatik 2/3))
Friday January 31, 2014 11:00-11:45 (Karp/Cook (Seminarraum Informatik 2/3))
Friday February 7, 2014 11:00-11:45 (Karp/Cook (Seminarraum Informatik 2/3))
Friday February 14, 2014 11:00-11:45 (Karp/Cook (Seminarraum Informatik 2/3))

Übungsgruppe 2
Friday November 8, 2013 12:15-13:00 (Karp/Cook (Seminarraum Informatik 2/3))
Friday November 15, 2013 12:15-13:00 (Karp/Cook (Seminarraum Informatik 2/3))
Friday November 22, 2013 12:15-13:00 (Karp/Cook (Seminarraum Informatik 2/3))
Friday November 29, 2013 12:15-13:00 (Karp/Cook (Seminarraum Informatik 2/3))
Friday December 6, 2013 12:15-13:00 (Karp/Cook (Seminarraum Informatik 2/3))
Friday December 13, 2013 12:15-13:00 (Karp/Cook (Seminarraum Informatik 2/3))
Friday December 20, 2013 12:15-13:00 (Karp/Cook (Seminarraum Informatik 2/3))
Friday January 10, 2014 12:15-13:00 (Karp/Cook (Seminarraum Informatik 2/3))
Friday January 17, 2014 12:15-13:00 (Karp/Cook (Seminarraum Informatik 2/3))
Friday January 24, 2014 12:15-13:00 (Karp/Cook (Seminarraum Informatik 2/3))
Friday January 31, 2014 12:15-13:00 (Karp/Cook (Seminarraum Informatik 2/3))
Friday February 7, 2014 12:15-13:00 (Karp/Cook (Seminarraum Informatik 2/3))
Friday February 14, 2014 12:15-13:00 (Karp/Cook (Seminarraum Informatik 2/3))

click to view Dates.