You are here

Home › Teaching › WS 2013/2014 ›

Spezifikation und Modellierung

Semester: 
WS 2013/2014
Modul: 
CS4020
Lecturer: 
Dr. rer. nat. Annette Stümpel

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.

Umfang: 2V + 1 Ü
Punkte: 4 ECTS
Zertifikat: Typ A

Studienplan:
Informatik Master, 1. Semester, Kernbereich Informatik, Pflicht
Mathematik in Medizin und Lebenswissenschaften Master, beliebiges Semester, Wahl Informatik

Mailingliste

Alle wichtigen Informationen zur Veranstaltung Spezifikation und Modellierung werden ausschließlich über diese Mailingliste verteilt. Es wird dringend empfohlen, dass sich alle Studierenden eintragen. Der Zugriff ist nur innerhalb der Domäne "....uni-luebeck.de" möglich.

Mailingliste Spezifikation und Modellierung abonnieren.