Die Übungen dienen der Vertiefung des Vorlesungsstoffes. Die Teilnahme ist nicht erforderlich für den Scheinerwerb! Es können jedoch Bonuspunkte erworben werden, durch die die Note um bis zu 0,3 verbessert werden kann. Dazu kann jeweils am Anfang einer Übung eine Aufgabe des in der vorherigen Woche ausgegebenen Übungsblatts "vorgerechnet" werden. Für den Notenbonus von 0,3 muss von max. 3 Versuchen 2 mal erfolgreich vorgerechnet werden, d.h. mit korrektem Ergebnis und mit schlüssiger Präsentation.

Übung 1 (06.05.2011):

• Übungsblatt 1
  
• Folien: Organisatorisches, Strukturen & Formeln, Maude Teaser

Übung 2 (13.05.2011):

• Übungsblatt 2
  

Übung 3 (20.05.2011):

• Übungsblatt 3
  
• Folien: Konfluenz
  

Übung 4 (27.05.2011):

 Übung 5 (01.06.2011):

• Übungsblatt 5
  
• Folien

Übung 6 (10.06.2011):

Übung 7 (24.06.2011):

• Folien
• MAUDE Quelltexte
• UPPAAL-Modell: TelSys.xml
  
• Übungsblatt 7
  

 Übung 8 (01.07.2011)

• Folien
• UPPAAL-Modell: Aufzugsystem

 Übung 10 (15.07.2011)

• Folien

 Übung 11 (22.07.2011)

• Folien