Uni-Logo

Softwaretechnik

Achtung: Auf dieser Seite finden Sie lediglich die Materialien zu dem von Prof. Thiemann gehaltenen Teil der Vorlesung. Die übrigen Materialien sowie allgemeine Ankündigungen etc. finden Sie auf der Hauptseite der Vorlesung.

Aktuelle Ankündigungen

  • Die Noten der Abschlussklausur können Sie hier abfragen. Der Termin zur Klausureinsicht wird in Kürze bekanntgegeben.
  • Die Abschlussklausur findet am Mittwoch, 17. September, 10:00-12:00 in den Räumen 026, 036, 010/14 im Gebäude 101 statt. Bitte finden Sie sich bereits um 9:45 Uhr ein, damit wir pünktlich anfangen können.
  • Am Mittwoch, 3. September 2008, 9 - 11 Uhr findet eine Wiederholungsstunde zur Vorbereitung auf die Abschlussklausur statt. Wir besprechen in der Wiederholungsstunde die Übungsklausur und stehen für Fragen zur Verfügung. Der Raum für die Wiederholungsstunde ist HS 00-036, Geb. 101.
  • Die Noten der Übungsklausur können Sie hier abfragen.
  • Die Klausureinsicht findet am Donnerstag, den 19.06.2008 von 13:30 - 14:00 Uhr in Raum 00-016, Geb. 52 statt.
  • Die Zwischenklausur am 13.6.2008 findet von 11:15 Uhr bis 12:15 Uhr im HS 00-036, Geb. 101 statt. Bitte finden Sie sich bereits um 11:10 Uhr ein, damit wir pünktlich anfangen können.

Vorlesung

Dozenten Prof. Dr. Andreas Podelski (podelski@info...)
Prof. Dr. Peter Thiemann (thiemann@info...)
ZeitD 9-11 Uhr, Fr 11-12 Uhr
Achtung: Die Vorlesung am Donnerstag beginnt bereits um 9:05 Uhr!
OrtHS 00-036, Geb. 101

Übungen

AssistentenMartin Mehlmann (mehlmann@info...)
Stefan Wehr (wehr@info...)
ZeitFr 12-13 Uhr
OrtHS 00-036, Geb. 101

Folien

TerminMaterial (deutsch)Material (english, drafts)
24.04.2008 v01-intro.pdf, v02-types.de.pdf v02-types.en.pdf
25.04.2008 v03-types.de.pdf v03-types.en.pdf
02.05.2008 v04-fj.de.pdf v04-fj.en.pdf
08.05.2008 v05-link.de.pdf
09.05.2008
23.05.2008 v05-link.de.pdf (Ergänzte Version) v05-link.en.pdf (full version)
29.05.2008 v06-dbc.de.pdf v06-dbc.en.pdf
11.07.2008 mda01-ocl.de.pdf mda01-ocl.en.pdf
17.07.2008 mda02-meta.de.pdf mda02-meta.en.pdf
17.07.2008 mda03-meta-app.de.pdf mda03-meta-app.en.pdf

The English slides are translations of the German ones. They are not completely reviewed by Prof. Thiemann. If you found a bug on them, a difference between the two languages or if you have a question, please write an email to heidegger@info.... On doubt the German version is authoritative.

Die Aufzeichnungen finden Sie im eLectures Portal.

Übungen

Die Abgabe der Übungsblätter erfolgt am angegebenen Termin um 12 Uhr vor Beginn der Saalübung im HS 00-036. Direkt im Anschluss an die Abgabe wird eine mögliche Musterlösung besprochen. Die Aufteilung der Studenten nach Tutoren finden sie hier.

Nr.AusgabeAbgabe und BesprechungRückgabeBlattLösung
12.5.20089.5.200823.5.2008DE, ENEN
29.5.200823.5.200830.5.2008DE, ENEN
323.5.200830.5.20086.6.2008DE, ENEN
430.5.20086.6.200813.6.2008DE, EN, Stack.javaEN
5 (Zwischenklausur)13.6.200813.6.2008
Weitere Übungsblätter gibt es auf der Hauptseite der Vorlesung.
1018.7.200825.7.2008persönlich bei Stefan WehrDE, ENEN

Jeden Donnerstag, 13:30 - 14:00 Uhr findet eine Fragestunde in Raum 00-019, Gebäude 079 statt. Ausnahme: Da Donnerstag, 22.5. ein Feiertag ist, wird die Fragestunde in dieser Woche auf Freitag, 23.5. verlegt.

Achtung: Ab dem 19.6.2008 findet die Fragestunde im Raum 00-016, Geb. 52 statt.

Literatur

  1. Benjamin C. Pierce. Types and Programming Languages. The MIT Press, 2002. (In der UB, bei Amazon.)
  2. Luca Cardelli. Program fragments, linking, and modularization. Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. ACM, 1997. (online Version)
  3. Thomas Stahl, Markus Völter. Modellgetriebene Softwareentwicklung. Dpunkt Verlag, 2. Auflage. 2007.
  4. Anneke Kleppe, Jos Warmer. MDA Explained: The Model Driven Architecture: Practice and Promise. Pearson. 2003.
  5. Stephen J. Mellor, Axel Uhl, Kendall Scott, Dirk Weise. MDA Distilled: Solving the Integration Problem with the Model Driven Architecture. Pearson. 2004.
  6. Object Management Group. Object Constraint Language Specification, version 2.0. (online Version)