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
- Statt der Übung am 11.7.2008 findet Vorlesung statt. Die Übung wird am 18.7.2008 in der 1. Vorlesungsstunde nachgeholt.
- 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...) | |
| Zeit | D 9-11 Uhr, Fr 11-12 Uhr |
| Achtung: Die Vorlesung am Donnerstag beginnt bereits um 9:05 Uhr! | |
| Ort | HS 00-036, Geb. 101 |
Übungen
| Assistenten | Martin Mehlmann (mehlmann@info...) |
| Stefan Wehr (wehr@info...) | |
| Zeit | Fr 12-13 Uhr |
| Ort | HS 00-036, Geb. 101 |
Folien
| Termin | Material (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 |
| 30.05.2008 | ||
| 05.06.2008 | ||
| 06.06.2008 |
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. | Ausgabe | Abgabe und Besprechung | Rückgabe | Blatt | Lösung |
|---|---|---|---|---|---|
| 1 | 2.5.2008 | 9.5.2008 | 23.5.2008 | DE, EN | EN |
| 2 | 9.5.2008 | 23.5.2008 | 30.5.2008 | DE, EN | EN |
| 3 | 23.5.2008 | 30.5.2008 | 6.6.2008 | DE, EN | EN |
| 4 | 30.5.2008 | 6.6.2008 | 13.6.2008 | DE, EN, Stack.java | EN |
| 5 (Zwischenklausur) | 13.6.2008 | 13.6.2008 | |||
| Weitere Übungsblätter gibt es auf der Hauptseite der Vorlesung. | |||||
| 10 | 11.7.2008 | 18.7.2008 | 25.7.2008 | ||
| 11 | 18.7.2008 | 25.7.2008 | persönlich beim Assistenten | ||
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
- Benjamin C. Pierce. Types and Programming Languages. The MIT Press, 2002. (In der UB, bei Amazon.)
- Luca Cardelli. Program fragments, linking, and modularization. Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. ACM, 1997. (online Version)
- Thomas Stahl, Markus Völter. Modellgetriebene Softwareentwicklung. Dpunkt Verlag, 2. Auflage. 2007.
- Anneke Kleppe, Jos Warmer. MDA Explained: The Model Driven Architecture: Practice and Promise. Pearson. 2003.
- Stephen J. Mellor, Axel Uhl, Kendall Scott, Dirk Weise. MDA Distilled: Solving the Integration Problem with the Model Driven Architecture. Pearson. 2004.
- Object Management Group. Object Constraint Language Specification, version 2.0. (online Version)