TU München - Fakultät für Informatik
Software- and Systems Engineering Research Group

  Home  |  Forschung/Kompetenz  |  Lehre  |  Personen  |  Publikationen  |  Abschlussarbeiten  |  Sonstiges  |  Kontakt  | 

Vorlesung | Wintersemester 2010/11
Modellierung verteilter Systeme
(Grundlagen der Programm- und Systementwicklung II)

Übungsblätter

• 27.10.2010 - Blatt 01 - Systemsichten und Alternating Bit Protocol
• 10.11.2010 - Blatt 02 - Bahnübergang und Invarianten
• 24.11.2010 - Blatt 03 - Parallele Programme und Petersons Algorithmus
• 08.12.2010 - Blatt 04 - Stromverarbeitende Funktionen, Schnittstellenabstraktion
• 12.01.2011 - Blatt 05 - Parallele Komposition von Zustandsautomaten
• 26.01.2011 - Blatt 06 - Parallele Komposition, Aktionsstrukturen
• 02.02.2011 - Blatt 07 - Klausurvorbereitung

© Software & Systems Engineering Research Group
Sitemap |  Kontakt/Impressum
Letzte Änderung: 2011-01-26 17:04:15