Verantwortlich
Ankündigungen
- Hier gehts zur Einteilung der Übungsgruppen.
- Die Probeklausur kann hier heruntergeladen werden.
- Eine erfolgreiche Teilnahme an den Übungen ist Vorraussetzung zur Klausurzulassung. Dazu müssen mindestens 50% der Punkte von den Übungsblättern erreicht werden.
- Wer insgesamt im Durchschnitt mehr als 70% (90%) der Punkte von den Übungsblättern hat und einmal (zweimal) vorrechnet erhält einen Bonus von 0,3 (0,7) auf seine Note.
Mailinglisten
- Nur für Tutoren:
- Für Studenten:
Ort/Zeit
Vorlesung
- Donnerstags, 09:00 - 11:00, HS 00-036, Geb. 101
- Freitags, 11:00 - 12:00, HS 00-036, Geb. 101
Übungsgruppen Termine
- Montag, 14:00 - 16:00, HS 00-034, Geb. 051 (Matthias Heizmann)
- Montag, 14:00 - 16:00, Kinohörsaal (Benjamin Drayer)
- Dienstag, 14:00 - 16:00, HS 00-006, Geb. 051 (Michael Meier)
- Dienstag, 14:00 - 16:00, HS 01-016, Geb 101 (Nicola Sheldrick)
- Dienstag, 16:00 - 18:00, HS 00-034, Geb. 051 (Marina Klingele)
Tutoren
- Nicola Sheldrick:
- Matthias Heizmann:
- Michael Meier:
- Marina Klingele:
- Benjamin Drayer:
Folien
| Kapitel | Thema | PS | |
|---|---|---|---|
| 1 | Introduction | PS | |
| 2 | From Requirements Analysis to Definition | PS | |
| 3 | Fundamental Modeling Techniques | PS | |
| 4 | Object Oriented Analysis | PS | |
| 5 | Formal Modeling using Z | PS | |
| 6 | Software Architecture Design | PS | |
| 7 | Software Design Patterns | PS | |
| 8 | Design by Contract | PS | |
| 9 | Java Modeling Language | - |
Übungsblätter
| Nummer | Inhalt | PS | Musterlösung PS | Musterlösung PDF | |
|---|---|---|---|---|---|
| 1 | Use Cases, Requirements Analysis | PS | PS | ||
| 2 | Modelling Techniques | PS | PS | ||
| 3 | Object Oriented Analysis | PS | PS | ||
| 4 | Formal Modeling using Z | PS | PS | ||
| 5 | Using Z cont'd | PS | PS | ||
| 6 | Architecture Design/Design Patterns | PS | PS | ||
| 7 | Design by Contract | PS | PS | ||
| 8 | Hoare Triples | PS | PS | ||
| 9 | Hoare Triples cont'd | PS | PS |
Inhalte
Revision Control, Process Models, Requirements Analysis, Formal and Semiformal Modeling Techniques, Object Oriented Analysis, Object Oriented Design, Design Patterns, Testing.
Literatur
- Helmut Balzert: Lehrbuch der Software-Technik, 2. Auflage, Bd. 1+2, Spektrum Akademischer Verlag
- J.M. Spivey: The Z Notation: A Reference Manual 2nd Edition
- Mary Shawn, David Garlan: Software Architecture, Perspectives on an Emerging Discipline
- Erich Gamma, Richard Helm, Ralph Johnson, John Vlissides: Design Patterns. Elements of Reusable Object-Oriented Software
- Gary T. Leavens, Yoonsik Cheon: Design by Contract with JML