Umfang: 2V + 1 Ü
Punkte: 4 ECTS
Zertifikat: Typ A
Studienplan:
Informatik Master Studienbeginn vor WS 2014/15, Kernbereich Informatik, Pflicht
Mathematik in Medizin und Lebenswissenschaften Master, Wahl Informatik
Spezifikation und Modellierung (4 ECTS)
Semester:
Modul:
CS4020
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.
Vorlesung
Tuesday October 21, 2014 10:15-11:45 (Seminarraum Informatik 4 (Minsky))
Tuesday October 28, 2014 10:15-11:45 (Seminarraum Informatik 4 (Minsky))
Tuesday November 4, 2014 10:15-11:45 (Seminarraum Informatik 4 (Minsky))
Tuesday November 11, 2014 10:15-11:45 (Seminarraum Informatik 4 (Minsky))
Tuesday November 18, 2014 10:15-11:45 (Seminarraum Informatik 4 (Minsky))
Tuesday November 25, 2014 10:15-11:45 (Seminarraum Informatik 4 (Minsky))
Tuesday December 2, 2014 10:15-11:45 (Seminarraum Informatik 4 (Minsky))
Tuesday December 9, 2014 10:15-11:45 (Seminarraum Informatik 4 (Minsky))
Tuesday December 16, 2014 10:15-11:45 (Seminarraum Informatik 4 (Minsky))
Tuesday January 13, 2015 10:15-11:45 (Seminarraum Informatik 4 (Minsky))
Tuesday January 20, 2015 10:15-11:45 (Seminarraum Informatik 4 (Minsky))
Tuesday January 27, 2015 10:15-11:45 (Seminarraum Informatik 4 (Minsky))
Tuesday February 3, 2015 10:15-11:45 (Seminarraum Informatik 4 (Minsky))
Tuesday February 10, 2015 10:15-11:45 (Seminarraum Informatik 4 (Minsky))
Tuesday February 17, 2015 10:15-11:45 (Seminarraum Informatik 4 (Minsky))
Übungsgruppe Fr
Friday October 24, 2014 12:00-13:00 (Karp/Cook (Seminarraum Informatik 2/3))
Friday October 31, 2014 12:00-13:00 (Karp/Cook (Seminarraum Informatik 2/3))
Friday November 7, 2014 12:00-13:00 (Karp/Cook (Seminarraum Informatik 2/3))
Friday November 14, 2014 12:00-13:00 (Karp/Cook (Seminarraum Informatik 2/3))
Friday November 21, 2014 12:00-13:00 (Karp/Cook (Seminarraum Informatik 2/3))
Friday November 28, 2014 12:00-13:00 (Karp/Cook (Seminarraum Informatik 2/3))
Friday December 5, 2014 12:00-13:00 (Karp/Cook (Seminarraum Informatik 2/3))
Friday December 12, 2014 12:00-13:00 (Karp/Cook (Seminarraum Informatik 2/3))
Friday December 19, 2014 12:00-13:00 (Karp/Cook (Seminarraum Informatik 2/3))
Friday January 16, 2015 12:00-13:00 (Karp/Cook (Seminarraum Informatik 2/3))
Friday January 23, 2015 12:00-13:00 (Karp/Cook (Seminarraum Informatik 2/3))
Friday January 30, 2015 12:00-13:00 (Karp/Cook (Seminarraum Informatik 2/3))
Friday February 6, 2015 12:00-13:00 (Karp/Cook (Seminarraum Informatik 2/3))
Friday February 13, 2015 12:00-13:00 (Karp/Cook (Seminarraum Informatik 2/3))
Friday February 20, 2015 12:00-13:00 (Karp/Cook (Seminarraum Informatik 2/3))
Übungsgruppe Di
Tuesday October 21, 2014 14:00-15:00 (Karp/Cook (Seminarraum Informatik 2/3))
Tuesday October 28, 2014 14:00-15:00 (Karp/Cook (Seminarraum Informatik 2/3))
Tuesday November 4, 2014 14:00-15:00 (Karp/Cook (Seminarraum Informatik 2/3))
Tuesday November 11, 2014 14:00-15:00 (Karp/Cook (Seminarraum Informatik 2/3))
Tuesday November 18, 2014 14:00-15:00 (Karp/Cook (Seminarraum Informatik 2/3))
Tuesday November 25, 2014 14:00-15:00 (Karp/Cook (Seminarraum Informatik 2/3))
Tuesday December 2, 2014 14:00-15:00 (Karp/Cook (Seminarraum Informatik 2/3))
Tuesday December 9, 2014 14:00-15:00 (Karp/Cook (Seminarraum Informatik 2/3))
Tuesday December 16, 2014 14:00-15:00 (Karp/Cook (Seminarraum Informatik 2/3))
Tuesday January 13, 2015 14:00-15:00 (Karp/Cook (Seminarraum Informatik 2/3))
Tuesday January 20, 2015 14:00-15:00 (Karp/Cook (Seminarraum Informatik 2/3))
Tuesday January 27, 2015 14:00-15:00 (Karp/Cook (Seminarraum Informatik 2/3))
Tuesday February 3, 2015 14:00-15:00 (Karp/Cook (Seminarraum Informatik 2/3))
Tuesday February 10, 2015 14:00-15:00 (Karp/Cook (Seminarraum Informatik 2/3))
Tuesday February 17, 2015 14:00-15:00 (Karp/Cook (Seminarraum Informatik 2/3))
Tuesday October 21, 2014 10:15-11:45 (Seminarraum Informatik 4 (Minsky))
Tuesday October 28, 2014 10:15-11:45 (Seminarraum Informatik 4 (Minsky))
Tuesday November 4, 2014 10:15-11:45 (Seminarraum Informatik 4 (Minsky))
Tuesday November 11, 2014 10:15-11:45 (Seminarraum Informatik 4 (Minsky))
Tuesday November 18, 2014 10:15-11:45 (Seminarraum Informatik 4 (Minsky))
Tuesday November 25, 2014 10:15-11:45 (Seminarraum Informatik 4 (Minsky))
Tuesday December 2, 2014 10:15-11:45 (Seminarraum Informatik 4 (Minsky))
Tuesday December 9, 2014 10:15-11:45 (Seminarraum Informatik 4 (Minsky))
Tuesday December 16, 2014 10:15-11:45 (Seminarraum Informatik 4 (Minsky))
Tuesday January 13, 2015 10:15-11:45 (Seminarraum Informatik 4 (Minsky))
Tuesday January 20, 2015 10:15-11:45 (Seminarraum Informatik 4 (Minsky))
Tuesday January 27, 2015 10:15-11:45 (Seminarraum Informatik 4 (Minsky))
Tuesday February 3, 2015 10:15-11:45 (Seminarraum Informatik 4 (Minsky))
Tuesday February 10, 2015 10:15-11:45 (Seminarraum Informatik 4 (Minsky))
Tuesday February 17, 2015 10:15-11:45 (Seminarraum Informatik 4 (Minsky))
Übungsgruppe Fr
Friday October 24, 2014 12:00-13:00 (Karp/Cook (Seminarraum Informatik 2/3))
Friday October 31, 2014 12:00-13:00 (Karp/Cook (Seminarraum Informatik 2/3))
Friday November 7, 2014 12:00-13:00 (Karp/Cook (Seminarraum Informatik 2/3))
Friday November 14, 2014 12:00-13:00 (Karp/Cook (Seminarraum Informatik 2/3))
Friday November 21, 2014 12:00-13:00 (Karp/Cook (Seminarraum Informatik 2/3))
Friday November 28, 2014 12:00-13:00 (Karp/Cook (Seminarraum Informatik 2/3))
Friday December 5, 2014 12:00-13:00 (Karp/Cook (Seminarraum Informatik 2/3))
Friday December 12, 2014 12:00-13:00 (Karp/Cook (Seminarraum Informatik 2/3))
Friday December 19, 2014 12:00-13:00 (Karp/Cook (Seminarraum Informatik 2/3))
Friday January 16, 2015 12:00-13:00 (Karp/Cook (Seminarraum Informatik 2/3))
Friday January 23, 2015 12:00-13:00 (Karp/Cook (Seminarraum Informatik 2/3))
Friday January 30, 2015 12:00-13:00 (Karp/Cook (Seminarraum Informatik 2/3))
Friday February 6, 2015 12:00-13:00 (Karp/Cook (Seminarraum Informatik 2/3))
Friday February 13, 2015 12:00-13:00 (Karp/Cook (Seminarraum Informatik 2/3))
Friday February 20, 2015 12:00-13:00 (Karp/Cook (Seminarraum Informatik 2/3))
Übungsgruppe Di
Tuesday October 21, 2014 14:00-15:00 (Karp/Cook (Seminarraum Informatik 2/3))
Tuesday October 28, 2014 14:00-15:00 (Karp/Cook (Seminarraum Informatik 2/3))
Tuesday November 4, 2014 14:00-15:00 (Karp/Cook (Seminarraum Informatik 2/3))
Tuesday November 11, 2014 14:00-15:00 (Karp/Cook (Seminarraum Informatik 2/3))
Tuesday November 18, 2014 14:00-15:00 (Karp/Cook (Seminarraum Informatik 2/3))
Tuesday November 25, 2014 14:00-15:00 (Karp/Cook (Seminarraum Informatik 2/3))
Tuesday December 2, 2014 14:00-15:00 (Karp/Cook (Seminarraum Informatik 2/3))
Tuesday December 9, 2014 14:00-15:00 (Karp/Cook (Seminarraum Informatik 2/3))
Tuesday December 16, 2014 14:00-15:00 (Karp/Cook (Seminarraum Informatik 2/3))
Tuesday January 13, 2015 14:00-15:00 (Karp/Cook (Seminarraum Informatik 2/3))
Tuesday January 20, 2015 14:00-15:00 (Karp/Cook (Seminarraum Informatik 2/3))
Tuesday January 27, 2015 14:00-15:00 (Karp/Cook (Seminarraum Informatik 2/3))
Tuesday February 3, 2015 14:00-15:00 (Karp/Cook (Seminarraum Informatik 2/3))
Tuesday February 10, 2015 14:00-15:00 (Karp/Cook (Seminarraum Informatik 2/3))
Tuesday February 17, 2015 14:00-15:00 (Karp/Cook (Seminarraum Informatik 2/3))
- News
- Research
- Teaching
- Staff
- Martin Leucker
- Diedrich Wolter
- Ulrike Schräger-Ahrens
- Aliyu Ali
- Mahmoud Abdelrehim
- Phillip Bende
- Juljan Bouchagiar
- Marc Bätje
- Tobias Braun
- Gerhard Buntrock
- Anja Grotrian
- Hannes Hesse
- Raik Hipler
- Elaheh Hosseinkhani
- Hannes Kallwies
- Frauke Kerlin
- Karam Kharraz
- Mohammad Khodaygani
- Ludwig Pechmann
- Waqas Rehan
- Martin Sachenbacher
- Andreas Schuldei
- Annette Stümpel
- Gesina Schwalbe
- Tobias Schwartz
- Daniel Thoma
- Lars Vosteen
- Open Positions
- Contact