Übungen
Die folgenden Übungen unterliegen dem Copyright. Teilnehmern der Vorlesung ist die Verwendung für persönliche Studien gestattet. Alle anderen Rechte sind vorbehalten.
The following notes are copyright. Participants of the lecture may use these notes for personal studies. All other rights are reserved.
Übung 1 (18.10.2011)
Übung 2 (25.10.2011)
- Präsentation
- Diplomarbeit: Entwurf und Spezifikation einer Freisprechanlage nach V-Modell XT. M. Deynet. TU Kaiserslautern. 2005.
- Dokumente zum Beispiel (offizielles Beispielprojekt aus V-Modell XT 1.3)
- Offizielle Homepage V-Modell XT
Übung 3 (15.11.2011)
- Material (Präsentation "User Stories") + Beispielrechnung KPI: uebung03.zip (passwortgeschützt)
Übung 4 (22.11.2011)
Übbung 5 (06.12.2011)
Übung 6 (13.12.2011)
Übung 7 (20.12.2011)
- Link zu Präsentationen über parallele Programmierung und MapReduce
- Link zur Hadoop MapReduce Website
Übung 8 (10.01.2012)
- Präsentation
- Hausaufgabe: Aufgabenstellung, homework_08.zip
Übung 9 (17.01.2012)
Übung 10 (24.01.2012)
- Homepage zu Buch "Software Testing and Analysis" (Pezzè and Young, 2008)
- In der Übung wurden die Beispiele aus den Folien zu Chapter 12 + 13 behandelt (auf der Buch-Homepage unter "Slides").
- Eclipse-PlugIn CodeCover
- Eclipse-Projekt mit Beispielen (benötigt CodeCover).
Übung 11 (31.01.2012)
- Präsentation mit Beispielen
- UPPAAL-Website
- UPPAAL-Beispiele
- Link zu Buch "Stephan Kleuker: Formale Modelle der Softwareentwicklung".
- Das Buch kann aus dem CIP-Pool bzw. über das LRZ-VPN kostenlos heruntergeladen werden. Siehe dazu Info auf LRZ-Seite.