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: |
19.04.2012 |
| Zeit Vorlesung: |
Donnerstags, 8:30 - 10:00 Uhr |
| Ort Vorlesung: |
MI Hörsaal 3, (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. Maria Spichkova, Jakob Mund,
Philipp Neubeck |
| Zeit Zentralübung: |
Donnerstags, 10:15 - 11:45 Uhr, zweiwöchentlich |
| Termine Zentralübung: |
26.04.2012, 10.05.2012, 31.05.2012, 14.06.2012, 28.06.2012, 12.07.2012 |
| Ort Zentralübung: |
MI 00.13.009A "Multimedia" (Fakultät für Mathematik & Informatik, TUM Campus Garching) |
| Scheinkriterium: |
Bestehen der Klausur |
| Klausur: |
19.07.2012, 8:15-9:45 Uhr (MI HS 3) |
| 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
| 04.09.2012 |
Die Klausureinsicht findet am 6.09.2012 (Do.), 15:00-16:00 im Raum 00.11.038 (Neumann) statt. |
| 12.07.2012 |
Die Vorjahres-Klausur (WS10/11), welche im Rahmen des Repetetoriums besprochen wird, ist zur Vorbereitung online verfügbar. |
| 10.07.2012 |
Das Übungsblatt 06: CSP ist nun online verfügbar. |
| 03.07.2012 |
Das aktualisierte Skriptum zur Vorlesung ist seit Montag, den 09.07.12, bei der Fachschaft erhältlich. Sowohl die Folien als auch das Skriptum (linker Stapel) sind bei der Fachschaft zu bekommen. |
| 03.07.2012 |
Das angebotene Repetitorium zur Vorlesung findet am Dienstag, den 17.07. von 16.00 - 18.00 Uhr, im Raum 01.09.014 statt. |
| 26.06.2012 |
Die Klausur findet 19.07.2012, 8:15-9:45 Uhr im Vorlesungssaal MI HS 3 (Garching) statt! |
| 26.06.2012 |
Das Übungsblatt 05: Axiomatische Spezifikation und parallele Komposition von Zustandsautomaten ist nun online verfügbar. |
| 12.06.2012 |
Das Übungsblatt 04: Stromverarbeitende Funktionen ist online verfügbar. |
| 30.05.2012 |
Das Übungsblatt 03: Paralleles Rechnen und Petersons Algorithmus ist nun online verfügbar. |
| 09.05.2012 |
Das Übungsblatt 02: Zustandsübergangssysteme und Stabile Prädikate/Invarianten ist nun online verfügbar. |
| 25.04.2012 |
Das Übungsblatt 01: Sichten, Automaten und Alternating-Bit-Protokol ist nun online verfügbar. |
|
