Fakultät für Informatik

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

TUM

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

 

Vorlesung

Dozent: Prof. Dr. Dr. h.c. Manfred Broy
Bereich: Software Engineering
Art: Pflichtvorlesung, 2V+1Ü Std.
Turnus: Jährlich
ECTS Credits: 4.0
Beginn Vorlesung: 20.10.2010
Zeit Vorlesung: Mittwochs, 8:30 - 10:00 Uhr
Ort Vorlesung: MI 00.13.009A "Multimedia" (Fakultät für Mathematik & Informatik, TUM Campus Garching)
Hörerkreis: Master Informatik, Master Automotive Software Engineering, Master in Information Systems, Master in Applied Informatics, Master in Computational Science and Engineering (CSE), Bachelor Informatik als Spezialvorlesung, Studenten anderer (nicht Informatik) Fachrichtungen
Voraussetzungen: Grundkenntnisse in Programmierung, Grundlagen der System- und Programmentwicklung I
Übungsleitung: Dr. Katharina Spies, Dr. Maria Spichkova, Andreas Vogelsang, Benedikt Hauptmann, Sebastian Eder, Maximilian Junker
Zeit Zentralübung: Mittwochs, 10:15 - 11:45 Uhr, zweiwöchentlich
Termine Zentralübung: 27.10.2010, 10.11.2010, 24.11.2010, 08.12.2010, 12.01.2011, 26.01.2011, 02.02.2011
Ort Zentralübung: FMI HS 2 (Fakultät f. Mathematik & Informatik, TUM Campus Garching)
Scheinkriterium: Bestehen der Klausur
Klausur: 09.02.2011, 10-12 Uhr, FMI HS 2
Foliensätze: Teil 1: Einführung
Teil 2: Zustandssicht: Systeme als Zustandsmaschinen
Teil 2a: Dijkstras Guarded Commands - Bewachte Anweisungen und Zusicherungen
Teil 3: Programme als Zustandsübergangssysteme
Teil 4: Nebenläufigkeit und Parallelität
Teil 5: Parallele Programme - Parallel auszuführende Anweisungen
Teil 6: Schnittstellensicht
Teil 7: Struktur- und Verteilungssicht
Teil 8: Ablaufsicht
Teil 9: Synchrone Kommunikation
Teil 10: Sichtenintegration
Teil 11: Verfeinerung von Systemen
Teil 12: Zeitmodellierung
Teil 13: Anwendung in der Praxis


Aktuelles

23.02.2011 Die Ergebnisse der Klausur sind jetzt im TUMOnline eingetragen.
Die Einsicht der Klausur wird am Donnerstag, den 03.03. zwischen 13:30 Uhr und 14:30 Uhr im Raum MI 01.11.018 (Konrad Zuse) stattfinden.
Wir bitten um eine kurze Anmeldung zur Einsicht per Mail.
08.02.2011 Die letzte Vorlesung am 09.02. fängt erst um 9 Uhr an.
08.02.2011 Die Folien zur letzten Vorlesung am 09.02. sind jetzt online.
01.02.2011 Die Folien zur Vorlesung am 02.02. sind jetzt online.
26.01.2011 ACHTUNG! Am 02.02.2011 von 10:15-11:45 Uhr wird es eine zusätzliche Sonderübung im HS2 speziell zur Klausurvorbereitung geben.
Wir empfehlen das Übungsblatt eigenständig zu rechnen und vorbereitet mit in die Übung zu bringen.
Wir werden dann dort die aufgetretenen Fragen miteinander diskutieren.
25.01.2011 Die Folien zur Vorlesung am 26.01. sind jetzt online.
25.01.2011 Das Übungsblatt zur Übung am 26.01. ist jetzt online.
17.01.2011 Die Folien zur Vorlesung am 18.01. sind jetzt online.
11.01.2011 Das Übungsblatt zur Übung am 12.01. ist jetzt online.
20.12.2010 Die Folien zur Vorlesung am 22.12. sind jetzt online.
20.12.2010 ACHTUNG! Am kommenden Mittwoch, 22.12.2010, muss die MVS-Vorlesung ausnahmsweise noch einmal im 01.11.018 (Zuse) stattfinden.
16.12.2010 ACHTUNG! Aufgrund der geringen Nachfrage findet die angebotene Sonderübung am 22.12. nicht statt.
15.12.2010 Die Folien zur Vorlesung am 15.12. sind jetzt online.
08.12.2010 ACHTUNG! Am 22.12. findet offiziell keine Übung mehr statt. Wir würden jedoch ggf. in der Zeit eine Art Fragestunde anbieten.
Wir würden euch dazu bitten bis Mittwoch, 15.12. Fragen und Themen per Mail an uns zu schicken, die ihr gerne nochmal besprechen würdet.
Nach Abgabe der Fragen geben wir dann an dieser Stelle bekannt, ob die Fragestunde am 22.12. stattfindet.
07.12.2010 Das Übungsblatt zur Übung am 08.12. ist jetzt online.
30.11.2010 Die Darstellungsfehler von Powerpoint in Teil 6 der Folien sind in der aktuellen Version behoben.
24.11.2010 Die Klausur zur Vorlesung wird voraussichtlich am 09.02.2011 von 10-12 Uhr anstatt der letzten Zentralübung geschrieben.
23.11.2010 Das Übungsblatt zur Übung am 24.11. ist jetzt online.
23.11.2010 Die Folien zur Vorlesung am 24.11. sind jetzt online.
10.11.2010 Die Folien zu Teil 2 und 3 der Vorlesung wurden aktualisiert.
08.11.2010 Das Übungsblatt zur Übung am 10.11. ist jetzt online. Bitte auch den neuen Übungsraum beachten!
08.11.2010 Die Folien zur Vorlesung am 10.11. sind jetzt online.
02.11.2010 ACHTUNG! Die Übung findet ab sofort im FMI HS 2 statt.
02.11.2010 Die Folien zur Vorlesung am 03.11.10 sind jetzt online. Die Folien zu den letzten beiden Vorlesungen wurden aktualisiert
26.10.2010 Das erste Übungsblatt zur Übung am 27.10.2010 ist jetzt online
20.10.2010 ACHTUNG! Die Vorlesung findet ab sofort im Raum MI 00.13.009A statt.
20.10.2010 Die Folien zu den erste beiden Vorlesung sind jetzt online.

© Software & Systems Engineering Research Group
Sitemap |  Kontakt/Impressum
Letzte Änderung: 2011-02-25 13:15:32