Institut für Informatik Methoden des Software-Engineering
LMU München WS 2003
  
Aktuelles

Inhalt

Klausur

Übung

Termine

Personen

Literatur

Materialien





  
      

Übung

Klausurzulassung

Hier eine Liste der zur Klausur zugelassenen Studenten (die letzten 6 Ziffern der Matrikelnummer, aufsteigend sortiert). Wenn jemand der Ansicht ist, unberechtigt auf der Liste zu fehlen, bitte mit mir in Verbindung setzen. Es können durchaus Fehler beim Übertrag passiert sein.

Übungstermine

In den Übungsstunden werden Fragen zur Vorlesung und zum aktellen Blatt beantwortet. Desweiteren werden zum Verständnis der Vorlesung notwendige oder hilfreiche Notationen, Methoden, etc. vorgestellt. Wenn möglich und passend werden einzelne Methoden interaktiv eingeübt.

Übungsblätter

Während des Semesters werden drei Übungsblätter ausgegeben (das erste in der 48. Kalenderwoche). Die erfolgreiche Bearbeitung der Übungsblätter ist Voraussetzung zur Zulassung zur Klauser. Der Bearbeitungszeitraum eines Blattes beträgt 2-3 Wochen.

Übungsgruppen

Die Übungsblätter sollen in Gruppen von ca. 3-5 Personen bearbeitet werden. Die Einteilung der Übungsgruppen erfolgt in der Übung am 17.11. Wünsche bei der Einteilung können berücksichtigt werden, müssen allerdings vor der Übung am 17.11. per Email an hackling@informatik.uni-muenchen.de. In dieser Email müssen vollständiger Name, Matrikelnummer, Hauptfach/Nebenfach und Fachsemester aller Teilnehmer der Gruppe aufgeführt werden.

Die Liste der Gruppen kann hier eingesehen werden (Stand 21.11., 19.00 Uhr). Die Liste wird täglich aktualisiert. Freitag, 21.11. werden dann noch existierende Zweiergruppen zusammengefaßt.

Übungsblätter

  • Blatt 1
    Sehr gute studentische Lösung (Achtung: Die Lösung ist passwortgeschützt; per Mailanfrage (hackling@informatik...) für Studenten der Vorlesung erhältlich. Es handelt sich dabei nicht um eine Musterlösung, sondern lediglich um eine als sehr gut bewertet Abgabe; es sind also durchaus noch kleinere Fehler enthalten.) Material dazu:
  • Blatt 2, Lösungsvorschlag
    Material dazu:
    • RFC 821 (SMTP)
    • Beispiel eines verallgemeinerten Büchi-Autotmaten
      • Das Beispiel zeigt in abstrahierter Form das POP3-Protokoll (für Korrektheit der Wiedergabe des Protokolls natürlich keine Gewähr). Nachrichten die versendet werden sind mit vorangestelletem Dach (^) gekennzeichnet, Nachrichten die empfangen werden sind ohne Kennzeichung.
  • Blatt 3
    Material dazu:
    • Hugo-3.00
      • (ACHTUNG: im Skript 'runSpin.sh' müssen nach dem Auspacken die Pfade 'CLASSESPATH' und 'LIBPATH' angepaßt werden!)
    • mdadapter.pl (22.1.04, 12 Uhr: aktuelleste Version von mdadapter)
    • Hinweise zur Verwendung von Magic Draw und HUGO (Achtung: Jegliche Namen im Magic-Draw-Modell dürfen keine Leerzeichen und Sonderzeichen enthalten!)
    • ATM-Beispiel aus der Übung (Pfade in runATM.sh müssen angepaßt werden, 22.1.04, 12 Uhr: ohne Deadlock)
    • Demo aus der Übung (Pfade in runExample.sh müssen angepaßt werden, Fehler repariert 22.1.04, 12 Uhr)
    • Zur Verwendung von HUGO ist noch 'spin' notwendig
    • Das Tool 'spearmint' kann unter '/home/h/hackling/spearmint/spearmint73/bin/spearmint' aufgerufen werden. Spearmint ist eine Java-Applikation, die eine Java-Version 1.4 oder neuer erfordert. Überprüfen Sie vor einem Aufruf, ob die Shell-Variablen 'JDK_HOME' und 'JRE_HOME' auf eine Java1.4-Umgebung zeigen (es funktioniert mit der Java-Version j2sdk-1.4.0-sun, bei anderen Versionen kann es u.U. nicht funktionieren). Eine Anleitung ist im Verzeichnis '/home/h/hackling/spearmint/' zu finden.

Literatur zur Übung

Magic Draw

Bevor Magic Draw verwendet werden kann, muß das Vezeichnis ".magicdraw/5.5i" im Homeverzeichnis vorhanden sein. Falls Sie eine Evaluierungsversion installiert haben, ist dieses Verzeichnis bereits angelegt (es muß nichts weiter getan werden). In diesem Verzeichnis werden persönliche Einstellungen gespeichert. Hier ist eine gepackte Datei, die sowohl die benötigten Dateien als auch die Verzeichnisstruktur enthält. Speichern Sie diese Datei in Ihrem Homeverzeichnis und entpacken Sie sie mit unzip.
Magic Draw starten sie mit dem Befehl /home/h/hackling/md55i/bin/start
Bei Problemen oder Fragen bitte eine Email an hackling@informatik.uni-muenchen.de.
  

Florian Hacklinger ( hackling@informatik.uni-muenchen.de), Saturday, 07-Feb-2004 11:59:51 CET