| 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 |
| 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. |
