AG Vernetzte Systeme Lehre SE 3 15/16 Errata (Stand: 14.01.2016)

 
Kapitel 2:

• Folie 20: Die Zeitpunkte von Ereignissen werden durch ≤ verglichen; Die Relation ≤₀ ist nur auf den Ereignissen definiert. Es muss also heißen: e₁ ≤₀ e₂ ⇒ t(e₁) ≤ t(e₂)
• Folie 25: Im Beispiel p₀' sollte es α₀'(e_i)=a_i-5 heißen, so dass e₆ auf a₁, e₇ auf a₂, etc. abgebildet wird
• Folie 26: In der Definition einer Sequentialisierung muss es E₂ = E₁ sowie α₂ = α₁ heißen
• Folie 31: In der Definition der sequentiellen Komposition muss die Ordnungsrelation von p₀ eingschränkt auf E₂ gleich der Ordnungsrelation von p₂ sein (fünfte Bedingung in der Konjunktion).

Kapitel 3:

• Folie 66: Methode init: Methode zur Initialisierung des Threads: Festlegung der Threadgruppe
• Folie 67: Doppelpunkt muss durch Semikolon ersetzt werden: Thread a = new Thread(new MyRun());
• Folie 74: Kommentar zu suspend: Suspendierung des aufrufenden Threads (üblicherweise durch einen anderen Thread)
• Folie 81: In aktuellen Versionen des Windows Task-Manager heißt der Tab "Prozesse" nun "Details"
• Folie 109: Das Applet wird von Rechner 2 zu Rechner 1 übertragen, der Pfeil muss also von rechts nach links verlaufen.
• Folie 117: Die Variable upperBound sollte im Gegenbeispiel nicht volatile sein, also:
  public volatile int lowerBound;
public int upperBound;
• Folie 189: Im Präzedenzgraph müssen die Beschriftungen der Pfeile UserA und UserB getauscht werden, so dass der Graph zum Code und der Matrix passt
• Folie 194: In der Präzedenzmatrix ist der Eintrag >_UserB in der Spalte "Printer" und Zeile "Scanner" zu viel. Es bleiben also nur die zwei Einträge in der gleichen Zelle "Printer vor Scanner"
• Folie 194: Die Quelldatei (in se3.sources.zip im Zusatzmaterial) wurde angepasst, dass sie mit den Folien konsistent ist
• Folie 196: Folie streichen
• Folie 199: Die Objekte der Klassen Einkaufswagen und Regal sind keine aktiven Objekte. Daher müssen diese Klassen im Klassendiagramm nicht-fett markiert sein.

---

	Übergeordnete Seite: Software-Entwicklung 3 (WiSe 15/16)
	Vorlesung Bachelor INF-00-03-V-2: 2 Std. + 1 Std. Übung

	Feedback
	Zu den Kontaktdetails des Verantwortlichen dieser Seite

	English
	This page in english. Diese Seite auf englisch.