Bild mit Unilogo
homeicon uni sucheicon suche siteicon sitemap kontakticon kontakt impressicon impressum
unilogo Universität Stuttgart 
Institut für Formale Methoden der Informatik

Abteilung Sichere und Zuverlässige Softwaresysteme

 

Einführung in die Softwaretechnik II
(SS 2005)

Prof. Javier Esparza

Übungen:
Vitali Kozioura und Dejvuth Suwimonteerabuth

[16.2.06]   Hier finden Sie die Klausur und die Lösung von Sommersemester 2005.

[9.9.05]   Herr Frederik Nohelfer hat uns auf einen Fehler in den MSC-Folien aufmerksam gemacht (vielen Dank!). Auf Seite 38 wird behauptet, dass ein gewisses Wort zur Sprache L({M1,M2}) nicht gehört. Das ist nicht korrekt, das Wort gehört nach der Definition zur Sprache. Das Beispiel und Seite 38 sind korrigiert worden. Wir werden die Klausuraufgaben so gestalten, dass dieser Fehler keine Konsequenzen hat.
(Der Hintergrund des Fehlers ist interessant: Das Beispiel ist korrekt für eine andere MSC-Semantik, in der receive-Ereignisse, die vom selben Prozess empfangen werden, immer kausal geordnet sind. Bei der Vorbereitung der Folien ist das nicht berücksichtigt worden.)

[19.7.05]   An alle, die einen Schein bekommen wollen: Schicken Sie bitte Ihre Matrikelnummer an Vitali Kozioura.

[13.7.05]   Der Lösungsvorschlag für Übungsblatt 6 ist unter "Übungen" erreichbar. Es wird trotzdem noch eine Übung am 19.7 um 9:45 stattfinden. Alle die noch Fragen haben oder einen Schein bekommen wollen sind herzlich eingeladen.

[29.6.05]   Die MSC-Diagramme von Übungsblatt 6 wurden mit Hilfe des Tools "Violet" gemacht und weichen leicht von den in der Vorlesung besprochenen ab (z.B. gibt es Kästchen, die keine zusätzliche Bedeutung haben).

[15.6.05]   Beachten Sie bei Aufgabe 18, dass die beiden Prozesse unendlich oft wiederhalt werden sollen.

[24.5.05]   Der Artikel von David Harel [11] is jetzt ohne Anmeldung verfügbar.

[18.5.05]   Der Fehler in den Folien (Definition der nach einem Micro-step erreichte Konfiguration) ist aufgehoben worden. Die neue Version finden Sie unter FOLIEN/INFOBLÄTTER

[17.5.05]   Wegen des Feiertags am nächstenden Donnerstag, wird der Abgabetermin der Übung 3 auf den 30.05.05 verschoben.

[10.5.05]   Die links zu den Statecharts-Folien sollen nun funktionieren. Der Artikel von David Harel ist unter LITERATUR online verfügbar.

[21.4.05]   Bei den Gruppen 1 und 2 sind die ersten Übungen (19.4, 20.4) ausgefallen. Bei der Gruppe 3 fällt die Übung am 26.04 aus. Es tut uns leid, dass die ersten Übingen nicht stattfinden konnten. Es sollte bei diesen Übungen darum gehen Alloy (Tool und Sprache) besser zu verstehen. Bitte benutzen Sie das Referenz-Manual bei dem Lösen des ersten Übungsblattes. Besonders wichtig ist Kapitel 3.5, in dem Functionen und Assertions beschrieben sind.

[21.4.05]   Die Gruppe 4 fällt wegen geringer Teilnehmeranzahl aus. Alle die sich in die Gruppe 4 eingetragen haben, werden zu der Gruppe 2 hinzugefügt.

[19.4.05]   Das 1. Übungsblatt ist online bei ÜBUNGEN. Der Abgabetermin ist 28.04.

[11.4.05]   Werfen Sie einen Blick auf die links MOTIVATION und INHALT. Unter FOLIEN, SOFTWARE und LITERATUR finden Sie zahlreiche Informationen und Material.

[16.3.05]   Herzlich willkommen zur Vorlesung "Einführung in die Softwaretechnik II". Man kann sich schon unter "Termine" in die Gruppen eintragen. Bald kommt mehr Inhalt.