You are here

Home › Teaching › WS 2012/2013 ›

Spezifikation und Modellierung

Semester: 
WS 2012/2013
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 2012/2013
Vorlesung
Thursday 10:15-11:45 AM S1

Übungsgruppe 1
Friday 11:00-11:45 Seminarraum Informatik 2/3

Übungsgruppe 2
Friday 12:15-13:00 Seminarraum Informatik 5

Vorlesung
Thursday October 18, 2012 10:15-11:45 (AM S1)
Thursday October 25, 2012 10:15-11:45 (AM S1)
Thursday November 1, 2012 10:15-11:45 (AM S1)
Thursday November 8, 2012 10:15-11:45 (AM S1)
Thursday November 15, 2012 10:15-11:45 (AM S1)
Thursday November 22, 2012 10:15-11:45 (AM S1)
Thursday November 29, 2012 10:15-11:45 (AM S1)
Thursday December 6, 2012 10:15-11:45 (AM S1)
Thursday December 13, 2012 10:15-11:45 (AM S1)
Thursday December 20, 2012 10:15-11:45 (AM S1)
Thursday January 10, 2013 10:15-11:45 (AM S1)
Thursday January 17, 2013 10:15-11:45 (AM S1)
Thursday January 24, 2013 10:15-11:45 (AM S1)
Thursday January 31, 2013 10:15-11:45 (AM S1)
Thursday February 7, 2013 10:15-11:45 (AM S1)
Thursday February 14, 2013 10:15-11:45 (AM S1)

Übungsgruppe 1
Friday October 19, 2012 11:00-11:45 (Seminarraum Informatik 2/3)
Friday October 26, 2012 11:00-11:45 (Seminarraum Informatik 2/3)
Friday November 2, 2012 11:00-11:45 (Seminarraum Informatik 2/3)
Friday November 9, 2012 11:00-11:45 (Seminarraum Informatik 2/3)
Friday November 16, 2012 11:00-11:45 (Seminarraum Informatik 2/3)
Friday November 23, 2012 11:00-11:45 (Seminarraum Informatik 2/3)
Friday November 30, 2012 11:00-11:45 (Seminarraum Informatik 2/3)
Friday December 7, 2012 11:00-11:45 (Seminarraum Informatik 2/3)
Friday December 14, 2012 11:00-11:45 (Seminarraum Informatik 2/3)
Friday December 21, 2012 11:00-11:45 (Seminarraum Informatik 2/3)
Friday January 11, 2013 11:00-11:45 (Seminarraum Informatik 2/3)
Friday January 18, 2013 11:00-11:45 (Seminarraum Informatik 2/3)
Friday January 25, 2013 11:00-11:45 (Seminarraum Informatik 2/3)
Friday February 1, 2013 11:00-11:45 (Seminarraum Informatik 2/3)
Friday February 8, 2013 11:00-11:45 (Seminarraum Informatik 2/3)
Friday February 15, 2013 11:00-11:45 (Seminarraum Informatik 2/3)

Übungsgruppe 2
Friday October 19, 2012 12:15-13:00 (Seminarraum Informatik 5)
Friday October 26, 2012 12:15-13:00 (Seminarraum Informatik 5)
Friday November 2, 2012 12:15-13:00 (Seminarraum Informatik 5)
Friday November 9, 2012 12:15-13:00 (Seminarraum Informatik 5)
Friday November 16, 2012 12:15-13:00 (Seminarraum Informatik 5)
Friday November 23, 2012 12:15-13:00 (Seminarraum Informatik 5)
Friday November 30, 2012 12:15-13:00 (Seminarraum Informatik 5)
Friday December 7, 2012 12:15-13:00 (Seminarraum Informatik 5)
Friday December 14, 2012 12:15-13:00 (Seminarraum Informatik 5)
Friday December 21, 2012 12:15-13:00 (Seminarraum Informatik 5)
Friday January 11, 2013 12:15-13:00 (Seminarraum Informatik 5)
Friday January 18, 2013 12:15-13:00 (Seminarraum Informatik 5)
Friday January 25, 2013 12:15-13:00 (Seminarraum Informatik 5)
Friday February 1, 2013 12:15-13:00 (Seminarraum Informatik 5)
Friday February 8, 2013 12:15-13:00 (Seminarraum Informatik 5)
Friday February 15, 2013 12:15-13:00 (Seminarraum Informatik 5)

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.