Fakultät für Informatik

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

TUM

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

 

Vorlesung

Dozent: Prof. Dr. Dr. h.c. Manfred Broy
Bereich: Formale Methoden
Art: Pflichtvorlesung, 2V+1Ü Std.
Turnus: Jährlich
ECTS Credits: 4.0
Beginn Vorlesung: 21.10.2009
Zeit Vorlesung: Mittwochs, 8:30 - 10:00 Uhr
Ort Vorlesung: Multimediaraum 00.13.009A (Fakultät f. 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, Lars Heinemann, Philipp Neubeck
Zeit Zentralübung: Mittwochs, 10:15 - 11:45 Uhr, zweiwöchentlich
Termine Zentralübung: 28.10.2009, 11.11.2009, 25.11.2009, 09.12.2009, 13.01.2010, 27.01.2010, 10.02.2010
Ort Zentralübung: MI 01.11.018 "Konrad Zuse" (Fakultät f. Mathematik & Informatik, TUM Campus Garching)
Scheinkriterium: Bestehen der Klausur
Klausur: 12. Februar 2010, 17:00 Uhr, Raum MW2050, Open Book, Dauer: ca. 90 Min.
Foliensätze: 21.10.2009 Einführung
28.10.2009 Zustandssicht: Systeme als Zustandsmaschinen
28.10.2009 Dijkstras Guarded Commands - Bewachte Anweisungen und Zusicherungen
11.11.2009 Programme als Zustandsübergangssysteme, Nebenläufigkeit und Parallelität
25.11.2009 und 9.12.2009 Schnittstellensicht
16.12.2009 und 23.12.2009 Struktur- und Verteilungssicht
13.01.2010 und 20.01.2010 Ablaufsicht
27.01.2010 Sichtenintegration
03.02.2010 Verfeinerung von Systemen
10.02.2010 Zeitsicht: Zeitmodellierung, Anwendung der Modellierung auf Systeme in der Praxis


Aktuelle Informationen

  • Klausureinsicht:
    • 13. April von 15:00 bis 15:30 (Raum 01.09.011B),
    • 16. April von 15:00 bis 15:30 (Raum 01.09.011B).
    Bitte vorher per EMail an M. Spichkova anmelden.
    Die Termine können abgesagt werden, falls keine Anmeldung kommt.
  • Übungsblatt 7 ist online.
  • Übungsblatt 6 ist online.
  • Übungsblatt 5 ist online.
  • Übungsblatt 4 ist online.
  • Übungsblatt 3 ist online.
  • In einer zusätzlichen Veranstaltung am 04.10.2010 von 10:15 bis 11:45 in Raum 01.11.018 werden die Themen Zusicherungslogik und Bewachte Anweisungen aus der Vorlesung Grundlagen der Programm- und Systementwicklung I nachgeholt

Aktualisiertes Inhaltsverzeichnis zur Vorlesung.

© Software & Systems Engineering Research Group
Sitemap |  Kontakt/Impressum
Letzte Änderung: 2010-04-08 10:09:19