Diplomstudiengänge der Fakultät IV (Elektrotechnik ... - TU Berlin

Diplomstudiengänge der Fakultät IV
(Elektrotechnik, Informatik, Technische Informatik)
Di, wöchentl, 10:00 - 12:00, 12.04.2011 - 15.07.2011, FR 1032 , Peters
Inhalt Im Seminar sollen verschiedene Ansätze für synchrone und asynchrone Interaktion
vorgestellt, bzgl. ihrer Grenzen, Vor- und Nachteile analysiert und (im Idealfall) mit
anderen Ansätzen verglichen werden.
Bemerkung Die Termine finden als Blockveranstaltung statt.
Weitere Informationen siehe Aushang neben FR 6507/8 oder https://www.isis.tuberlin.de/course/
Literatur Rob J. van Glabbeek, Ursula Goltz, and Jens-Wolfhard Schicke. Symmetric and
asymmetric asynchronous interaction. In Proceedings of the First Interaction and
Concurrency Experiences Workshop (ICE 2008), volume 229 of ENTCS, pages 77-95,
Amsterdam, The Netherlands, 2009. Elsevier.
Nancy A. Lynch. Distributed Algorithms. Morgan Kaufmann Publishers, 1996.
The Software Horror Picture Show
0434 L 367, Seminar, 2.0 SWS
Fr, wöchentl, 10:00 - 12:00, 15.04.2011 - 15.07.2011, FR 048 , Küfner
Inhalt Eine Auswahl von Beispielen von mehr oder weniger berühmt gewordenen
Softwarefehlern. Im jeweiligen Fall Darlegung des Umfelds und der Randbedingungen.
Präzise (ideal: formale) Charakterisierung der Fehler und ihrer Auswirkungen. Analyse/
Abschätzung, wie die Fehler hätten vermieden werden können.
Bemerkung Die Termine finden als Blockveranstaltung statt. Seminar - Weitere Informationen siehe
Aushang neben FR 6507/8 oder https://www.isis.tu-berlin.de/course/
Literatur Wird in der Veranstaltung bekanntgegeben.
TheGI 4: Spezifikation und Semantik
0434 L 285, Vorlesung, 2.0 SWS
Di, wöchentl, 12:00 - 14:00, 12.04.2011 - 16.07.2011, MA 004 , Nestmann
Inhalt Die LV führt in die formale Spezifikation von Systemen ein, die eine Grundlage
für konsistente Systembeschreibung, Korrektheit und Verifikation liefert. Inhalt:
Datentypspezifikation mit algebraischen Spezifikationen, Prozeßmodellierung mit Petri-
Netzen und Integration von Daten und Prozeßsicht. Eine durchgängige praxisorientierte
Fallstudie aus dem Bereich Logistik dient zur Veranschaulichung und Illustration der
vermittelten theoretischen Konzepte.
Bemerkung Modul TheGI4, Studiengang Informatik (BSc) Basisveranstaltung im Studiengebiet THI,
Studiengang Informatik (Diplom) Weitere Informationen: Aushang gegenüber FR 6021
und http://www.mtv.tu-berlin.de/
Formale Spezifikationstechniken
0434 L 273, Seminar, 2.0 SWS
Mo, wöchentl, 12:00 - 14:00, 11.04.2011 - 15.07.2011, FR 6510 , Ehrig
Inhalt Themen siehe Aushang.
Bemerkung Anrechenbarkeit: Bestandteil des Moduls MINF-VS-TFS/AktuSE.S08
Diplom-Studiengang: Vertiefungsveranstaltung THI
Weitere Informationen: Aushang am FR 6025 und http://www.tu-berlin.de/tfs.
Nachweis Vortrag und schriftliche Ausarbeitung
Formale Spezifikation mit Graphtransformation
0434 L 270, Seminar, 2.0 SWS
Do, wöchentl, 10:00 - 12:00, 14.04.2011 - 14.07.2011, FR 6510 , Ehrig, Hermann
Inhalt In diesem Seminar werden aktuelle Fragen aus dem Gebiet der Graphtransformation
diskutiert und neue Arbeiten vorgestellt. Diese betreffen sowohl die Theorie als auch die
Anwendung auf visuelle Sprachen, verteilte Systeme und Softwaretechniken.
Bemerkung Weitere Informationen: Aushang gegenüber FR 6025 und http://www.tu-berlin.de/tfs/
Forschungskolloquium MTV
0434 L 363, Colloquium, 2.0 SWS
Fr, wöchentl, 12:00 - 14:00, 15.04.2011 - 15.07.2011, Nestmann
Inhalt Vorträge zu Forschungsthemen der Gruppe, insbesondere zu Bachelor-/Master-/Diplomund
Doktorarbeiten. Das Forschungskolloquium findet im Raum FR 6508 statt.
Künstliche Intelligenz
SoSe 2011 71