Softwaretechnik
Vorlesung
| Dozenten | Prof. Dr. Peter Thiemann (thiemann@info...) |
| Zeit | Mo 11-13 Uhr, Do 11-12 Uhr |
| Ort | HS 00-036, Geb. 101 |
| Ausnahme: am 18.6. in HS 00-026, Geb. 101 |
Übungen
| Assistenten | Martin Mehlmann (mehlmann@info...) |
| Zeit | Do 12-13 Uhr |
| Ort | HS 00-036, Geb. 101 |
Modalitäten
Zur Zulassung zur Abschlussklausur müssen mindestens 50 Prozent der maximal erreichbaren Punkte in den Übungen erreicht werden. Die letztendliche Note basiert ausschliesslich auf dem Abschneiden in der Abschlussklausur.
Sie dürfen zur Klausur beliebige schriftlich vorliegende Unterlagen (wie z.B. Bücher, Mitschriften, ausgedruckte Folien, Übungsaufgaben, Musterlösungen, etc) mitbringen und verwenden.
Neu: Die Einsicht der Nachklausur findet am 01.04.10 um 13:00 Uhr in Gebäude 52, Raum 00-016 statt.
Folien
| Termin | Material (deutsch) | Material (english, drafts) |
|---|---|---|
| 20.04.2009 | v01-intro.pdf, v02-types.de.pdf | v02-types.en.pdf |
| 23.04.2009 | v03-types.de.pdf | v03-types.en.pdf |
| 27.04.2009 | v04-fj.de.pdf | v04-fj.en.pdf |
| 30.04.2009 | ||
| 04.05.2009 | v05-link.de.pdf | v05-link.en.pdf |
| 07.05.2009 | ||
| 11.05.2009 | v06-dbc.de.pdf | v06-dbc.en.pdf |
| 14.05.2009 | v06-ver.en.pdf | |
| 18.05.2009 | v08-ver.en.pdf | |
| 25.05.2009 | v09-uml-01.en.pdf | |
| 28.05.2009 | ||
| 08.06.2009 | v10-lsc.en.pdf | |
| 15.06.2009 | v11-ocl.en.pdf | |
| 18.06.2009 | v12-mda.en.pdf | |
| 22.06.2009 | v13-meta.en.pdf | |
| 25.06.2009 | v14-meta-app.en.pdf | |
| 29.06.2009 | v15-td.en.pdf, v16-td-test.en.pdf | |
| 02.07.2009 | v17-td-test.en.pdf, Ex1.java, Ex1Test.java, Ex2_Set.java, Ex2_SetTest.java | |
| 06.07.2009 | ||
| 09.07.2009 | v18-td-debug.en.pdf | |
| 13.07.2009 | v19-td-debug.en.pdf, BinSearch.java | |
| 16.07.2009 | v20-process.en.pdf | |
| 20.07.2009 | v21-design.en.pdf | |
| 23.07.2009 | Gastvorlesung Dr. Detlef Fehrer, Sick AG: Requirements Engineering | |
Die Aufzeichnungen finden Sie im eLectures Portal.
Übungen
Sie können die Übungsblätter alleine oder in Zweiergruppen bearbeiten. Die Abgabe 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.
| Nr. | Ausgabe | Abgabe und Besprechung | Rückgabe | Blatt | Lösung |
|---|---|---|---|---|---|
| 1 | 23.4.2009 | 30.4.2009 | 7.5.2009 | EN | EN |
| 2 | 30.4.2009 | 7.5.2009 | 14.5.2009 | DE, EN | EN |
| 3 | 7.5.2009 | 14.5.2009 | 28.5.2009 | DE, EN | EN |
| 4 | 14.5.2009 | 28.5.2009 | 4.6.2009 | DE, EN, Stack.java | EN |
| 5 | 21.5.2009 | 28.5.2009 | 4.6.2009 | DE, EN | EN |
| 6 | 28.5.2009 | 18.6.2009 | 25.6.2009 | DE, EN | EN |
| 7 | 11.6.2009 | 18.6.2009 | 25.6.2009 | EN | |
| 8 | 18.6.2009 | 25.6.2009 | 2.7.2009 | DE, EN | EN |
| 9 | 25.6.2009 | 2.7.2009 | 9.7.2009 | DE, EN | EN |
| 10 | 2.7.2009 | 9.7.2009 | 16.7.2009 | DE, EN | EN |
| 11 | 9.7.2009 | 16.7.2009 | 23.7.2009 | EN, parser (linux), example.xml | source |
| 12 | 16.7.2009 | 23.7.2009 | - | EN, Tree.java | EN |
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)
- Andreas Zeller. Why Programs Fail: A Guide to Systematic Debugging. Dpunkt Verlag, 2005.
- Glenford J. Myers. The Art of Software Testing. Wiley & Sons, 1979.
- Steve McConnell. Code Complete: A Practical Handbook of Software Construction. Microsoft Press, 2004.